diff options
Diffstat (limited to 'src/interp/compiler.boot')
| -rw-r--r-- | src/interp/compiler.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot index cbae1bbe..768e1b5b 100644 --- a/src/interp/compiler.boot +++ b/src/interp/compiler.boot @@ -1248,7 +1248,7 @@ compHas(pred is ["has",a,b],m,e) == --used in various other places to make the discrimination compHasFormat(pred is ["has",olda,b],e) == - argl := rest $form + argl := $form.args formals := TAKE(#argl,$FormalMapVariableList) a := applySubst(pairList(formals,argl),olda) [a,.,e] := comp(a,$EmptyMode,e) or return nil @@ -1259,7 +1259,7 @@ compHasFormat(pred is ["has",olda,b],e) == mkList [MKQ op,mkList [mkTypeForm type for type in sig]]] b is ["Join",:l] or b is ["CATEGORY",.,:l] => ["AND",:[compHasFormat(["has",olda,c],e) for c in l]] - isCategoryForm(b,e) => ["HasCategory",a,mkTypeForm b] + isCategoryForm(b,e) => ["HasCategory",a,simplifyVMForm mkTypeForm b] stackAndThrow('"Second argument to %1b must be a category, or a signature or an attribute",["has"]) --% IF |