Kill varSetElems try_tyvar_defaulting
authorBartosz Nitka <niteria@gmail.com>
Tue, 26 Apr 2016 16:51:26 +0000 (09:51 -0700)
committerBartosz Nitka <niteria@gmail.com>
Mon, 25 Jul 2016 14:33:21 +0000 (07:33 -0700)
commite41984ce1be2dfaf708c7b34b1b0f93fc241402b
tree34e376bce4fc5658b10c0d9a5592f79cdbd7cf25
parentd0f95cf9dfd94feac94a0382f0f2972c6e54d666
Kill varSetElems try_tyvar_defaulting

`varSetElems` introduces unnecessary nondeterminism and we can do
the same thing deterministically for the same price.

Test Plan: ./validate

Reviewers: goldfire, austin, simonmar, bgamari, simonpj

Reviewed By: simonpj

Subscribers: thomie

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

GHC Trac Issues: #4012

(cherry picked from commit 94320e1d34d14017cc9b38226ea78205a0a76a2b)
compiler/typecheck/TcMType.hs
compiler/typecheck/TcRnTypes.hs
compiler/typecheck/TcSMonad.hs
compiler/typecheck/TcSimplify.hs