[Axiom-developer] RE: [Aldor-l] exports and constants

[Bill Page]

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.