-
Simon Peyton Jones authored
the *type* indices match those of the class instance. We don't need to track tke kind indices, and indeed thay don't have the same careful name scoping. See the notes in checkValidClass. Fixes Trac #7073
3b9be226
the *type* indices match those of the class instance. We don't need to track tke kind indices, and indeed thay don't have the same careful name scoping. See the notes in checkValidClass. Fixes Trac #7073