Re: O'Haskell OOP Polymorphic Functions

[Ashley Yakeley]

OK, I've figured it out. In this O'Haskell statement,

> struct Derived < Base = 
>     value :: Int

...Derived is not, in fact, a subtype of Base. Derived and Base are 
disjoint types, but an implicit map of type "Derived -> Base" has been 
defined.

-- 
Ashley Yakeley, Seattle WA


_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell