diff options
| author | Eugene Akentyev <ak3ntev@gmail.com> | 2015-12-17 12:22:44 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2015-12-17 12:54:33 +0100 |
| commit | d3dac4e3c8c7032151a8b89040f799cc5a9575d8 (patch) | |
| tree | ccf10babc7f49877266844be28ee0fb044d0d680 /testsuite/tests/roles | |
| parent | 4b161c93dba774cc8051cf40a2024ad86f3259f2 (diff) | |
| download | haskell-d3dac4e3c8c7032151a8b89040f799cc5a9575d8.tar.gz | |
Add -fprint-typechecker-elaboration flag (fixes #10662)
Reviewers: thomie, austin, bgamari
Reviewed By: thomie, bgamari
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D1625
GHC Trac Issues: #10662
Diffstat (limited to 'testsuite/tests/roles')
| -rw-r--r-- | testsuite/tests/roles/should_compile/T8958.stderr | 7 | ||||
| -rw-r--r-- | testsuite/tests/roles/should_compile/all.T | 2 |
2 files changed, 5 insertions, 4 deletions
diff --git a/testsuite/tests/roles/should_compile/T8958.stderr b/testsuite/tests/roles/should_compile/T8958.stderr index fd5461821f..40633142f0 100644 --- a/testsuite/tests/roles/should_compile/T8958.stderr +++ b/testsuite/tests/roles/should_compile/T8958.stderr @@ -48,11 +48,12 @@ AbsBinds [a] [] Exported types: T8958.$fRepresentationala :: forall a. Representational a [LclIdX[DFunId], Str=DmdType] - Binds: $dRepresentational = T8958.D:Representational} + Binds: $dRepresentational = T8958.D:Representational + Evidence: [EvBinds{}]} AbsBinds [a] [] {Exports: [T8958.$fNominala <= $dNominal <>] Exported types: T8958.$fNominala :: forall a. Nominal a [LclIdX[DFunId], Str=DmdType] - Binds: $dNominal = T8958.D:Nominal} - + Binds: $dNominal = T8958.D:Nominal + Evidence: [EvBinds{}]} diff --git a/testsuite/tests/roles/should_compile/all.T b/testsuite/tests/roles/should_compile/all.T index 25a4a37272..0ccaf11546 100644 --- a/testsuite/tests/roles/should_compile/all.T +++ b/testsuite/tests/roles/should_compile/all.T @@ -4,6 +4,6 @@ test('Roles3', only_ways('normal'), compile, ['-ddump-tc -dsuppress-uniques']) test('Roles4', only_ways('normal'), compile, ['-ddump-tc -dsuppress-uniques']) test('Roles13', only_ways('normal'), compile, ['-ddump-simpl -dsuppress-uniques']) test('Roles14', only_ways('normal'), compile, ['-ddump-tc -dsuppress-uniques']) -test('T8958', [normalise_fun(normalise_errmsg), only_ways('normal')], compile, ['-ddump-tc -dsuppress-uniques']) +test('T8958', [normalise_fun(normalise_errmsg), only_ways('normal')], compile, ['-ddump-tc -dsuppress-uniques -fprint-typechecker-elaboration']) test('T10263', normal, compile, ['']) test('T9204b', extra_clean(['T9204b.o-boot', 'T9204b.hi-boot', 'T9204b2.hi', 'T9204b2.o']), multimod_compile, ['T9204b', '-v0']) |