Tue Jan 12 08:37:44 UTC 2010 pix@kepibu.org
* Use (unify* ...) rather than (ignore-errors (unify ...))
Same thing, so might as well use the convenience function.
diff -rN -u old-cl-unification-1/match-block.lisp new-cl-unification-1/match-block.lisp
--- old-cl-unification-1/match-block.lisp 2013-07-21 19:25:38.000000000 +0000
+++ new-cl-unification-1/match-block.lisp 2013-07-21 19:25:38.000000000 +0000
@@ -185,9 +185,7 @@
`(,(clean-unify-var-name v) ,v))))
)
`((setf ,clause-var
- (ignore-errors (unify ,template
- ,object
- ,substitution)))
+ (unify* ,template ,object ,substitution))
(let* (,@(generate-var-bindings))
,@forms))
)))