"Bill Page" <[EMAIL PROTECTED]> writes: > > 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).
Could you give an example (using a Record)? I could not find such a function. Oh sorry, I see: the default value mechanism is the obstacle: With a: Record(i: Integer == 7, f: DoubleFloat == 0) a := [0.1] "works". Curiously, a: Record(Integer == 7, DoubleFloat == 0) is not allowed... But maybe that's a bug. Martin ------------------------------------------------------------------------- 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
