[Haskell] simulating dependent types; ghc/ghci discrepancy

Keith Wansbrough Keith.Wansbrough at cl.cam.ac.uk
Wed Apr 14 18:36:56 EDT 2004

> > anyway (thus providing the dictionary) there is no point in storing it.
> Aren't you talking about a different declaration?
>   data Show a => Show' a = Show' a

Yes, I am.  Oops, sorry.

--KW 8-)
Keith Wansbrough <kw217 at cl.cam.ac.uk>
University of Cambridge Computer Laboratory.

More information about the Haskell mailing list