[Axiom-developer] Re: Going mad with pattern matching

[Martin Rubey]

"Bill Page" <address@hidden> 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