• Richard Eisenberg's avatar
    Fix embarrassing, egregious bug in roles of (->) · 255d2e32
    Richard Eisenberg authored
    Previously, I had inexplicably decided that (->)'s roles
    were all Representational. But, of course, its first two
    parameters are *dependent* RuntimeReps. All dependent parameters
    have a Nominal role, because all roles in kinds are Nominal.
    
    Fix is easy, but I have no idea how the world hasn't come
    crashing down before now.
    
    This was found while investigating #15801, which requires
    visible type application in types to observe. Hence, the test
    case will come with the main patch for #12045.
    255d2e32
IfaceSyn.hs 84.5 KB