• Simon Peyton Jones's avatar
    Zonk the free tvs of a RULE lhs to TyVars · f8c8de8e
    Simon Peyton Jones authored
    Previously we were making them into skolem TcTyVars,
    which is wrong for the output of the type checker, which
    no TcTyVars should surive.
    See Note [Zonking the LHS of a RULE] in TcHsSyn
    This was flushed out by the new IfaceTcTyVar thing;
    I found some more TcTyVars that were being serialised into
    an interface file, which is wrong wrong wrong.
DsBinds.hs 50.2 KB