[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Re: fixing SPAD
From: |
Gabriel Dos Reis |
Subject: |
Re: [Axiom-developer] Re: fixing SPAD |
Date: |
Sat, 19 May 2007 12:56:16 -0500 (CDT) |
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] Re: fixing SPAD, (continued)
- [Axiom-developer] Re: fixing SPAD, Gabriel Dos Reis, 2007/05/19
- [Axiom-developer] Re: fixing SPAD, Martin Rubey, 2007/05/19
- [Axiom-developer] Re: fixing SPAD, Gabriel Dos Reis, 2007/05/19
- [Axiom-developer] Re: fixing SPAD, Martin Rubey, 2007/05/19
- [Axiom-developer] Re: fixing SPAD, Gabriel Dos Reis, 2007/05/19
- [Axiom-developer] Re: fixing SPAD, Martin Rubey, 2007/05/19
- [Axiom-developer] Re: fixing SPAD, Gabriel Dos Reis, 2007/05/19
- Re: [Axiom-developer] Re: fixing SPAD, Waldek Hebisch, 2007/05/19
- Re: [Axiom-developer] Re: fixing SPAD, Gabriel Dos Reis, 2007/05/19
- Re: [Axiom-developer] Re: fixing SPAD, Waldek Hebisch, 2007/05/19
- Re: [Axiom-developer] Re: fixing SPAD,
Gabriel Dos Reis <=
- Re: [Axiom-developer] Re: fixing SPAD, Ralf Hemmecke, 2007/05/19
- Re: [Axiom-developer] Re: fixing SPAD, Waldek Hebisch, 2007/05/19
- Re: [Axiom-developer] Re: fixing SPAD, Martin Rubey, 2007/05/19
- Re: [Axiom-developer] Re: fixing SPAD, Ralf Hemmecke, 2007/05/19
- Re: [Axiom-developer] Re: fixing SPAD, Gabriel Dos Reis, 2007/05/19
- [Axiom-developer] Re: fixing SPAD, Gabriel Dos Reis, 2007/05/19
- Re: [Axiom-developer] Re: fixing SPAD, Waldek Hebisch, 2007/05/19
- Re: [Axiom-developer] Re: fixing SPAD, Martin Rubey, 2007/05/19