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?
-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php
_______________________________________________
open-axiom-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
