diff options
Diffstat (limited to 'src/interp/i-funsel.boot')
| -rw-r--r-- | src/interp/i-funsel.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/i-funsel.boot b/src/interp/i-funsel.boot index 513d3a9a..87aa5bb8 100644 --- a/src/interp/i-funsel.boot +++ b/src/interp/i-funsel.boot @@ -1472,7 +1472,7 @@ hasCaty(d,cat,SL) == -- 2. a list of pairs (argument to cat,condition) otherwise -- then the substitution SL is augmented, or the result is 'failed cat is ['CATEGORY,.,:y] => hasAttSig(d,subCopy(y,constructSubst d),SL) - cat is ['SIGNATURE,foo,sig] => + cat is ['SIGNATURE,foo,sig,:.] => hasSig(d,foo,subCopy(sig,constructSubst d),SL) cat is ['ATTRIBUTE,a] => hasAtt(d,subCopy(a,constructSubst d),SL) cat is ["Join",:.] => @@ -1546,7 +1546,7 @@ hasAttSig(d,x,SL) == -- the result is an augmented SL, if d has x, 'failed otherwise for y in x until SL is 'failed repeat SL:= y is ['ATTRIBUTE,a] => hasAtt(d,a,SL) - y is ['SIGNATURE,foo,s] => hasSig(d,foo,s,SL) + y is ['SIGNATURE,foo,s,:.] => hasSig(d,foo,s,SL) keyedSystemError("S2GE0016", ['"hasAttSig",'"unexpected form of unnamed category"]) SL |