Kill varSetElemsWellScoped in quantifyTyVars

Authored by niteria on Apr 26 2016, 7:58 AM.

Description

Kill varSetElemsWellScoped in quantifyTyVars

varSetElemsWellScoped introduces unnecessary non-determinism in
inferred type signatures.
Removing this instance required changing the representation of
TcDepVars to use deterministic sets.
This is the last occurence of varSetElemsWellScoped, allowing me to
finally remove it.

Test Plan:
./validate
I will update the expected outputs when commiting, some reordering
of type variables in types is expected.

Reviewers: goldfire, simonpj, austin, bgamari

Reviewed By: simonpj

Subscribers: thomie, simonmar

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

GHC Trac Issues: Trac #4012

Details

Committed
niteriaApr 26 2016, 8:40 AM
Reviewer
simonpj
Differential Revision
D2135: Kill varSetElemsWellScoped in quantifyTyVars
Parents
rGHCfd5212fdc266: Testsuite: delete unused concurrent/prog002/FileIO.hs
Branches
Unknown
Tags
Unknown