[cl-unification-cvs] CVS cl-unification

[mantoniotti]

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)