4 Oct
2012
4 Oct
'12
6:17 p.m.
On Thu, Oct 4, 2012 at 4:28 PM, Roman Cheplyaka
I don't see why it is an issue. You should never encounter holes in the released code. The only source of holes should be stuff that you just wrote. With this proposal not only you get an error for the unbound variable (as you'd get before), but GHC even tells you the type of a thing that you should plug there!
Roman
That's a good point. Upon reflection, my concerns are motivated by how I expect I'll be using holes. I anticipate that will be for dealing with complex code, and that's when I really don't want any other surprises.