diff options
Diffstat (limited to 'src/interp/i-resolv.boot')
| -rw-r--r-- | src/interp/i-resolv.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/i-resolv.boot b/src/interp/i-resolv.boot index 012a4b2e..da007339 100644 --- a/src/interp/i-resolv.boot +++ b/src/interp/i-resolv.boot @@ -441,10 +441,10 @@ matchUpToPatternVars(pat,form,patAlist) == -- against expressions in form. If one is found, it is checked -- against the patAlist to make sure we are using the same expression -- each time. - EQUAL(pat,form) => true + pat = form => true isSharpVarWithNum(pat) => -- see is pattern variable is in alist - (p := assoc(pat,patAlist)) => EQUAL(form,rest p) + (p := assoc(pat,patAlist)) => form = rest p patAlist := [[pat,:form],:patAlist] true cons?(pat) => @@ -580,7 +580,7 @@ resolveTMEq(t,m) == b := c => SL := resolveTMEq1(ct,cm) - not EQ(SL,'failed) + SL ~= 'failed ct=cm not b => TL := [ct,argt,:TL] |