• Simon Peyton Jones's avatar
    Re-add missing kind generalisation · c572430c
    Simon Peyton Jones authored
    When splitting H98/GADT syntax in ConDecl we lost a key
    kind-generalisation step.
    
    I also renamed tcHsTyVarBndrs to tcExplicitTKBnders, by analogy
    with tcImplicitTkBndrs.
    
    This fixes Trac #11459.
    
    Merge to 8.0.
    c572430c
TcPatSyn.hs 36.1 KB