• Simon Peyton Jones's avatar
    Simplify variable naming in tcDataKindSig · c8295c0b
    Simon Peyton Jones authored
    Now that we are very consistent about tidying when converting
    to IfaceSyn, we don't need to worry about accidental capture
    of the "extra" type variables in tcDataKindSig.  (Previously
    we gave them weird names like $a.)
    
    However, it is nicer for the user if we don't gratuitously
    re-use an in-scope name, so we take care not to do that
    .
    c8295c0b
TcHsType.lhs 71.2 KB