[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Martin Rubey
Subject: [Axiom-developer] Re: Going mad with pattern matching
Date: 29 May 2007 18:46:43 +0200
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4

"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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]