[Aldor-l] Cross(List t for t in T) where T: Tuple(LabelType)

[Ralf Hemmecke]

Dear Stephen,

here is a short file that demonstrates (inside #if MULTI) approximately
what I would like to have.

The file runs fine with

aldor -laldor -grun experimentalmultisortspecies.as

but of course not if I add "-DMULTI" on the command line.

Do you have some comments on it? Is that an instance that can be done 
with compile-time typechecking?

   Rep == Cross(List t for t in T)

I know that everything could certainly be done by using Object, but does 
Aldor also allow me to not carry the type information in the value?

Best regards

Ralf
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: experimentalmultisortspecies.as
URL: <http://mail.aldor.org/pipermail/aldor-l_aldor.org/attachments/20080730/6639c368/attachment-0001.pl>