diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-03-23 15:37:50 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-03-23 15:39:13 +0000 |
| commit | db9e4eb4e3fe916df7a69da1b211083ad6068aff (patch) | |
| tree | 52f1d9bcdbdee5dbfb19e053e435a905b42983a6 /testsuite/tests/roles/should_compile/T8958.stderr | |
| parent | 7d5ff3d36946d99ba4691344e04dd0328b2c1ef2 (diff) | |
| download | haskell-db9e4eb4e3fe916df7a69da1b211083ad6068aff.tar.gz | |
Move DFunUnfolding generation to TcInstDcls
The desugarer had a fragile case to generate the Unfolding for a
DFun. This patch moves the unfolding generation to TcInstDcls, where
all the pieces are to hand.
Fixes Trac #11742
Diffstat (limited to 'testsuite/tests/roles/should_compile/T8958.stderr')
| -rw-r--r-- | testsuite/tests/roles/should_compile/T8958.stderr | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/testsuite/tests/roles/should_compile/T8958.stderr b/testsuite/tests/roles/should_compile/T8958.stderr index 9b4e2d911c..e7a86e5004 100644 --- a/testsuite/tests/roles/should_compile/T8958.stderr +++ b/testsuite/tests/roles/should_compile/T8958.stderr @@ -62,16 +62,21 @@ T8958.$trModule AbsBinds [a] [] {Exports: [T8958.$fRepresentationala <= $dRepresentational wrap: <>] - Exported types: T8958.$fRepresentationala + Exported types: T8958.$fRepresentationala [InlPrag=[ALWAYS] CONLIKE] :: forall a. Representational a - [LclIdX[DFunId], Str=DmdType] + [LclIdX[DFunId], + Str=DmdType, + Unf=DFun: \ (@ a[ssk]) -> T8958.C:Representational TYPE: a[ssk]] 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] + Exported types: T8958.$fNominala [InlPrag=[ALWAYS] CONLIKE] + :: forall a. Nominal a + [LclIdX[DFunId], + Str=DmdType, + Unf=DFun: \ (@ a[ssk]) -> T8958.C:Nominal TYPE: a[ssk]] Binds: $dNominal = T8958.C:Nominal @ a Evidence: [EvBinds{}]} |