It boggles the mind how this is just being discovered 
Fixed, http://github.com/clojure/core.logic/commit/0c985df0236037907852f9b19c7df3ba6a607875
[LOGIC-82] conso and seq, when unifying tail later Created: 20/Dec/12 Updated: 20/Dec/12 Resolved: 20/Dec/12 |
|
| Status: | Resolved |
| 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 | ||
| Description |
|
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: '()
|
| Comments |
| 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 |