Talk:New CAT call

Revision as of 09:38, 8 November 2006 by Manus (Talk | contribs)

The most obvious observation is, that this weakens the new non-void typing mechanism, it is now possible to pass Void to feature f of class B2. This was probably not the intention of the programmer. - I do not understand this comment. Changing a:ANY into a:?STRING looks like a standard contravariant redefinition to me. Such redefinitions are sound. User:schoelle

Changing ANY into STRING is covariance, changing STRING into ANY is covariance--manus 18:38, 8 November 2006 (CET)

Retrieved from "https://dev.eiffel.com/index.php?title=Talk:New_CAT_call&oldid=5942"