<< Back to previous view

[LOGIC-36] Unification bug in binding-map Created: 09/Apr/12  Updated: 28/Jul/13  Resolved: 17/Mar/13

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

Type: Defect Priority: Major
Reporter: André Thieme Assignee: David Nolen
Resolution: Completed Votes: 0
Labels: unify


 Description   

I tried some tests of core.unify against core.logics binding-map function and found some inconsistencies:
(binding-map '(?x ?y) '(?y ?x)) ==> {?y _.0, ?x _.0}
while core.unify returns ==> {?x ?y}



 Comments   
Comment by David Nolen [ 17/Mar/13 6:52 PM ]

fixed, http://github.com/clojure/core.logic/commit/c37212270688b1bdbbca7fb81c1fc52062b24139





Generated at Thu Dec 18 09:28:12 CST 2014 using JIRA 4.4#649-r158309.