[Axiom-developer] Re: fixing SPAD

[Gabriel Dos Reis]

On Sat, 19 May 2007, Martin Rubey wrote:

| Gabriel Dos Reis <address@hidden> writes:
| 
| >    If you cannot correctly parse what I wrote, then I drop the ball.
| 
| Please bear with me, I'm not english native.  Could you just tell me which
| sentence I misparsed and maybe rephrase it, so that I can understand?  I read
| your mail several times now, I just do not understand it.
| 
| Are you saying:
| 
|   if A and B or C then ...
| 
| should be, but currently isn't allowed in the context of conditional exports?
| (I think it is allowed already now.)

I'm saying that we seriously consider the above when A, B or C
happen to be patterns (`is form') or attribute queries (`has form').
Note that from Spad point of view, they are just predicates.

-- Gaby