Fix embarrassing, egregious bug in roles of (->)

Authored by goldfire on Nov 1 2018, 2:07 PM.

Description

Fix embarrassing, egregious bug in roles of (->)

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 Trac #15801, which requires
visible type application in types to observe. Hence, the test
case will come with the main patch for Trac #12045.

Details

Committed
goldfireNov 1 2018, 4:34 PM
Parents
rGHC82a716431cc6: Revert "Add a RTS option -xp to load PIC object anywhere in address space"
Branches
Unknown
Tags
Unknown