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,
'or' is handled fine. If you change 'T is Double' to 'T has Double'
then your example compile fine. If you replace 'T has Ring or T is Double'
by 'T is Double' it fails.
--
Waldek Hebisch
[EMAIL PROTECTED]
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
