Re: [Axiom-developer] Re: fixing SPAD

[Gabriel Dos Reis]

On Sat, 19 May 2007, Waldek Hebisch wrote:

| Gabriel Dos Reis wrote:
| > I don't see what you guys are trying to make as a point.
| > 
| >     )abbrev domain FOO Foo
| >     Foo(T: Type): Public == Private where
| >       Public ==> with
| >     if T has Ring or T is Double then
| >        bar: % -> Boolean
| > 
| >       Private ==> add
| >     if T has Ring or T is Double then
| >        bar x == false
| > 
| > 
| 
| I am not sure is this is a bug or deliberate restriction.  But to
| put things stright: Spad compiler does not grook T is Double here,

My point so far is: I don't see the point of the restriction, whether is 
"is" or prime?.  We should seriously consider allowing all of them, as long as
they are predicates.

-- Gaby