Fixed problem with checking the presence of T and OTHERWISE clauses in
Tue Oct 25 19:08:15 UTC 2005 mantoniotti
* Fixed problem with checking the presence of T and OTHERWISE clauses in
Fixed problem with checking the presence of T and OTHERWISE clauses in
MATCHING.
hunk ./match-block.lisp 96
- nconc (list `(,v (find-variable-value ',v ,clause-var))[_^M_][_$_]
+ nconc (list `(,v (find-variable-value[_^M_][_$_]
+ ',v[_^M_][_$_]
+ ,clause-var))[_^M_][_$_]
hunk ./match-block.lisp 102
- (ignore-errors (unify ',template ,object ,substitution)))[_^M_][_$_]
+ (ignore-errors (unify ',template[_^M_][_$_]
+ ,object[_^M_][_$_]
+ ,substitution)))[_^M_][_$_]
hunk ./match-block.lisp 112
- (%%match%% match-env-var template object forms '(make-empty-environment))))[_^M_][_$_]
+ (%%match%% match-env-var[_^M_][_$_]
+ template[_^M_][_$_]
+ object[_^M_][_$_]
+ forms[_^M_][_$_]
+ '(make-empty-environment))))[_^M_][_$_]
hunk ./match-block.lisp 118
- (when (or (> 1 (count t match-clauses :key #'first))[_^M_][_$_]
- (> 1 (count 'otherwise match-clauses :key #'first)))[_^M_][_$_]
+ (when (or (and (find t match-clauses :key #'first)[_^M_][_$_]
+ (find 'otherwise match-clauses :key #'first))[_^M_][_$_]
+ (> (count t match-clauses :key #'first) 1)[_^M_][_$_]
+ (> (count 'otherwise match-clauses :key #'first) 1))[_^M_][_$_]