[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>
http://www.cl.cam.ac.uk/users/kw217/
University of Cambridge Computer Laboratory.



More information about the Haskell mailing list