Sat Apr 2 04:05:18 UTC 2011 mantoniotti@common-lisp.net * Minor changes (added COPYING information and other minutiae). diff -rN -u old-cl-unification/apply-substitution.lisp new-cl-unification/apply-substitution.lisp --- old-cl-unification/apply-substitution.lisp 2015-12-15 22:04:33.000000000 +0000 +++ new-cl-unification/apply-substitution.lisp 2015-12-15 22:04:33.000000000 +0000 @@ -1,8 +1,10 @@ -;;; -*- Mode: Lisp -*- +;;;; -*- Mode: Lisp -*- -;;; substitutions.lisp -;;; General CL structures unifier. -;;; Substitution definitions. +;;;; apply-substitutions.lisp -- +;;;; General CL structures unifier. +;;;; Substitution definitions. +;;;; +;;;; See the file COPYING for copyright and licensing information. (in-package "CL.EXT.DACF.UNIFICATION") ; DACF = Data And Control Flow. @@ -80,4 +82,4 @@ (apply-substitution substitution term)) -;;; end of file -- apply-substitutions.lisp -- +;;;; end of file -- apply-substitutions.lisp -- diff -rN -u old-cl-unification/cl-unification-lib.asd new-cl-unification/cl-unification-lib.asd --- old-cl-unification/cl-unification-lib.asd 2015-12-15 22:04:33.000000000 +0000 +++ new-cl-unification/cl-unification-lib.asd 2015-12-15 22:04:33.000000000 +0000 @@ -2,6 +2,8 @@ ;;;; cl-unification-lib.asd -- ;;;; ASDF system file. +;;;; +;;;; See file COPYING for copyright and licensing information. (asdf:defsystem :cl-unification-lib :author "Marco Antoniotti" diff -rN -u old-cl-unification/cl-unification.asd new-cl-unification/cl-unification.asd --- old-cl-unification/cl-unification.asd 2015-12-15 22:04:33.000000000 +0000 +++ new-cl-unification/cl-unification.asd 2015-12-15 22:04:33.000000000 +0000 @@ -2,6 +2,8 @@ ;;;; cl-unification.asd -- ;;;; ASDF system file. +;;;; See file COPYING for copyright licensing information. + (defpackage "CL-UNIFICATION-SYSTEM" (:use "CL" "ASDF")) (in-package "CL-UNIFICATION-SYSTEM") diff -rN -u old-cl-unification/cl-unification.system new-cl-unification/cl-unification.system --- old-cl-unification/cl-unification.system 2015-12-15 22:04:33.000000000 +0000 +++ new-cl-unification/cl-unification.system 2015-12-15 22:04:33.000000000 +0000 @@ -3,6 +3,8 @@ ;;;; cl-unification.system -- ;;;; MK:DEFSYSTEM system file. +;;;; See file COPYING for copyright licensing information. + (mk:defsystem "CL-UNIFICATION" :source-extension "lisp" :components ("unification-package" diff -rN -u old-cl-unification/lambda-list-parsing.lisp new-cl-unification/lambda-list-parsing.lisp --- old-cl-unification/lambda-list-parsing.lisp 2015-12-15 22:04:33.000000000 +0000 +++ new-cl-unification/lambda-list-parsing.lisp 2015-12-15 22:04:33.000000000 +0000 @@ -2,6 +2,8 @@ ;;; lambda-list-parsing.lisp -- +;;;; See file COPYING for copyright licensing information. + (in-package "UNIFY") diff -rN -u old-cl-unification/match-block.lisp new-cl-unification/match-block.lisp --- old-cl-unification/match-block.lisp 2015-12-15 22:04:33.000000000 +0000 +++ new-cl-unification/match-block.lisp 2015-12-15 22:04:33.000000000 +0000 @@ -3,6 +3,8 @@ ;;;; match-block.lisp -- ;;;; Various macros built on top of the unifier: MATCH, MATCHING and MATCH-CASE. +;;;; See file COPYING for copyright licensing information. + (in-package "UNIFY") (defun clean-unify-var-name (v) diff -rN -u old-cl-unification/substitutions.lisp new-cl-unification/substitutions.lisp --- old-cl-unification/substitutions.lisp 2015-12-15 22:04:33.000000000 +0000 +++ new-cl-unification/substitutions.lisp 2015-12-15 22:04:33.000000000 +0000 @@ -4,6 +4,8 @@ ;;;; General CL structures unifier. ;;;; Substitution definitions. Mostly a rehash of the usual SICP stuff. +;;;; See file COPYING for copyright licensing information. + (in-package "CL.EXT.DACF.UNIFICATION") ; DACF = Data And Control Flow. ;;;--------------------------------------------------------------------------- diff -rN -u old-cl-unification/templates-hierarchy.lisp new-cl-unification/templates-hierarchy.lisp --- old-cl-unification/templates-hierarchy.lisp 2015-12-15 22:04:33.000000000 +0000 +++ new-cl-unification/templates-hierarchy.lisp 2015-12-15 22:04:33.000000000 +0000 @@ -2,6 +2,8 @@ ;;;; templates-hierarchy.lisp -- +;;;; See file COPYING for copyright licensing information. + (in-package "CL.EXT.DACF.UNIFICATION") ; DACF = Data And Control Flow. ;;; Templates. diff -rN -u old-cl-unification/unification-package.lisp new-cl-unification/unification-package.lisp --- old-cl-unification/unification-package.lisp 2015-12-15 22:04:33.000000000 +0000 +++ new-cl-unification/unification-package.lisp 2015-12-15 22:04:33.000000000 +0000 @@ -3,8 +3,8 @@ ;;;; unification-package.lisp -- ;;;; Package definition for the CL-UNIFICATION library. ;;;; -;;;; Copyright (c) 2004-2009 Marco Antoniotti -;;;; See file COPYING for licensing information. +;;;; Copyright (c) 2004-2011 Marco Antoniotti +;;;; See file COPYING for copyright licensing information. (defpackage "IT.UNIMIB.DISCO.MA.CL.EXT.DACF.UNIFICATION" (:use "CL") diff -rN -u old-cl-unification/unifier.lisp new-cl-unification/unifier.lisp --- old-cl-unification/unifier.lisp 2015-12-15 22:04:33.000000000 +0000 +++ new-cl-unification/unifier.lisp 2015-12-15 22:04:33.000000000 +0000 @@ -3,6 +3,8 @@ ;;; unifier.lisp ;;; General CL structures unifier. +;;;; See file COPYING for copyright licensing information. + (in-package "CL.EXT.DACF.UNIFICATION") ; DACF = Data And Control Flow. (defgeneric unify (a b &optional env &key &allow-other-keys) diff -rN -u old-cl-unification/variables.lisp new-cl-unification/variables.lisp --- old-cl-unification/variables.lisp 2015-12-15 22:04:33.000000000 +0000 +++ new-cl-unification/variables.lisp 2015-12-15 22:04:33.000000000 +0000 @@ -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)