On Fri, May 02, 2008 at 08:30:25AM -0500, John M. Dlugosz wrote:
> I agree.  If typing is turned on, you want errors if you pass the wrong 
> type.  You have to explicitly declare that Bar is an acceptable substitute 
> for Foo.

Maybe we already have this--see "emulates" in S11.


Reply via email to