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? _______________________________________________ Glasgow-haskell-users mailing list [email protected] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
