A bit of refactoring to TcErrors
authorSimon Peyton Jones <simonpj@microsoft.com>
Tue, 23 Dec 2014 15:44:00 +0000 (15:44 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Tue, 23 Dec 2014 16:01:28 +0000 (16:01 +0000)
commit679a661890c9e5a218d8328658cae2b71d367024
tree458cec24af8b28db906249397d467fbe26ed7249
parentc407b5a6e206764a04d041dcb1894ce737d23cb0
A bit of refactoring to TcErrors

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.
compiler/typecheck/TcErrors.hs
compiler/typecheck/TcRnTypes.hs