diff options
author | dos-reis <gdr@axiomatics.org> | 2011-05-21 02:03:15 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-05-21 02:03:15 +0000 |
commit | 58dc9f8145468998071a2a69d3dbfb6c710eab39 (patch) | |
tree | 55dc479b3854da39e13abd1281904e148e7f3f7e /src/algebra/patmatch1.spad.pamphlet | |
parent | 8887fe1d244a40fdc3980d87e30f445249ecdf2e (diff) | |
download | open-axiom-58dc9f8145468998071a2a69d3dbfb6c710eab39.tar.gz |
* interp/modemap.boot (augModemapsFromDomain): Don't add modemaps
for element types of Vector or List aggregates.
* algebrar/: Adjust algebras that depended on this behaviour.
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) |