Update of /project/cl-unification/cvsroot/cl-unification/test In directory cl-net:/tmp/cvs-serv12304/test Modified Files: unification-tests.lisp Log Message: Use *unify-string-case-sensitive-p* consistently. Change the documentation. templates-hierarchy.lisp: Fix stream argument to print-object. --- /project/cl-unification/cvsroot/cl-unification/test/unification-tests.lisp 2009/04/15 10:24:28 1.2 +++ /project/cl-unification/cvsroot/cl-unification/test/unification-tests.lisp 2011/02/11 17:49:39 1.3 @@ -1,12 +1,14 @@ ;;;; -*- Mode: Lisp -*- ;;;; unification-tests.lisp -- -;;;; CL-UNIFICATION test suite. Requires Franz's util.test package. +;;;; CL-UNIFICATION test suite. Requires ptester, the public version of +;;;; Franz's util.test package. -(in-package "UNIFY.TESTS") +(defpackage "IT.UNIMIB.DISCO.MA.CL.EXT.DACF.UNIFICATION.TESTS" + (:use "CL" "UNIFY" "PTESTER") + (:nicknames "CL.EXT.DACF.UNIFICATION.TESTS" "UNIFY.TESTS")) -(use-package "UNIFY") -(use-package "UTIL.TEST") +(in-package "UNIFY.TESTS") (with-tests (:name "basic constant unification") (test t (unify:environment-p (unify 42 42))) @@ -38,7 +40,7 @@ (test-error (unify "I am a string" "I am A string") :condition-type 'unification-failure) - (test t (let ((*unify-string-case-insensitive-p* t)) + (test t (let ((*unify-string-case-sensitive-p* nil)) (unify:environment-p (unify "I am a string" "I am A string")))) )