Permalink
Browse files

LOGIC-71: fixed unifier reify vars issue some time ago. Documenting

the fix with a test.
  • Loading branch information...
1 parent 7e4d0b6 commit 07292792bec2694dafd4bf62b1c96580d5d270d3 David Nolen committed Mar 17, 2013
Showing with 4 additions and 0 deletions.
  1. +4 −0 src/test/clojure/clojure/core/logic/tests.clj
@@ -1727,6 +1727,10 @@
[_1 :time :mascarpone 5]
[_2 :vogue :mascarpone 8.5]))))
+(deftest test-71-simple-unifier-reify-vars
+ (is (= (u/unify {} '[(?x) (?x) (1)])
+ '(1))))
+
;; =============================================================================
;; cKanren

0 comments on commit 0729279

Please sign in to comment.