"Bill Page" <[EMAIL PROTECTED]> writes: > Ok. Do you think we should generate an bug report for the use of the | > "suchthat" notation in patterns? Given that what you wrote works, I am more > confident that really this is intended to work using the | notation.
Yes, it certainly should work. I do not know, unfortunately, how this kind of definition works. Note that there is another place where "==" is "abused", namely for optional arguments. I'm afraid that it's built into the parser. Martin _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
