Skip to content
  • 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.
    c2b7a3d9