diff options
Diffstat (limited to 'src/algebra/patmatch1.spad.pamphlet')
| -rw-r--r-- | src/algebra/patmatch1.spad.pamphlet | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/algebra/patmatch1.spad.pamphlet b/src/algebra/patmatch1.spad.pamphlet index 2189e13e..2b7da476 100644 --- a/src/algebra/patmatch1.spad.pamphlet +++ b/src/algebra/patmatch1.spad.pamphlet @@ -309,6 +309,7 @@ PatternMatchKernel(S, E): Exports == Implementation where patternMatchOpt : (E, List PAT, PRS, E) -> PRS patternMatchOpt(x, lp, l, id) == + import PAT (u := optpair lp) case List(PAT) => failed?(l := addMatch(first(u::List(PAT)), id, l)) => failed() patternMatch(x, second(u::List(PAT)), l) |