Details
-
Type:
Defect
-
Status:
Resolved
-
Priority:
Major
-
Resolution: Completed
-
Affects Version/s: None
-
Fix Version/s: None
-
Component/s: None
-
Labels:None
Description
Why we need disequality pruning in updatec:
(run* [q]
(fresh [x y z]
(!= x [y])
(== x [z])
(== y 'foo)
(== z 'bar)))
Instead of returning just '(_0), this snippet returns '((_0 :- (!= ([bar] [foo])))).
