diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2019-03-07 09:09:13 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-03-08 06:08:41 -0500 |
| commit | 5be7ad7861c8d39f60b7101fd8d8e816ff50353a (patch) | |
| tree | 3eeaf6e6add705eb2ae10b343aadd1307d8f2106 /libraries/template-haskell | |
| parent | 826282540492d64c59cd3ba9df5fd0b2e92f76ef (diff) | |
| download | haskell-5be7ad7861c8d39f60b7101fd8d8e816ff50353a.tar.gz | |
Use captureTopConstraints in TcRnDriver calls
Trac #16376 showed the danger of failing to report an error
that exists only in the unsolved constraints, if an exception
is raised (via failM).
Well, the commit 5c1f268e (Fail fast in solveLocalEqualities)
did just that -- i.e. it found errors in the constraints, and
called failM to avoid a misleading cascade.
So we need to be sure to call captureTopConstraints to report
those insolubles. This was wrong in TcRnDriver.tcRnExpr and
in TcRnDriver.tcRnType.
As a result the error messages from test T13466 improved slightly,
a happy outcome.
Diffstat (limited to 'libraries/template-haskell')
0 files changed, 0 insertions, 0 deletions