O'Haskell OOP Polymorphic Functions

Fergus Henderson fjh@cs.mu.oz.au
Wed, 31 Jan 2001 14:44:07 +1100

On 30-Jan-2001, Marcin 'Qrczak' Kowalczyk <qrczak@knm.org.pl> wrote:
> Tue, 30 Jan 2001 00:13:41 -0800, Ashley Yakeley <ashley@semantic.org> pisze:
> > How do I define downcast?
> You can use a non-standard module Dynamic present in ghc, hbc and Hugs
> (I don't know if it's compatible with O'Haskell).

That lets you downcast to specific ground types, but it doesn't
let you downcast to a type class constrained type variable.

Fergus Henderson <fjh@cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.