• Simon Peyton Jones's avatar
    Fix tcDataKindSig · 02aa02f1
    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.
    (cherry picked from commit 68149452)
all.T 7.34 KB