<< Back to previous view

[LOGIC-82] conso and seq, when unifying tail later Created: 20/Dec/12  Updated: 28/Jul/13  Resolved: 20/Dec/12

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

Type: Defect Priority: Major
Reporter: Nada Amin Assignee: David Nolen
Resolution: Completed Votes: 0
Labels: None


These two snippets should both succeed, but the second one fails.

(run 1 [q]
  (fresh [a c]
    (conso a nil c)
    (== `(~a) c))) ;; '(_0)
(run 1 [q]
  (fresh [a b c]
    (conso a b c)
    (== b nil)
    (== `(~a) c))) ;; expected: '(_0), actual: '()

Comment by David Nolen [ 20/Dec/12 11:50 PM ]

It boggles the mind how this is just being discovered

Fixed, http://github.com/clojure/core.logic/commit/0c985df0236037907852f9b19c7df3ba6a607875

Generated at Thu Oct 19 18:58:10 CDT 2017 using JIRA 4.4#649-r158309.