<< 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


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}

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

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

Generated at Mon Jan 22 08:48:51 CST 2018 using JIRA 4.4#649-r158309.