[Axiom-developer] Re: fixing SPAD

[Gabriel Dos Reis]

On Sat, 19 May 2007, Martin Rubey wrote:

| Gabriel Dos Reis <address@hidden> writes:
| 
| > On Sat, 19 May 2007, Martin Rubey wrote:
| > 
| > | Gabriel Dos Reis <address@hidden> writes:
| > | 
| > | >    I believe you raise a fundamental problem, which is that Spad
| > | > should allow combination of predicate through usual logical operators.
| > | 
| > | "combinations of predicates through usual logical operators." *are* 
allowed.
| > | Only, in the context of conditional exports, predicates are limited to 
"is" and
| > | "has".
| > 
| > I meant in the context of conditional exports.
| > Sorry, if that wasn't clear -- as I assumed you were talking of exports.
| 
| Sorry, but this reply of you makes your initial statement "unclearer".  You
| write
| 
| > | > Spad should allow combination of predicate through usual logical
| > | > operators.
| 
| This sounds as though combination of predicates (in conditional exports) would
| not be allowed.
| 
| But currently, Spad does allow combination of predicates through usual logical
| operators, no matter where.  However, *predicates* in the context of
| conditional exports are limited to "is" and "has", it seems to me.  So,
| combination works, but arbitrary predicates don't.

Martin -- 

   If you cannot correctly parse what I wrote, then I drop the ball.

-- Gaby