• Simon Peyton Jones's avatar
    Fix tcDataKindSig · 68149452
    Simon Peyton Jones authored
    This patch fixes an outright bug in tcDataKindSig, shown up in Trac
    of a data type declaration.  See Note [TyConBinders for the result kind
    signature of a data type]
    
    I also took the opportunity to elminate the DataKindCheck argument
    and data type from tcDataKindSig, instead moving the check to the
    call site, which is easier to understand.
    68149452
TcInstDcls.hs 77.1 KB