[M3devel] Resummary of tagged reference proposals

[hendrik at topoi.pooq.com]

On Tue, Jun 02, 2009 at 08:51:31PM +1000, Tony Hosking wrote:
> Union types are anathema to the design of the Modula-3 type system.

So I have heard.  But I don't understand why.  Certainly 
variant records a la Pascal would be for security reasons.  
Did they get tarred with the same brush?  Or were unions 
considered unnecessary once the language had objects and 
inheritance?

-- hendrik