[cl-unification-cvs] CVS cl-unification

Update of /project/cl-unification/cvsroot/cl-unification In directory cl-net:/tmp/cvs-serv2792 Modified Files: variables.lisp Log Message: Minor changes (added COPYING information and other minutiae). --- /project/cl-unification/cvsroot/cl-unification/variables.lisp 2009/04/15 10:12:22 1.3 +++ /project/cl-unification/cvsroot/cl-unification/variables.lisp 2011/02/26 09:22:56 1.4 @@ -1,10 +1,19 @@ -;;; -*- Mode: Lisp -*- +;;;; -*- Mode: Lisp -*- + +;;;; variables.lisp -- + +;;;; See file COPYING for copyright licensing information. (in-package "CL.EXT.DACF.UNIFICATION") ; DACF = Data And Control Flow. -(defun make-var-name (&optional (s (gensym "UNIFVAR-")) (package *package*)) - (intern (concatenate 'string "?" (symbol-name s)) package)) +(defun make-var-name (&optional (s (gensym "UV_")) (package *package*)) + (declare (type (or string symbol character) s)) + (intern (concatenate 'string "?" (string s)) package)) + + +(eval-when (:load-toplevel :execute) + (setf (fdefinition 'new-var) #'make-var-name)) (defun variablep (x)
participants (1)
-
mantoniotti