TSa writes:

> Ruud H.G. van Tol wrote:
> > TSa schreef:
> > 
> > > A(|)B produces a subtype of A and B, and that A(&)B produces a
> > > supertype
> > 
> > Are you sure?
> Very sure ;)

In which case that provides a handy example supporting Larry's
suggestion that this is confusing, with some people expecting it to work
exactly opposite to how it does.

It doesn't really matter which way is right -- merely having some people
on each side, all naturally deriving what makes sense to them -- shows
that implementing this would cause much confusion.


Reply via email to