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 1ee6220f..87abc55b 100644 --- a/src/algebra/patmatch1.spad.pamphlet +++ b/src/algebra/patmatch1.spad.pamphlet @@ -528,6 +528,7 @@ PatternMatchTools(S, R, P): Exports == Implementation where generic? p => setIntersection(badValues p, ls) empty() l1:PRS := failed() + t : P for x in setDifference(ls, bad) while (t := x; failed?(l1 := pmatch(x, p, l))) repeat 0 failed? l1 => |