[cl-unification-cvs] CVS cl-unification

mantoniotti mantoniotti at common-lisp.net
Fri Nov 9 13:35:55 UTC 2007


Update of /project/cl-unification/cvsroot/cl-unification
In directory clnet:/tmp/cvs-serv30125

Modified Files:
	substitutions.lisp 
Log Message:
Changed the top comment and added a (:copier nil) option to the
ENVIRONMENT defstruct, as COPY-ENVIRONMENT is defined later in the
file.


--- /project/cl-unification/cvsroot/cl-unification/substitutions.lisp	2007/05/21 12:33:09	1.2
+++ /project/cl-unification/cvsroot/cl-unification/substitutions.lisp	2007/11/09 13:35:55	1.3
@@ -1,8 +1,8 @@
-;;; -*- Mode: Lisp -*-
+;;;; -*- Mode: Lisp -*-
 
-;;; substitutions.lisp
-;;; General CL structures unifier.
-;;; Substitution definitions.
+;;;; substitutions.lisp --
+;;;; General CL structures unifier.
+;;;; Substitution definitions.  Mostly a rehash of the usual SICP stuff.
 
 (in-package "CL.EXT.DACF.UNIFICATION") ; DACF = Data And Control Flow.
 
@@ -76,7 +76,8 @@
 ;;;---------------------------------------------------------------------------
 ;;; Environments.
 
-(defstruct (environment (:print-object print-environment))
+(defstruct (environment (:print-object print-environment)
+                        (:copier nil))
   (frames () :type list))
 
 (defun print-environment (env stream)
@@ -137,4 +138,4 @@
     env))
 
 
-;;; end of file -- substitutions.lisp --
+;;;; end of file -- substitutions.lisp --




More information about the Cl-unification-cvs mailing list