Treat an out-of-scope variable like a typed hole
If we have
f x = x + y
GHC currently reports
Not in scope: y, and halts. It would be cool to treat
y as a typed hole, so that
- The out-of-scope message would give its type
-fdefer-type-errorswe could defer the error to runtime.