Representation of Cross

View: New views
1 Messages — Rating Filter:   Alert me  

Representation of Cross

by Ralf Hemmecke :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

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

_______________________________________________
Aldor-l mailing list
Aldor-l@...
http://aldor.org/mailman/listinfo/aldor-l_aldor.org