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/nruncomp.boot | |
parent | 3e7bfcb3d6be1e4d7ccf3c5db0a78bbc75bad7f7 (diff) | |
download | open-axiom-5c205afa0596a29c6e8de395d3b2adbd89e02ae8.tar.gz |
More support middle end logical operators
Diffstat (limited to 'src/interp/nruncomp.boot')
-rw-r--r-- | src/interp/nruncomp.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/nruncomp.boot b/src/interp/nruncomp.boot index 06448b37..d7407da3 100644 --- a/src/interp/nruncomp.boot +++ b/src/interp/nruncomp.boot @@ -712,12 +712,12 @@ genSlotSig(sig,$e) == [NRTgetLocalIndex t for t in sig] deepChaseInferences(pred,$e) == - pred is ['AND,:preds] or pred is ['and,:preds] => + pred is [op,:preds] and op in '(AND and %and) => for p in preds repeat $e := deepChaseInferences(p,$e) $e - pred is ['OR,pred1,:.] or pred is ['or,pred1,:.] => + pred is [op,pred1,:.] and op in '(OR or %or) => deepChaseInferences(pred1,$e) - pred is 'T or pred is ['NOT,:.] or pred is ['not,:.] => $e + pred is 'T or pred is [op,:.] and op in '(NOT not %not) => $e chaseInferences(pred,$e) vectorLocation(op,sig) == |