Add hint on typed-hole error message
If you write
f flag = _flag + 4
it's possible that you didn't intend a typed hole; you just mis-typed
_flag. So I propose to add hint to the error message saying that
Found hole ‘_flag’ with type: t Where: ...blah blah... Or perhaps ‘_flag’ is mis-spelled, or not in scope Relevant bindings include it :: t (bound at <interactive>:9:1)
The third line is the new one.
See this email trail.