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. Smylers
