Details
-
Type:
Defect
-
Status:
Resolved
-
Priority:
Major
-
Resolution: Completed
-
Affects Version/s: None
-
Fix Version/s: None
-
Component/s: None
-
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: '()
Activity
David Nolen
made changes -
| Field | Original Value | New Value |
|---|---|---|
| Resolution | Completed [ 1 ] | |
| Status | Open [ 1 ] | Resolved [ 5 ] |