diff options
Diffstat (limited to 'testsuite/tests/roles/should_compile/Roles1.stderr')
-rw-r--r-- | testsuite/tests/roles/should_compile/Roles1.stderr | 117 |
1 files changed, 31 insertions, 86 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles1.stderr b/testsuite/tests/roles/should_compile/Roles1.stderr index defc6e8c3a..e4f1683ee9 100644 --- a/testsuite/tests/roles/should_compile/Roles1.stderr +++ b/testsuite/tests/roles/should_compile/Roles1.stderr @@ -20,122 +20,66 @@ DATA CONSTRUCTORS K2 :: forall a. a -> T2 a K1 :: forall a. a -> T1 a Dependent modules: [] -Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1, - integer-gmp-1.0.2.0] +Dependent packages: [base-4.14.0.0, ghc-prim-0.6.1, + integer-gmp-1.0.3.0] ==================== Typechecker ==================== Roles1.$tcT7 = GHC.Types.TyCon - 178606230775360129## - 14564382578551945561## - Roles1.$trModule - (GHC.Types.TrNameS "T7"#) - 1 - $krep + 178606230775360129## 14564382578551945561## Roles1.$trModule + (GHC.Types.TrNameS "T7"#) 1 $krep Roles1.$tc'K7 = GHC.Types.TyCon - 15901479081375327280## - 4842873210599704617## - Roles1.$trModule - (GHC.Types.TrNameS "'K7"#) - 3 - $krep + 15901479081375327280## 4842873210599704617## Roles1.$trModule + (GHC.Types.TrNameS "'K7"#) 3 $krep Roles1.$tcT6 = GHC.Types.TyCon - 7244893995195634045## - 6882827069359931041## - Roles1.$trModule - (GHC.Types.TrNameS "T6"#) - 1 - $krep + 7244893995195634045## 6882827069359931041## Roles1.$trModule + (GHC.Types.TrNameS "T6"#) 1 $krep Roles1.$tc'K6 = GHC.Types.TyCon - 13928703131159360198## - 9274401506945696896## - Roles1.$trModule - (GHC.Types.TrNameS "'K6"#) - 2 - $krep + 13928703131159360198## 9274401506945696896## Roles1.$trModule + (GHC.Types.TrNameS "'K6"#) 2 $krep Roles1.$tcT5 = GHC.Types.TyCon - 12033401645911719002## - 6369139038321702301## - Roles1.$trModule - (GHC.Types.TrNameS "T5"#) - 0 - GHC.Types.krep$*Arr* + 12033401645911719002## 6369139038321702301## Roles1.$trModule + (GHC.Types.TrNameS "T5"#) 0 GHC.Types.krep$*Arr* Roles1.$tc'K5 = GHC.Types.TyCon - 5548842497263642061## - 18349261927117571882## - Roles1.$trModule - (GHC.Types.TrNameS "'K5"#) - 1 - $krep + 5548842497263642061## 18349261927117571882## Roles1.$trModule + (GHC.Types.TrNameS "'K5"#) 1 $krep Roles1.$tcT4 = GHC.Types.TyCon - 15834077582937152787## - 17059037094835388922## - Roles1.$trModule - (GHC.Types.TrNameS "T4"#) - 0 - $krep + 15834077582937152787## 17059037094835388922## Roles1.$trModule + (GHC.Types.TrNameS "T4"#) 0 $krep Roles1.$tc'K4 = GHC.Types.TyCon - 10188453925450404995## - 4762093850599364042## - Roles1.$trModule - (GHC.Types.TrNameS "'K4"#) - 2 - $krep + 10188453925450404995## 4762093850599364042## Roles1.$trModule + (GHC.Types.TrNameS "'K4"#) 2 $krep Roles1.$tcT3 = GHC.Types.TyCon - 13341737262627465733## - 14527452670364737316## - Roles1.$trModule - (GHC.Types.TrNameS "T3"#) - 1 - $krep + 13341737262627465733## 14527452670364737316## Roles1.$trModule + (GHC.Types.TrNameS "T3"#) 1 $krep Roles1.$tc'K3 = GHC.Types.TyCon - 14534968069054730342## - 6860808298964464185## - Roles1.$trModule - (GHC.Types.TrNameS "'K3"#) - 2 - $krep + 14534968069054730342## 6860808298964464185## Roles1.$trModule + (GHC.Types.TrNameS "'K3"#) 2 $krep Roles1.$tcT2 = GHC.Types.TyCon - 12900773996789723956## - 9313087549503346504## - Roles1.$trModule - (GHC.Types.TrNameS "T2"#) - 0 - GHC.Types.krep$*Arr* + 12900773996789723956## 9313087549503346504## Roles1.$trModule + (GHC.Types.TrNameS "T2"#) 0 GHC.Types.krep$*Arr* Roles1.$tc'K2 = GHC.Types.TyCon - 11054915488163123841## - 10799789256744079155## - Roles1.$trModule - (GHC.Types.TrNameS "'K2"#) - 1 - $krep + 11054915488163123841## 10799789256744079155## Roles1.$trModule + (GHC.Types.TrNameS "'K2"#) 1 $krep Roles1.$tcT1 = GHC.Types.TyCon - 13228660854624297872## - 14494320157476678712## - Roles1.$trModule - (GHC.Types.TrNameS "T1"#) - 0 - GHC.Types.krep$*Arr* + 13228660854624297872## 14494320157476678712## Roles1.$trModule + (GHC.Types.TrNameS "T1"#) 0 GHC.Types.krep$*Arr* Roles1.$tc'K1 = GHC.Types.TyCon - 1265606750138351672## - 7033043930969109074## - Roles1.$trModule - (GHC.Types.TrNameS "'K1"#) - 1 - $krep + 1265606750138351672## 7033043930969109074## Roles1.$trModule + (GHC.Types.TrNameS "'K1"#) 1 $krep $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepVar 1 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepVar 0 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepVar 0 @@ -172,3 +116,4 @@ Roles1.$trModule = GHC.Types.Module (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "Roles1"#) + |