Thu Jan 21 01:56:47 UTC 2010 pix@kepibu.org

* Rather than a new UNIFY** function, make UNIFY* work that way

Let errors which are not UNIFICATION-FAILUREs find their way out of UNIFY*.

--- old-cl-unification-1/unifier.lisp 2013-07-26 15:26:04.000000000 +0000

+++ new-cl-unification-1/unifier.lisp 2013-07-26 15:26:04.000000000 +0000

@@ -857,9 +857,6 @@

;;; Utilities.

(defun unify* (a b &optional (env (make-empty-environment)))

- (ignore-errors (unify a b env)))

-

-(defun unify** (a b &optional (env (make-empty-environment)))

(handler-case

(unify a b env)

(unification-failure (c) (values nil c))))