Gabriel Dos Reis <[EMAIL PROTECTED]> writes: [...]
| | By the way, I think the line must read | | | | v:= ASSOC(p,al) => s=rest v and al | | ==== | | | | this makes much more sense logically and should typecheck with | | the pmatch(s,p) == pmatchWithSl(s,p,[nil]) | | | Yes, it typechecks; I just started a new build; I will report back. | I like your semantics description and suggested fix better. It also fails. But, I believe your suggested fix is the most correct. -- Gaby _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
