More GND + role inference woes

[Ben Gamari]

Richard Eisenberg <eir at cis.upenn.edu> writes:

> Yes, I believe that's right. As far as I can figure out, these classes
> really *are* problematic, in that if we allowed
> GeneralizedNewtypeDeriving for them, there would be a way to subvert
> the type system. To make these derivable, we would need to be able to
> restrict various type parameters from taking on values that take a
> nominal argument. Without the ability to restrict the values in this
> way, there could be trouble.
>
I suppose it's unlikely that the roles mechanism will be extended to
allow for such restriction?

Cheers,

- Ben

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 489 bytes
Desc: not available
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20131214/f1fc0ca3/attachment-0001.sig>