repos / cl-unification / commit
summary | shortlog | log | tree | commit | commitdiff | headdiff
unified | plain | darcs
Rather than a new UNIFY** function, make UNIFY* work that way
authorpix@kepibu.org
local dateThu, 21 Jan 2010 01:56:47
dateThu, 21 Jan 2010 01:56:47
hash20100121015647-50f04-c51ea67a82dad7445a63ec2c04765ac23c3e1d21.gz
Rather than a new UNIFY** function, make UNIFY* work that way

Let errors which are not UNIFICATION-FAILUREs find their way out of UNIFY*.
2 file(s) changed:
match-block.lisp +1 -1 diff | history | annotate
unifier.lisp +0 -3 diff | history | annotate
There once was a man from Nantucket…