• 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)
    f0b46f3e
T14331.hs 218 Bytes