diff options
Diffstat (limited to 'testsuite/tests/roles/should_compile/Roles4.stderr')
| -rw-r--r-- | testsuite/tests/roles/should_compile/Roles4.stderr | 37 |
1 files changed, 11 insertions, 26 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles4.stderr b/testsuite/tests/roles/should_compile/Roles4.stderr index 8a8851a0a2..8f1d58183b 100644 --- a/testsuite/tests/roles/should_compile/Roles4.stderr +++ b/testsuite/tests/roles/should_compile/Roles4.stderr @@ -9,42 +9,26 @@ COERCION AXIOMS axiom Roles4.N:C1 :: C1 a = a -> a axiom Roles4.N:C3 :: C3 a = a -> Syn1 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 ==================== Roles4.$tcC3 = GHC.Types.TyCon - 7508642517340826358## - 16938219270597865136## - Roles4.$trModule - (GHC.Types.TrNameS "C3"#) - 0 - $krep + 7508642517340826358## 16938219270597865136## Roles4.$trModule + (GHC.Types.TrNameS "C3"#) 0 $krep Roles4.$tc'C:C3 = GHC.Types.TyCon - 3133378316178104365## - 15809386433947157376## - Roles4.$trModule - (GHC.Types.TrNameS "'C:C3"#) - 1 - $krep + 3133378316178104365## 15809386433947157376## Roles4.$trModule + (GHC.Types.TrNameS "'C:C3"#) 1 $krep Roles4.$tcC1 = GHC.Types.TyCon - 13392243382482428602## - 1780037961948725012## - Roles4.$trModule - (GHC.Types.TrNameS "C1"#) - 0 - $krep + 13392243382482428602## 1780037961948725012## Roles4.$trModule + (GHC.Types.TrNameS "C1"#) 0 $krep Roles4.$tc'C:C1 = GHC.Types.TyCon - 3870707671502302648## - 10631907186261837450## - Roles4.$trModule - (GHC.Types.TrNameS "'C:C1"#) - 1 - $krep + 3870707671502302648## 10631907186261837450## Roles4.$trModule + (GHC.Types.TrNameS "'C:C1"#) 1 $krep $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepVar 0 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepFun $krep $krep $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepFun $krep $krep @@ -64,3 +48,4 @@ Roles4.$trModule = GHC.Types.Module (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "Roles4"#) + |