On 26 Feb 2008 19:28:16 +0100, Martin Rubey wrote: > ... > Possibly, this is the reason why Aldor allows Records > also *without* labels: >
Allowing Records without labels (oddly not allowed in Axiom) is entirely analogous to allowing Union without labels (which is allowed). > ... > By the way Record(Integer, Integer) is not allowed in Aldor. > I do not understand why, isn't that a bug: > > %13 >> import from Record(String, String) > ...........................^ > [L13 C29] #1 (Error) Duplicate selector/type pair within > Record, RawRecord or Union. > This is not a bug. Aldor is able to use the type information instead of the labels to select components of the Record (again think of the formal analogy with Union). If the types of the components are the same, then this is not possible. Regards, Bill Page. ------------------------------------------------------------------------- This SF.net email is sponsored by: Microsoft Defy all challenges. Microsoft(R) Visual Studio 2008. http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
