[Aldor-l] [open-axiom-devel] [#428] 'Domain' in 'SetCategory'?

[Ralf Hemmecke]

Taken from sal_list.as:
List(T:Type): ListType T == add {
   Rep == Record(elt:T, next:%);
   ...
   if T has PrimitiveType then {
     (l1:%) = (l2:%):Boolean == {...}
     ...
   }}

It leads to an unspecified behaviour for
L: List OutputType := [Integer, String];

Ralf

> The reason is that there are two separate concepts:
> 
> D \in C  and  C' \subset C
> 
> It is reasonable to want the second, but that is not what "has" does.
> Do you have some concrete examples?