• Simon Peyton Jones's avatar
    Use TyVars in PatSyns · 12eff239
    Simon Peyton Jones authored
    I found that some TcTyVars were lurking in a PatSyn, because
    tc_patsyn_finish was using the TcType -> TcType zonker rather
    than the TcType -> Type zonker.  Eeek.
    
    I fixing this I also tided up function naming a bit (still not
    terrific), and removed the unused TcTyBinder type entirely.
    12eff239
TcHsType.hs 88 KB