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