small hiccup in new GND check

Richard Eisenberg eir at
Mon Oct 21 17:08:01 UTC 2013

Hi all,

The implementation of the new GND check is done and was rather straightforward. But, it brings up a new design issue: With the old check, a writer of a class C could say `type role C nominal` to prevent GND use with that class. Now, all classes have nominal parameters, and there is no (clean) way for a class writer to stop the use of GND. Perhaps this is OK -- classes can't in general be abstract -- but I thought we should pause a moment to reflect on this consequence of the design.

For the curious, you can see the code in my github fork at (search for `role_errs`). An example of the new error message is in

I'm running further tests now, so wibbles to the above may happen.

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

More information about the ghc-devs mailing list