core.logic

Disequality Constraints - lvar remains fresh if we have disequality constraint that involves lcons

Details

  • Type: Defect Defect
  • Status: Closed Closed
  • Priority: Major Major
  • Resolution: Completed
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: None
  • Labels:
    None

Description

(run* [q]
(exist [x a b]
(!= x (lcons a b))
(== x 1)))

;; (_.0)

Activity

Hide
David Nolen added a comment -

the behavior is correct.

Show
David Nolen added a comment - the behavior is correct.

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: