diff options
| author | Bartosz Nitka <niteria@gmail.com> | 2016-06-07 07:47:42 -0700 |
|---|---|---|
| committer | Bartosz Nitka <niteria@gmail.com> | 2016-06-07 08:31:34 -0700 |
| commit | 7008515be5863df46f7863ccb8b74df004ccf73e (patch) | |
| tree | 185611949e847cf1601ee1bc33c898d6f2b19761 /testsuite/tests/callarity | |
| parent | 5db93d2e567ecb7169b06097244361327ec1eb2a (diff) | |
| download | haskell-7008515be5863df46f7863ccb8b74df004ccf73e.tar.gz | |
Kill varSetElems
This eradicates varSetElems from the codebase. This function
used to introduce nondeterminism.
I've also documented benign nondeterminism in three places.
GHC Trac: #4012
Diffstat (limited to 'testsuite/tests/callarity')
| -rw-r--r-- | testsuite/tests/callarity/unittest/CallArity1.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/testsuite/tests/callarity/unittest/CallArity1.hs b/testsuite/tests/callarity/unittest/CallArity1.hs index b889a2f981..6873d32dd0 100644 --- a/testsuite/tests/callarity/unittest/CallArity1.hs +++ b/testsuite/tests/callarity/unittest/CallArity1.hs @@ -19,6 +19,7 @@ import System.Environment( getArgs ) import VarSet import PprCore import Unique +import UniqFM import CoreLint import FastString @@ -173,7 +174,9 @@ main = do putMsg dflags (text n <> char ':') -- liftIO $ putMsg dflags (ppr e) let e' = callArityRHS e - let bndrs = varSetElems (allBoundIds e') + let bndrs = nonDetEltsUFM (allBoundIds e') + -- It should be OK to use nonDetEltsUFM here, if it becomes a + -- problem we should use DVarSet -- liftIO $ putMsg dflags (ppr e') forM_ bndrs $ \v -> putMsg dflags $ nest 4 $ ppr v <+> ppr (idCallArity v) |