Gabriel Dos Reis <[EMAIL PROTECTED]> writes: [...] > In general, I'm of the opinion that the language should be > constrained only when we cannot come with proper semantics. > I'm not sure this case is one such case; that is why I would > like to understand the arguments. I don't want a language > designed to express only what I can think of today.
In general I agree. Thats why I posted the questino to begin with -- I did not want to rashly abandon the possibility that the construct might have some use. I belive a useful semantics for a `hybrid' Union is possible. I belive I can make it work but am unsure when I will have the time to implement it. Perhaps it would be best to get a prototype running and conduct some experiments to get an empirical `feel' for the construct? Take care, Steve _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer