Update of /project/cl-unification/cvsroot/cl-unification/test In directory cl-net:/tmp/cvs-serv24800/test
Modified Files: unification-tests.lisp Log Message: Make sure that classes referenced in #T forms are defined before the forms are read. This fixes compilation of file unification-tests.lisp.
--- /project/cl-unification/cvsroot/cl-unification/test/unification-tests.lisp 2011/02/11 17:49:39 1.3 +++ /project/cl-unification/cvsroot/cl-unification/test/unification-tests.lisp 2011/02/11 20:15:40 1.4 @@ -108,6 +108,8 @@ )
+(eval-when (:compile-toplevel :load-toplevel :execute) + (defclass test1 () ((a :initarg :a :accessor a) (b :initarg :b :accessor b))) @@ -115,6 +117,8 @@ (defstruct s-root a) (defstruct (s-child (:include s-root)) b)
+) + (with-tests (:name "advanced templates unification")
(test '(a T) (v? '?x (unify #2A((1 #T(symbol ?x) 3) (_ _ _))