summaryrefslogtreecommitdiff
path: root/libraries
diff options
context:
space:
mode:
authorRyan Scott <ryan.gl.scott@gmail.com>2018-08-12 17:27:27 +0200
committerKrzysztof Gogolewski <krz.gogolewski@gmail.com>2018-08-12 17:27:27 +0200
commitc552feea127d8ed8cbf4994a157c4bbe254b96c3 (patch)
tree6a127b7a4da617b89f495da91a3978582bb77af7 /libraries
parentf7f9820e8f5601e9a072e504f3d772fd78df6700 (diff)
downloadhaskell-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