diff options
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) == |