repos / cl-unification / commit
summary | shortlog | log | tree | commit | commitdiff | headdiff
unified | plain | darcs
Make MATCHING agree with MATCH[F][-CASE] about the conditions of failure
authorpix@kepibu.org
local dateFri, 15 Jan 2010 07:59:02
dateFri, 15 Jan 2010 07:59:02
hash20100115075902-50f04-a74140c956561219bde55c0b15cd0e7788439ab9.gz
Make MATCHING agree with MATCH[F][-CASE] about the conditions of failure

Rather than skipping to the next clause on any error, UNIFICATION-FAILUREs--and
/only/ UNIFICATION-FAILUREs--skip to the next clause.
2 file(s) changed:
match-block.lisp +1 -1 diff | history | annotate
unifier.lisp +5 -0 diff | history | annotate
There once was a man from Nantucket…