<< Back to previous view

[LOGIC-121] Unifier fails on some nested forms Created: 14/Mar/13  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: Jonas Enlund Assignee: David Nolen
Resolution: Completed Votes: 0
Labels: None

Attachments: File LOGIC-121.diff    


The expression

(unifier '[((?x ?y)) ((1 2))])

returns the (invalid) result {?x 1}. Note that unify works as expected:

(unify '[((?x ?y)) ((1 2))])
=> ((1 2))

Comment by David Nolen [ 17/Mar/13 11:39 AM ]

patch applied from LOGIC-122

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

Generated at Fri Jan 19 21:54:42 CST 2018 using JIRA 4.4#649-r158309.