Tue Oct 25 19:17:33 UTC 2005 mantoniotti
* Fixed problem with the unification of a list with a
Fixed problem with the unification of a list with a
SEQUENCE-TEMPLATE. The implementation was not checking that the
length of the list was compatible with the length of the required
elements in the template.
Apart from that, keyword matching is still unimplemented.
hunk ./unifier.lisp 334
- (env (unify (subseq a 0 (list-length vars)) vars env))
+ (env (unify (subseq a 0 (min ll (list-length vars)))
+ vars
+ env))