-
Simon Peyton Jones authored
This replaces a bunch of boolean flags in ReportErrCtxt with an algebraic data type to say how to handle expression holes and type holes No change in functionality; I just found myself unable to understand the code easily, when thinking about something else. Result is quite nice, I think.
679a6618