Sat Apr 2 04:39:32 UTC 2011 rbrown@common-lisp.net

* Use *unify-string-case-sensitive-p* consistently.

Change the documentation.

--- old-cl-unification-1/unifier.lisp 2014-09-11 07:29:55.000000000 +0000

+++ new-cl-unification-1/unifier.lisp 2014-09-11 07:29:56.000000000 +0000

@@ -93,7 +93,7 @@

Two CHARACTERs A and B unify if and only if they satisfy either #'CHAR= or

#'CHAR-EQUAL. The choice of which of test to perform (#'CHAR= or #'CHAR-EQUAL)

is made according to the value of the variable

-*UNIFY-STRING-CASE-INSENSITIVE-P*, which defaults to NIL.

+*UNIFY-STRING-CASE-SENSITIVE-P*, which defaults to T.

If A and B unify then an unmodified environment ENV is returned,

otherwise an error of type UNIFICATION-FAILURE is signaled."

(cond ((and case-sensitive (char= a b))

@@ -115,7 +115,7 @@

Two strings A and B unify if and only if they satisfy either #'STRING= or

#'STRING-EQUAL. The choice of which of test to perform (#'STRING= or #'STRING-EQUAL)

is made according to the value of the variable

-*UNIFY-STRING-CASE-INSENSITIVE-P*, which defaults to NIL.

+*UNIFY-STRING-CASE-SENSITIVE-P*, which defaults to T.

If A and B unify then an unmodified environment ENV is returned,

otherwise an error of type UNIFICATION-FAILURE is signaled."

(cond ((and case-sensitive (string= a b))