12 Dec
2005
12 Dec
'05
2:56 p.m.
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?