darcs - cl-unification

repos / cl-unification / headdiff

Use *unify-string-case-sensitive-p* consistently. --> to head

Tue Mar 13 15:29:16 UTC 2012 mantoniotti@common-lisp.net

* Added TIMESTAMP.

Tue Mar 13 15:28:28 UTC 2012 mantoniotti@common-lisp.net

* Copyright updated.

Tue Mar 13 15:28:15 UTC 2012 mantoniotti@common-lisp.net

* Copyright updated.

Thu Jun 16 00:10:47 UTC 2011 mantoniotti@common-lisp.net

* Added "CL-UNIFICATION" as package nickname to match the .asd and .system specs.

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

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

Change the documentation.

diff -rN -u old-cl-unification-1/COPYING new-cl-unification-1/COPYING

--- old-cl-unification-1/COPYING 2013-07-23 23:11:25.000000000 +0000

+++ new-cl-unification-1/COPYING 2013-07-23 23:11:25.000000000 +0000

@@ -1,4 +1,4 @@

Permission is hereby granted, without written agreement and without

diff -rN -u old-cl-unification-1/TIMESTAMP new-cl-unification-1/TIMESTAMP

--- old-cl-unification-1/TIMESTAMP 1970-01-01 00:00:00.000000000 +0000

+++ new-cl-unification-1/TIMESTAMP 2013-07-23 23:11:25.000000000 +0000

@@ -0,0 +1 @@

+20120116

diff -rN -u old-cl-unification-1/docs/html/index.html new-cl-unification-1/docs/html/index.html

--- old-cl-unification-1/docs/html/index.html 2013-07-23 23:11:25.000000000 +0000

+++ new-cl-unification-1/docs/html/index.html 2013-07-23 23:11:25.000000000 +0000

@@ -374,7 +374,7 @@

<tr>

</div>

</td>

</tr>

diff -rN -u old-cl-unification-1/docs/html/string-template-class.html new-cl-unification-1/docs/html/string-template-class.html

--- old-cl-unification-1/docs/html/string-template-class.html 2013-07-23 23:11:25.000000000 +0000

+++ new-cl-unification-1/docs/html/string-template-class.html 2013-07-23 23:11:25.000000000 +0000

@@ -122,7 +122,7 @@

<h2>Affected By:</h2>

- <p>The value of the variable *UNIFY-STRING-CASE-INSENSITIVE-P*.</p>

+ <p>The value of the variable *UNIFY-STRING-CASE-SENSITIVE-P*.</p>

<h2>Exceptional Situations:</h2>

diff -rN -u old-cl-unification-1/docs/html/unification-dictionary.html new-cl-unification-1/docs/html/unification-dictionary.html

--- old-cl-unification-1/docs/html/unification-dictionary.html 2013-07-23 23:11:25.000000000 +0000

+++ new-cl-unification-1/docs/html/unification-dictionary.html 2013-07-23 23:11:25.000000000 +0000

@@ -38,7 +38,7 @@

<ul>

<li><a href="unify-package.html"><i>Package</i> <b>CL.EXT.DACF.UNIFICATION</b></a>

<li><a href="unify-function.html"><i>Generic function</i> <b>UNIFY</b></a>

- <li><a href="usci-variable.html"><i>Variable</i> <b>*UNIFY-STRING-CASE-INSENSITIVE*</b></a>

+ <li><a href="usci-variable.html"><i>Variable</i> <b>*UNIFY-STRING-CASE-SENSITIVE*</b></a>

<li><a href="template-class.html"><i>Class</i> <b>TEMPLATE</b></a>

<li><a href="expression-template-class.html"><i>Class</i> <b>EXPRESSION-TEMPLATE</b></a>

diff -rN -u old-cl-unification-1/docs/html/unify-function.html new-cl-unification-1/docs/html/unify-function.html

--- old-cl-unification-1/docs/html/unify-function.html 2013-07-23 23:11:25.000000000 +0000

+++ new-cl-unification-1/docs/html/unify-function.html 2013-07-23 23:11:25.000000000 +0000

@@ -163,7 +163,7 @@

</p>

<p>Two strings unify only is they are "equal", under the following

- condition. If the variable *UNIFY-STRING-CASE-INSENSITIVE-P* is NIL

+ condition. If the variable *UNIFY-STRING-CASE-SENSITIVE-P* is T

(the default) then the two strings <i>s1</i> and <i>s2</i> are

