Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> I wonder why
>
> > getit(T: Category, L: Tuple T, i: MachineInteger): T == add {
> > import from Tuple T;
> > element(L, i);
> > }
>
> compiles.
>
> add {...} is an anonymous domain, that exports *nothing*. T is a category.
I do not understand. In what way is that different from
CharacteristicSpecies(n:Integer)(L:LabelType): CombinatorialSpecies L == add {
Rep == SetSpecies L;
import from Rep;
nn: I == machine n;
<<implementation: CharacteristicSpecies>>
}
??? I would have thought that CombinatorialSpecies L is also a category. Take
the example
getit(OutputType, (Boolean, Integer), 1)
I would expect that it returns a domain of type OutputType, which happens to be
Boolean, although we do not export that knowledge.
Martin
-------------------------------------------------------------------------
This SF.net email is sponsored by DB2 Express
Download DB2 Express C - the FREE version of DB2 express and take
control of your XML. No limits. Just data. Click to get it now.
http://sourceforge.net/powerbar/db2/
_______________________________________________
Aldor-combinat-devel mailing list
Aldor-combinat-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/aldor-combinat-devel
