ross at soi.city.ac.uk
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.
> http://research.microsoft.com/%7Esimonpj/papers/hmap/ And Martin
> Sulzmann has a whole paper about this point.
> http://www.comp.nus.edu.sg/~sulzmann/ ("Co-induction...")
Should there be a -fallow-unsound-instances flag?
More information about the Glasgow-haskell-users