[Haskell] simulating dependent types; ghc/ghci discrepancy
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.
Keith Wansbrough <kw217 at cl.cam.ac.uk>
University of Cambridge Computer Laboratory.
More information about the Haskell