diff options
author | dos-reis <gdr@axiomatics.org> | 2010-05-29 12:40:26 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-05-29 12:40:26 +0000 |
commit | 5c205afa0596a29c6e8de395d3b2adbd89e02ae8 (patch) | |
tree | 5df8d5a153daf3f30f01e410426e8b2171a143d5 /src/interp/i-map.boot | |
parent | 3e7bfcb3d6be1e4d7ccf3c5db0a78bbc75bad7f7 (diff) | |
download | open-axiom-5c205afa0596a29c6e8de395d3b2adbd89e02ae8.tar.gz |
More support middle end logical operators
Diffstat (limited to 'src/interp/i-map.boot')
-rw-r--r-- | src/interp/i-map.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/i-map.boot b/src/interp/i-map.boot index 91f41976..85a4380f 100644 --- a/src/interp/i-map.boot +++ b/src/interp/i-map.boot @@ -422,7 +422,7 @@ simplifyMapPattern (x,alias) == sl:= getEqualSublis pred => y':= SUBLIS(sl,y) pred:= unTrivialize SUBLIS(sl,pred) where unTrivialize x == - x is [op,:l] and op in '(_and _or) => + x is [op,:l] and op in '(and or) => MKPF([unTrivialize y for y in l],op) x is [op,a,=a] and op in '(_= is)=> true x @@ -464,7 +464,7 @@ predTran x == x getEqualSublis pred == fn(pred,nil) where fn(x,sl) == - (x:= SUBLIS(sl,x)) is [op,:l] and op in '(_and _or) => + (x:= SUBLIS(sl,x)) is [op,:l] and op in '(and or) => for y in l repeat sl:= fn(y,sl) sl x is ["is",a,b] => [[a,:b],:sl] |