• Simon Peyton Jones's avatar
    Refactor LHsTyVarBndrs to fix Trac #6081 · fc8959ac
    Simon Peyton Jones authored
    This is really a small change, but it touches a lot of files quite
    significantly. The real goal is to put the implicitly-bound kind
    variables of a data/class decl in the right place, namely on the
    LHsTyVarBndrs type, which now looks like
      data LHsTyVarBndrs name
        = HsQTvs { hsq_kvs :: [Name]
                 , hsq_tvs :: [LHsTyVarBndr name]
    This little change made the type checker neater in a number of
    ways, but it was fiddly to push through the changes.
TcSMonad.lhs 66.4 KB