core.logic

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

Views
- XML
- Word
- Printable

Details

Type: Defect
Status: Resolved
Priority: 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

Permalink

David Nolen added a comment - 24/Jul/11 1:09 PM

the behavior is correct.

Show

David Nolen added a comment - 24/Jul/11 1:09 PM the behavior is correct.

People

Assignee:

David Nolen

Reporter:

David Nolen

Vote (0)

Watch (0)

Dates

Created:

14/Jul/11 9:46 PM

Updated:

24/Jul/11 1:09 PM

Resolved:

24/Jul/11 1:09 PM