Changes http://wiki.axiom-developer.org/IndexedUnion/diff --
??changed: -Discussion: The idea of creating a new domain 'IndexedUnion' in Axiom grows out of a discussion on whether the current 'Union', a primitive type that allows two versions, tagged and untagged, should be generalized to allow a mixed tagged/untagged version. The current implementation specifies that in the tagged version, all domains forming the union must be distinct, while in the untagged version, the tags must be distinct. The compiler does not enforce these restrictions. Also, in the tagged case, the exported functions that construct elements from component domains have identical signatures if the domains are the same, making it only possible to create elements from the first of such identical domains. +Discussion: The idea of creating a new domain 'IndexedUnion' in Axiom grows out of a discussion on whether the current 'Union', a primitive type that allows two versions, tagged and untagged, should be generalized to allow a mixed tagged/untagged version. The current implementation specifies that in the untagged version, all domains forming the union must be distinct, while in the tagged version, the tags must be distinct. The compiler does not enforce these restrictions. Also, in the tagged case, the exported functions that construct elements from component domains have identical signatures if the domains are the same, making it only possible to create elements from the first of such identical domains. -- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
