<< Back to previous view

[LOGIC-182] An lvar unified with a keyword behaves differently from a keyword Created: 15/Jan/17  Updated: 15/Jan/17

Status: Open
Project: core.logic
Component/s: None
Affects Version/s: None
Fix Version/s: None

Type: Defect Priority: Major
Reporter: N/A Assignee: David Nolen
Resolution: Unresolved Votes: 0
Labels: None


 Description   

(run 1 [q]
(fresh [x]
(== x :a)
(== q ({:a 0} x))))
=> (nil)
(run 1 [q]
(fresh [x]
(== x :a)
(== q ({:a 0} :a))))
=> (0)
(run 1 [q]
(fresh [x]
(== x :a)
(== {:a 0} {x q})))
=> ()
(run 1 [q]
(fresh [x]
(== x :a)
(== {:a 0} {:a q})))
=> (0)






Generated at Thu Jan 19 11:26:31 CST 2017 using JIRA 4.4#649-r158309.