diff options
author | Ben Gamari <ben@smart-cactus.org> | 2019-11-10 21:41:33 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2019-12-02 12:36:39 -0500 |
commit | 9e5e8f04b31506d258d782ceb3ebe1521961eada (patch) | |
tree | 6df81eb96d7f62f88fbb183961827c0b638ea02e /testsuite/tests | |
parent | 3976b8943ea48bba659672b26074e3b48d590546 (diff) | |
download | haskell-9e5e8f04b31506d258d782ceb3ebe1521961eada.tar.gz |
Simplify uniqAwaywip/uniqAway
This does two things:
* Eliminate all uses of Unique.deriveUnique, which was quite easy to
mis-use and extremely subtle.
* Rename the previous "derived unique" notion to "local unique". This
is possible because the only places where `uniqAway` can be safely
used are those where local uniqueness (with respect to some
InScopeSet) is sufficient.
* Rework the implementation of VarEnv.uniqAway, as discussed in #17462.
This should make the operation significantly more efficient than its
previous iterative implementation..
Metric Decrease:
T9872c
T12227
T9233
T14683
T5030
T12545
hie002
Metric Increase:
T9961
Diffstat (limited to 'testsuite/tests')
3 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/annotations/should_compile/th/annth_compunits.stdout b/testsuite/tests/annotations/should_compile/th/annth_compunits.stdout index 51fa405556..33199d9331 100644 --- a/testsuite/tests/annotations/should_compile/th/annth_compunits.stdout +++ b/testsuite/tests/annotations/should_compile/th/annth_compunits.stdout @@ -1,4 +1,4 @@ -["TH module annotation","addTopDecls module annotation","Module annotation"] +["addTopDecls module annotation","TH module annotation","Module annotation"] ["Value annotation"] ["TH Value annotation","addTopDecls value annotation"] ["Type annotation"] diff --git a/testsuite/tests/annotations/should_compile/th/annth_make.stdout b/testsuite/tests/annotations/should_compile/th/annth_make.stdout index 51fa405556..33199d9331 100644 --- a/testsuite/tests/annotations/should_compile/th/annth_make.stdout +++ b/testsuite/tests/annotations/should_compile/th/annth_make.stdout @@ -1,4 +1,4 @@ -["TH module annotation","addTopDecls module annotation","Module annotation"] +["addTopDecls module annotation","TH module annotation","Module annotation"] ["Value annotation"] ["TH Value annotation","addTopDecls value annotation"] ["Type annotation"] diff --git a/testsuite/tests/annotations/should_run/annrun01.stdout b/testsuite/tests/annotations/should_run/annrun01.stdout index b57394b563..46df141776 100644 --- a/testsuite/tests/annotations/should_run/annrun01.stdout +++ b/testsuite/tests/annotations/should_run/annrun01.stdout @@ -4,7 +4,7 @@ Loading Targets Finding Module Getting Module Info Showing Details For Module -([10],[],["Rock!!!!","Annotations","Module"],[]) +([10],[],["Module","Annotations","Rock!!!!"],[]) Showing Details For Exports ([],[Just True],["Type Annotation"],[Annrun01_Help.Baz]) ([],[],[],[]) |