O'Haskell OOP Polymorphic Functions
Wed, 31 Jan 2001 14:44:07 +1100
On 30-Jan-2001, Marcin 'Qrczak' Kowalczyk <firstname.lastname@example.org> wrote:
> Tue, 30 Jan 2001 00:13:41 -0800, Ashley Yakeley <email@example.com> 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 <firstname.lastname@example.org> | "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.