More GND + role inference woes

Edward Kmett ekmett at
Sun Oct 13 21:26:48 UTC 2013

Ben Gamari was trying to update my linear package to work with GHC HEAD.

Along the way he noted an example of the new GND+role inference machinery
failing rather spectacularly.

Note the number of classes that the current proposal would force us to hand


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list