• Simon Peyton Jones's avatar
    Fix lexically-scoped type variables · 3b0e7555
    Simon Peyton Jones authored
    Trac #13881 showed that our handling of lexically scoped type
    variables was way off when we bring into scope a name 'y' for
    a pre-existing type variable 'a', perhaps with an entirely
    different name.
    This patch fixes it; see TcHsType
      Note [Pattern signature binders]
TcHsType.hs 91.5 KB