Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
LOGIC-36: another old unifier issue since resolved in 0.8.0. Adding a
test to document.
  • Loading branch information
swannodette committed Mar 17, 2013
1 parent 0729279 commit c372122
Showing 1 changed file with 5 additions and 1 deletion.
6 changes: 5 additions & 1 deletion src/test/clojure/clojure/core/logic/tests.clj
Expand Up @@ -1728,9 +1728,13 @@
[_2 :vogue :mascarpone 8.5]))))

(deftest test-71-simple-unifier-reify-vars
(is (= (u/unify {} '[(?x) (?x) (1)])
(is (= (u/unify '[(?x) (?x) (1)])
'(1))))

(deftest test-36-unifier-behavior
(is (= (u/unifier ['(?x ?y) '(?y ?x)])
'{?x ?y})))

;; =============================================================================
;; cKanren

Expand Down

0 comments on commit c372122

Please sign in to comment.