compared using STRING=, otherwise they are compared using STRING-EQUAL.

</p>

@@ -335,7 +335,7 @@

<p>MAKE-EMPTY-ENVIRONMENT, UNIFICATION-FAILURE,

- *UNIFY-STRING-CASE-INSENSITIVE-P*, OCCURS-IN-P,

+ *UNIFY-STRING-CASE-SENSITIVE-P*, OCCURS-IN-P,

*OCCURENCE-CHECK-P*.</p>

<h2>Notes:</h2>

diff -rN -u old-cl-unification-1/docs/html/usci-variable.html new-cl-unification-1/docs/html/usci-variable.html

--- old-cl-unification-1/docs/html/usci-variable.html 2013-07-23 23:11:25.000000000 +0000

+++ new-cl-unification-1/docs/html/usci-variable.html 2013-07-23 23:11:25.000000000 +0000

@@ -1,6 +1,6 @@

<html>

<head>

- <title>CL Unification: Variable *UNIFY-STRING-CASE-INSENSITIVE-P*</title>

+ <title>CL Unification: Variable *UNIFY-STRING-CASE-SENSITIVE-P*</title>

</head>

@@ -11,7 +11,7 @@

<div class="header"

style="font-family:=Verdana,Arial,Helvetica; font-size: 18px; color: #41286f;">

- <strong><i>CL Unification: Variable *UNIFY-STRING-CASE-INSENSITIVE-P*</title></i></strong>

+ <strong><i>CL Unification: Variable *UNIFY-STRING-CASE-SENSITIVE-P*</title></i></strong>

| <a href="unification-package.html" class="navigation-link">Previous</a>

@@ -33,7 +33,7 @@

- <h1><i>Variable</i> <strong>*UNIFY-STRING-CASE-INSENSITIVE-P*</strong></h1>

+ <h1><i>Variable</i> <strong>*UNIFY-STRING-CASE-SENSITIVE-P*</strong></h1>

<h2>Package:</h2>

@@ -56,9 +56,9 @@

<h2>Description:</h2>

- <p>The value of *UNIFY-STRING-CASE-INSENSITIVE-P* controls the

+ <p>The value of *UNIFY-STRING-CASE-SENSITIVE-P* controls the

behavior of the UNIFY method with signature <code>(<i>string</i> <i>string</i>)</code>.

- If NIL (the default), the method will use STRING= to test for

+ If T (the default), the method will use STRING= to test for

equality of the two strings. Otherwise, the UNIFY method will use STRING-EQUAL.</p>

<h2>Affected By:</h2>

diff -rN -u old-cl-unification-1/test/unification-tests.lisp new-cl-unification-1/test/unification-tests.lisp

--- old-cl-unification-1/test/unification-tests.lisp 2013-07-23 23:11:25.000000000 +0000

+++ new-cl-unification-1/test/unification-tests.lisp 2013-07-23 23:11:25.000000000 +0000

@@ -43,7 +43,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"))))

)

diff -rN -u old-cl-unification-1/unification-package.lisp new-cl-unification-1/unification-package.lisp

--- old-cl-unification-1/unification-package.lisp 2013-07-23 23:11:25.000000000 +0000

+++ new-cl-unification-1/unification-package.lisp 2013-07-23 23:11:25.000000000 +0000

@@ -8,7 +8,7 @@

(defpackage "IT.UNIMIB.DISCO.MA.CL.EXT.DACF.UNIFICATION" (:use "CL")

- (:nicknames "CL.EXT.DACF.UNIFICATION" "UNIFY" "unify")

+ (:nicknames "CL.EXT.DACF.UNIFICATION" "UNIFY" "unify" "CL-UNIFICATION")

(:documentation "The CL.EXT.DACF.UNIFICATION Package.

This package contains all the definitions necessary for the general

@@ -16,7 +16,7 @@

The package also has the \"UNIFY\" nickname.")

(:export

- "*UNIFY-STRING-CASE-INSENSITIVE-P*"

+ "*UNIFY-STRING-CASE-SENSITIVE-P*"

"UNIFY"

"APPLY-SUBSTITUTION"

diff -rN -u old-cl-unification-1/unifier.lisp new-cl-unification-1/unifier.lisp

--- old-cl-unification-1/unifier.lisp 2013-07-23 23:11:25.000000000 +0000

+++ new-cl-unification-1/unifier.lisp 2013-07-23 23:11:25.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))

Sally sells sea-shells by the sea shore.

RSS