diff options
author | Ryan Scott <ryan.gl.scott@gmail.com> | 2018-08-12 17:27:27 +0200 |
---|---|---|
committer | Krzysztof Gogolewski <krz.gogolewski@gmail.com> | 2018-08-12 17:27:27 +0200 |
commit | c552feea127d8ed8cbf4994a157c4bbe254b96c3 (patch) | |
tree | 6a127b7a4da617b89f495da91a3978582bb77af7 /libraries | |
parent | f7f9820e8f5601e9a072e504f3d772fd78df6700 (diff) | |
download | haskell-c552feea127d8ed8cbf4994a157c4bbe254b96c3.tar.gz |
Suppress redundant givens during error reporting
Summary:
When GHC reports that it cannot solve a constraint in error
messages, it often reports what given constraints it has in scope.
Unfortunately, sometimes redundant constraints (like `* ~ *`, from
#15361) can sneak in. The fix is simple: blast away these redundant
constraints using `mkMinimalBySCs`.
Test Plan: make test TEST=T15361
Reviewers: simonpj, bgamari
Subscribers: rwbarton, thomie, carter
GHC Trac Issues: #15361
Differential Revision: https://phabricator.haskell.org/D5002
Diffstat (limited to 'libraries')
0 files changed, 0 insertions, 0 deletions