A question about roles.

Richard Eisenberg eir at cis.upenn.edu
Sun Aug 16 12:34:45 UTC 2015

Hi Alex,

Do you have a concrete example? With the -dcore-lint flag, the Core is checked, including all the roles.


On Aug 16, 2015, at 7:47 AM, Alexander Eyers-Taylor <aeyerstaylor11 at gmail.com> wrote:

> Hello
> I have noticed in looking at some core that GADT type constructors are often applied with a representational role. These constructors are explicitly marked as nominal.
> Is this information just ignored at a Core level or is this invalid core?
> Looking at the code a see that we if we downgrade a TyConAppCo we unconditionally change it to a representational role after changing its children. I think this is where it is introduced.
> Alex ET
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

More information about the ghc-devs mailing list