Kill varSetElems in TcErrors
authorBartosz Nitka <niteria@gmail.com>
Tue, 26 Apr 2016 15:47:21 +0000 (08:47 -0700)
committerBartosz Nitka <niteria@gmail.com>
Mon, 25 Jul 2016 14:33:01 +0000 (07:33 -0700)
commitd0f95cf9dfd94feac94a0382f0f2972c6e54d666
tree8a43f8d423235ad5843ba83875ab3e99f089d322
parentf775c44ac6f22c828ed7afa60a14be08943bdef9
Kill varSetElems in TcErrors

The uses of varSetElems in these places are unnecessary and while it
doesn't intruduce non-determinism in the ABI the plan is to get
rid of all varSetElems to get some compile time guarantees.

Test Plan: ./validate

Reviewers: austin, simonmar, bgamari, goldfire, simonpj

Reviewed By: simonpj

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D2141

GHC Trac Issues: #4012

(cherry picked from commit 2dc5b92e070132114ea1a37f5bd82ab905ff7889)
compiler/typecheck/TcErrors.hs
testsuite/tests/dependent/should_fail/T11407.stderr
testsuite/tests/indexed-types/should_fail/T2693.stderr
testsuite/tests/typecheck/should_fail/T4921.stderr