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