diff options
Diffstat (limited to 'src/algebra/patmatch1.spad.pamphlet')
-rw-r--r-- | src/algebra/patmatch1.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/patmatch1.spad.pamphlet b/src/algebra/patmatch1.spad.pamphlet index 381bbf30..1ee6220f 100644 --- a/src/algebra/patmatch1.spad.pamphlet +++ b/src/algebra/patmatch1.spad.pamphlet @@ -283,7 +283,7 @@ PatternMatchKernel(S, E): Exports == Implementation where -- matches the ordered lists ls and lp. patternMatchArg(ls, lp, l) == - #ls ^= #lp => failed() + #ls ~= #lp => failed() for p in lp for s in ls repeat generic? p and failed?(l := addMatch(p,s,l)) => return failed() for p in lp for s in ls repeat @@ -518,7 +518,7 @@ PatternMatchTools(S, R, P): Exports == Implementation where patternMatchTimes(ls, lp, l, pmatch) == member?(mn1, lp) => (u := negConstant ls) case "failed" => failed() - if (u::P ^= -1::P) then ls := concat(-u::P, ls) + if (u::P ~= -1::P) then ls := concat(-u::P, ls) patternMatch(remove(u::P,ls), remove(mn1,lp), */#1, l, pmatch) patternMatch(ls, lp, */#1, l, pmatch) |