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/match-block.lisp 2013-07-26 12:23:12.000000000 +0000

+++ new-cl-unification-1/match-block.lisp 2013-07-26 12:23:12.000000000 +0000

@@ -167,7 +167,7 @@

(let ((template (%template-for-match template))

)

`((setf ,clause-var

- (unify** ,template ,object ,substitution))

+ (unify* ,template ,object ,substitution))

,(%wrap-var-bindings template clause-var forms))

))