• Simon Peyton Jones's avatar
    Avoid double error on out-of-scope identifier · c2b7a3d9
    Simon Peyton Jones authored
    Trac #11941 demonstrated a case where an out-of-scope error also
    gave rise to a (bogus and confusing) stage restriction message.
    It's caused by the fact that out-of-scope errors do not stop
    renaming, but rather return an "unbound name".  We need to
    detect this in the stage-restriction test to avoid the double
    error.  Easy fix.
TcEnv.hs 39.6 KB