diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-02-12 13:42:55 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-02-12 17:37:11 +0000 |
| commit | d0846243747213218cba856d5c322016bd3e6d9e (patch) | |
| tree | e637646a3dfcd265d1eb4da4394d9a5f1325bb56 /testsuite/tests | |
| parent | 125151870de63de4a227afc2c1e38802009bc7e5 (diff) | |
| download | haskell-d0846243747213218cba856d5c322016bd3e6d9e.tar.gz | |
Improve pretty-printing of HsWrappers
Reduces un-neede parens.
Also -fprint-typechecker-elaboration now makes type applications
and casts in expressions also appear. (Previously those were
confusingly controlled by -fprint-explicit-coercions.)
Diffstat (limited to 'testsuite/tests')
| -rw-r--r-- | testsuite/tests/roles/should_compile/T8958.stderr | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/testsuite/tests/roles/should_compile/T8958.stderr b/testsuite/tests/roles/should_compile/T8958.stderr index 4434b1ee74..91b58a1ba6 100644 --- a/testsuite/tests/roles/should_compile/T8958.stderr +++ b/testsuite/tests/roles/should_compile/T8958.stderr @@ -62,19 +62,17 @@ T8958.$trModule (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "T8958"#) AbsBinds [a] [] {Exports: [T8958.$fRepresentationala <= $dRepresentational - <> - <>] + wrap: <>] Exported types: T8958.$fRepresentationala :: forall a. Representational a [LclIdX[DFunId], Str=DmdType] - Binds: $dRepresentational = T8958.C:Representational + Binds: $dRepresentational = T8958.C:Representational @ a Evidence: [EvBinds{}]} AbsBinds [a] [] {Exports: [T8958.$fNominala <= $dNominal - <> - <>] + wrap: <>] Exported types: T8958.$fNominala :: forall a. Nominal a [LclIdX[DFunId], Str=DmdType] - Binds: $dNominal = T8958.C:Nominal + Binds: $dNominal = T8958.C:Nominal @ a Evidence: [EvBinds{}]} |