• Simon Peyton Jones's avatar
    Do not quantify over deriving clauses · f0b46f3e
    Simon Peyton Jones authored
    Trac #14331 showed that in a data type decl like
       data D = D deriving (C (a :: k))
    we were quantifying D over the 'k' in the deriving clause.  Yikes.
    Easily fixed, by deleting code in RnTypes.extractDataDefnKindVars
    See the discussion on the ticket, esp comment:8.
    (cherry picked from commit 82b77ec3)
RnTypes.hs 70.1 KB