diff options
Diffstat (limited to 'testsuite/tests/roles/should_compile')
-rw-r--r-- | testsuite/tests/roles/should_compile/T8958.stderr | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/testsuite/tests/roles/should_compile/T8958.stderr b/testsuite/tests/roles/should_compile/T8958.stderr index df20e67f3a..5369daa5cd 100644 --- a/testsuite/tests/roles/should_compile/T8958.stderr +++ b/testsuite/tests/roles/should_compile/T8958.stderr @@ -65,8 +65,7 @@ AbsBinds [a] [] Exported types: T8958.$fRepresentationala [InlPrag=[ALWAYS] CONLIKE] :: forall a. Representational a [LclIdX[DFunId], - Unf=DFun: \ (@ a[ssk:2]) -> - T8958.C:Representational TYPE: a[ssk:2]] + Unf=DFun: \ (@ a) -> T8958.C:Representational TYPE: a] Binds: $dRepresentational = T8958.C:Representational @ a Evidence: [EvBinds{}]} AbsBinds [a] [] @@ -74,8 +73,7 @@ AbsBinds [a] [] wrap: <>] Exported types: T8958.$fNominala [InlPrag=[ALWAYS] CONLIKE] :: forall a. Nominal a - [LclIdX[DFunId], - Unf=DFun: \ (@ a[ssk:2]) -> T8958.C:Nominal TYPE: a[ssk:2]] + [LclIdX[DFunId], Unf=DFun: \ (@ a) -> T8958.C:Nominal TYPE: a] Binds: $dNominal = T8958.C:Nominal @ a Evidence: [EvBinds{}]} |