diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2018-01-26 11:50:48 -0500 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2018-01-26 11:50:48 -0500 |
| commit | 0e022e56b130ab9d277965b794e70d8d3fb29533 (patch) | |
| tree | 9ed3ae9e1e88095c37d3b9035ddc82756533a81e /testsuite/tests | |
| parent | 40c753f14b314e74723465e6f79316657307f373 (diff) | |
| download | haskell-0e022e56b130ab9d277965b794e70d8d3fb29533.tar.gz | |
Turn EvTerm (almost) into CoreExpr (#14691)
Ideally, I'd like to do
type EvTerm = CoreExpr
and the type checker builds the evidence terms as it goes. This failed,
becuase the evidence for `Typeable` refers to local identifiers that are
added *after* the typechecker solves constraints. Therefore, `EvTerm`
stays a data type with two constructors: `EvExpr` for `CoreExpr`
evidence, and `EvTypeable` for the others.
Delted `Note [Memoising typeOf]`, its reference (and presumably
relevance) was removed in 8fa4bf9.
Differential Revision: https://phabricator.haskell.org/D4341
Diffstat (limited to 'testsuite/tests')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T8129.stdout | 2 | ||||
| -rw-r--r-- | testsuite/tests/perf/compiler/all.T | 6 |
2 files changed, 5 insertions, 3 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T8129.stdout b/testsuite/tests/indexed-types/should_fail/T8129.stdout index f2bab63c9e..8a0fb29814 100644 --- a/testsuite/tests/indexed-types/should_fail/T8129.stdout +++ b/testsuite/tests/indexed-types/should_fail/T8129.stdout @@ -1,3 +1,3 @@ • Could not deduce (C x0 (F x0)) • Could not deduce (C x0 (F x0)) - • Could not deduce (C x0 (F x0)) + \ \\226\\128\\162 Could not deduce (C x0 (F x0))\n\ diff --git a/testsuite/tests/perf/compiler/all.T b/testsuite/tests/perf/compiler/all.T index 431b2889e8..257d9b0b83 100644 --- a/testsuite/tests/perf/compiler/all.T +++ b/testsuite/tests/perf/compiler/all.T @@ -39,7 +39,7 @@ test('T1969', # 2013-11-13 17 (x86/Windows, 64bit machine) # 2015-07-11 21 (x86/Linux, 64bit machine) use +RTS -G1 # 2016-04-06 30 (x86/Linux, 64bit machine) - (wordsize(64), 61, 20)]), + (wordsize(64), 78, 20)]), # 28 (amd64/Linux) # 34 (amd64/Linux) # 2012-09-20 23 (amd64/Linux) @@ -55,6 +55,7 @@ test('T1969', # See the comment 16 on #8472. # 2017-02-17 83 (amd64/Linux) Type-indexed Typeable # 2017-03-31 61 (amd64/Linux) Fix memory leak in simplifier + # 2018-01-25 78 (amd64/Linux) Use CoreExpr for EvTerm compiler_stats_num_field('max_bytes_used', [(platform('i386-unknown-mingw32'), 5719436, 20), # 2010-05-17 5717704 (x86/Windows) @@ -1213,7 +1214,8 @@ test('Naperian', compiler_stats_num_field('bytes allocated', [(platform('x86_64-unknown-mingw32'), 54116696, 10), # 2017-12-24 54116696 (x64/Windows) - Unknown - (wordsize(64), 2381935784, 10)]) + (wordsize(64), 53576760, 10)]) + # 2018-01-25 53576760 (x64/Linux) - The previous value looked very wrong ], compile, ['']) |