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/wi2.boot | |
parent | 3e7bfcb3d6be1e4d7ccf3c5db0a78bbc75bad7f7 (diff) | |
download | open-axiom-5c205afa0596a29c6e8de395d3b2adbd89e02ae8.tar.gz |
More support middle end logical operators
Diffstat (limited to 'src/interp/wi2.boot')
-rw-r--r-- | src/interp/wi2.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/wi2.boot b/src/interp/wi2.boot index 3689f052..c5a6ef21 100644 --- a/src/interp/wi2.boot +++ b/src/interp/wi2.boot @@ -583,8 +583,8 @@ compMapCond''(cexpr,dc) == cexpr=true => true --cexpr = "true" => true ---------------> new <---------------------- - cexpr is [op,:l] and op in '(_and AND) => and/[compMapCond''(u,dc) for u in l] - cexpr is [op,:l] and op in '(_or OR) => or/[compMapCond''(u,dc) for u in l] + cexpr is [op,:l] and op in '(and AND) => and/[compMapCond''(u,dc) for u in l] + cexpr is [op,:l] and op in '(or OR) => or/[compMapCond''(u,dc) for u in l] ---------------> new <---------------------- cexpr is ["not",u] => not compMapCond''(u,dc) cexpr is ["has",name,cat] => (knownInfo cexpr => true; false) |