• Simon Peyton Jones's avatar
    Use substTyUnchecked in TcMType.new_meta_tv_x · f4a14d6c
    Simon Peyton Jones authored
    Sadly, one of the indirect callers of this function doesn't yet
    enforce the in-scope set.  It's in the TcHsType.tc_infer_args swamp,
    so I'm not going to wade in there today.
    The assertion tripped when investigating Trac #12785; but this patch
    does NOT fix the actual bug reported there.
TcMType.hs 60.6 KB