[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] RE: [Aldor-l] exports and constants
From: |
Bill Page |
Subject: |
[Axiom-developer] RE: [Aldor-l] exports and constants |
Date: |
Mon, 24 Jul 2006 16:59:01 -0400 |
On July 24, 2006 4:36 PM Antoine Hersen wrote:
> On Aldor type system discussion :
>
> Not all parameter of a type are equivalent (see program at
> the end) :
>
> MyVecCat( 10) == MyVecCat( 20)
> but
> MyListCat( Int ) != MyListCat( String)
> ...
On July 24, 2006 4:48 PM Ralf Hemmecke wrote:
> ...
> We had a similar thing when we discussed about
> "Dom has Monoid(*, 1)".
>
Yes. In my opinion this is a serious bug in the current
implementation. This bug will affect the conversion of
significant parts of the Axiom library from SPAD to Aldor.
See for example DirectProduct.
Regards,
Bill Page.
- [Axiom-developer] RE: [Aldor-l] exports and constants, (continued)
- [Axiom-developer] Re: [Aldor-l] exports and constants, Christian Aistleitner, 2006/07/25
- [Axiom-developer] Re: [Aldor-l] exports and constants, Ralf Hemmecke, 2006/07/25
- [Axiom-developer] Re: [Aldor-l] exports and constants, Christian Aistleitner, 2006/07/26
- [Axiom-developer] Re: [Aldor-l] exports and constants, Christian Aistleitner, 2006/07/25
- [Axiom-developer] Re: [Aldor-l] exports and constants, Ralf Hemmecke, 2006/07/24
[Axiom-developer] Re: [Aldor-l] exports and constants, Christian Aistleitner, 2006/07/21
[Axiom-developer] RE: [Aldor-l] exports and constants, Bill Page, 2006/07/23
[Axiom-developer] Re: [Aldor-l] exports and constants, Ralf Hemmecke, 2006/07/24
- [Axiom-developer] RE: [Aldor-l] exports and constants,
Bill Page <=