instance inference

Ross Paterson ross at
Mon Dec 12 14:56:00 EST 2005

On Mon, Dec 12, 2005 at 03:38:18PM -0000, Simon Peyton-Jones wrote:
> Interesting example.  Yes, GHC builds recursive dictionaries these days.
> There's a bit of discussion in our SYB paper in ICFP'05.
> 	And Martin
> Sulzmann has a whole paper about this point.
>  ("Co-induction...")

Should there be a -fallow-unsound-instances flag?

More information about the Glasgow-haskell-users mailing list