# HG changeset patch
# User Steve Losh <steve@stevelosh.com>
# Date 1457523364 0
# Node ID 52045b30aab0a3cdc669df899a6ed034e8a60fbe
# Parent  a6a6f6361af360f8796cceb19ad2a4eb6e0d8f1b
Add a couple more unification tests

diff -r a6a6f6361af3 -r 52045b30aab0 test/paip.lisp
--- a/test/paip.lisp	Wed Mar 09 11:33:07 2016 +0000
+++ b/test/paip.lisp	Wed Mar 09 11:36:04 2016 +0000
@@ -27,14 +27,13 @@
   (not-unifies foo bar)
   (not-unifies a (a))
   (not-unifies (a) (a b))
-  (not-unifies () (a))
-  )
+  (not-unifies () (a)))
 
 (test variable-unification
   (unifies :x 1 ((:x . 1)))
-  (unifies :x 2 ((:x . 2)))
   (unifies :x a ((:x . a)))
   (unifies :x :y ((:x . :y)))
+  (unifies (:x (f :x)) (2 (f 2)) ((:x . 2)))
   (unifies (likes sally :thing)
            (likes :person cats)
            ((:thing . cats)
@@ -47,7 +46,9 @@
            (10 + (1 + 2))
            ((:x . 10)
             (:y . 1)
-            (:z . 2))))
+            (:z . 2)))
+  (not-unifies (:x :x) (1 2))
+  (not-unifies (:x :y :x) (1 1 3)))
 
 (test occurs-unification
   (not-unifies :x (f :x))