[Aldor-l] Representation of Cross

[Ralf Hemmecke]

Dear Stephen,

What is the internal representation of Tuple Integer?

   That I can probably answer myself...
   In sal_base.as one finds...

   extend Tuple(T: Type): with {...} == add {
       macro Z == MachineInteger;
       Rep == Record(size: SInt, values: Arr);
       ...
   }

But what about

* Cross(Integer, Integer),
* Cross(Integer, String),
* Cross(T: Tuple Type) in general

In particular for the latter I'd like to have some reliable information 
since I want to extend it and need to specify some Rep part like for 
Tuple above.

I'd be happy if the answer is "Arr".

Where would I have to look in the compiler sources?

Best regards.

Ralf