diff options
Diffstat (limited to 'testsuite/tests/roles/should_compile/T8958.stderr')
| -rw-r--r-- | testsuite/tests/roles/should_compile/T8958.stderr | 76 |
1 files changed, 28 insertions, 48 deletions
diff --git a/testsuite/tests/roles/should_compile/T8958.stderr b/testsuite/tests/roles/should_compile/T8958.stderr index b975c66d9c..3ba5a968d0 100644 --- a/testsuite/tests/roles/should_compile/T8958.stderr +++ b/testsuite/tests/roles/should_compile/T8958.stderr @@ -16,58 +16,34 @@ CLASS INSTANCES -- Defined at T8958.hs:10:10 instance [incoherent] Nominal a -- Defined at T8958.hs:7:10 Dependent modules: [] -Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1, +Dependent packages: [base-4.14.0.0, ghc-prim-0.6.1, integer-gmp-1.0.2.0] ==================== Typechecker ==================== T8958.$tcMap = GHC.Types.TyCon - 16542473435673943392## - 5374201132143305512## - T8958.$trModule - (GHC.Types.TrNameS "Map"#) - 0 - GHC.Types.krep$*->*->* + 16542473435673943392## 5374201132143305512## T8958.$trModule + (GHC.Types.TrNameS "Map"#) 0 GHC.Types.krep$*->*->* T8958.$tc'MkMap = GHC.Types.TyCon - 2942839876828444488## - 3989137838066763457## - T8958.$trModule - (GHC.Types.TrNameS "'MkMap"#) - 2 - $krep + 2942839876828444488## 3989137838066763457## T8958.$trModule + (GHC.Types.TrNameS "'MkMap"#) 2 $krep T8958.$tcRepresentational = GHC.Types.TyCon - 12809567151893673426## - 12159693688248149156## - T8958.$trModule - (GHC.Types.TrNameS "Representational"#) - 0 - $krep + 12809567151893673426## 12159693688248149156## T8958.$trModule + (GHC.Types.TrNameS "Representational"#) 0 $krep T8958.$tc'C:Representational = GHC.Types.TyCon - 2358772282532242424## - 5444038897914446879## - T8958.$trModule - (GHC.Types.TrNameS "'C:Representational"#) - 1 - $krep + 2358772282532242424## 5444038897914446879## T8958.$trModule + (GHC.Types.TrNameS "'C:Representational"#) 1 $krep T8958.$tcNominal = GHC.Types.TyCon - 12224997609886144634## - 9866011944332051160## - T8958.$trModule - (GHC.Types.TrNameS "Nominal"#) - 0 - $krep + 12224997609886144634## 9866011944332051160## T8958.$trModule + (GHC.Types.TrNameS "Nominal"#) 0 $krep T8958.$tc'C:Nominal = GHC.Types.TyCon - 10562260635335201742## - 1215478186250709459## - T8958.$trModule - (GHC.Types.TrNameS "'C:Nominal"#) - 1 - $krep + 10562260635335201742## 1215478186250709459## T8958.$trModule + (GHC.Types.TrNameS "'C:Nominal"#) 1 $krep $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepVar 0 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepVar 1 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepFun $krep $krep @@ -102,20 +78,24 @@ T8958.$trModule = GHC.Types.Module (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "T8958"#) AbsBinds [a] [] - {Exports: [T8958.$fRepresentationala <= $dRepresentational - wrap: <>] - Exported types: T8958.$fRepresentationala [InlPrag=NOUSERINLINE CONLIKE] - :: forall a. Representational a - [LclIdX[DFunId], - Unf=DFun: \ (@ a) -> T8958.C:Representational TYPE: a] + {Exports: ABE { poly: T8958.$fRepresentationala [InlPrag=NOUSERINLINE CONLIKE] + :: forall a. Representational a + [LclIdX[DFunId], + Unf=DFun: \ (@ a) -> T8958.C:Representational TYPE: a] + mono: $dRepresentational :: Representational a + [LclId] + prags: + wrap: <> } Binds: $dRepresentational = T8958.C:Representational @ a Evidence: [EvBinds{}]} AbsBinds [a] [] - {Exports: [T8958.$fNominala <= $dNominal - wrap: <>] - Exported types: T8958.$fNominala [InlPrag=NOUSERINLINE CONLIKE] - :: forall a. Nominal a - [LclIdX[DFunId], Unf=DFun: \ (@ a) -> T8958.C:Nominal TYPE: a] + {Exports: ABE { poly: T8958.$fNominala [InlPrag=NOUSERINLINE CONLIKE] + :: forall a. Nominal a + [LclIdX[DFunId], Unf=DFun: \ (@ a) -> T8958.C:Nominal TYPE: a] + mono: $dNominal :: Nominal a + [LclId] + prags: + wrap: <> } Binds: $dNominal = T8958.C:Nominal @ a Evidence: [EvBinds{}]} |