Gabriel Dos Reis <[EMAIL PROTECTED]> writes: > Stephen Wilson <[EMAIL PROTECTED]> writes: > | I think the consensus is that `hybrid' Union types are not desirable. > > I'm not sure I understand the arguments why they are not desirable.
Main question is _why_ they might be desirable. Spad does not support them. Aldor might in theory, but only in theory. As such a construct appears to give no real benefit for anyone, Im thinking that properly encoding the constraint is the proper move. Do you have an argument for `hybrid' Unions? Thanks, Steve _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
