• 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.
T13407.stdout 97 Bytes