> a: Record(Integer == 7, DoubleFloat == 0)
>
> is not allowed... But maybe that's a bug.
Let me quote aldorug.pdf section 14.6:
Record: Tuple Type -> Type
--------------------------
Records provide the basic updatable structure for aggregate data. Each
type argument to Record may be given in any of the following forms:
T or id : T or id : T == v.
That should explain it.
Why Record(Integer, Integer) does not work is probably a bug.
However, until now I haven't seen documented (for Aldor) any way that
allows selection of an entry of a record with the type as the selector.
Actually, the bug above seems to suggest that it should work for
different types.
Ralf
%1 >> #include "aldor"
Comp: 110 msec, Interp: 20 msec
%2 >> #include "aldorinterp"
Comp: 50 msec, Interp: 0 msec
%3 >> import from Integer, String;
Comp: 20 msec, Interp: 0 msec
%4 >> x:Record(Integer, String) := [1,"z"];
() @ Record(AldorInteger, String)
Comp: 0 msec, Interp: 40 msec
%5 >> x.Integer
^
[L9 C1] #1 (Error) Operator (argument 1 of apply) did not match any
possible parameter type.
The rejected type is Record(AldorInteger, String).
Expected type String.
-------------------------------------------------------------------------
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
