On Aug 9, 2006, at 11:32 PM, Guyren Howe wrote:
On Aug 9, 2006, at 8:36 PM, William Squires wrote:
On Aug 9, 2006, at 2:34 PM, Guyren Howe wrote:
I just noticed that you can't satisfy a class interface with
methods taking or functions returning a subclass of the type in
the class interface. Probably easy to fix.
<http://www.realsoftware.com/feedback/viewreport.php?
reportid=cbjwsrkb>
Of course not - you're going in the wrong direction... !! Let's
say you have a dirt-simple class interface, "IDirt". It declares
the following method
My bad. Written in haste. Of course, covariance requires that
arguments should be a supertype, and return types a subtype.
Actually, you want to say that arguments are contravariant (or arrow-
reversing).
Charles Yeomans
_______________________________________________
Unsubscribe or switch delivery mode:
<http://www.realsoftware.com/support/listmanager/>
Search the archives of this list here:
<http://support.realsoftware.com/listarchives/lists.html>
