Fail unification if no match for a selector
unify.lisp
Mon Nov 23 13:19:59 UTC 2009 pix@kepibu.org
* Fail unification if no match for a selector
--- old-Oh, Ducks!/unify.lisp 2015-10-29 01:11:33.000000000 +0000
+++ new-Oh, Ducks!/unify.lisp 2015-10-29 01:11:33.000000000 +0000
@@ -20,6 +20,10 @@
(t
(let ((val (find-matching-elements css-specifier document)))
(cond
+ ((null val)
+ (error 'unification-failure
+ :format-control "Unable to unify ~s and ~s"
+ :format-arguments (list css-specifier template)))
((unify::template-p template)
(unify template val env))
((unify::variablep template)