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 _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
