diff options
Diffstat (limited to 'testsuite/tests/roles/should_compile/Roles14.stderr')
| -rw-r--r-- | testsuite/tests/roles/should_compile/Roles14.stderr | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles14.stderr b/testsuite/tests/roles/should_compile/Roles14.stderr index a1d95b7298..306352681e 100644 --- a/testsuite/tests/roles/should_compile/Roles14.stderr +++ b/testsuite/tests/roles/should_compile/Roles14.stderr @@ -6,7 +6,7 @@ TYPE CONSTRUCTORS COERCION AXIOMS axiom Roles12.N:C2 :: C2 a = a -> a Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [base-4.17.0.0] ==================== Typechecker ==================== Roles12.$tcC2 @@ -17,14 +17,13 @@ Roles12.$tc'C:C2 = GHC.Types.TyCon 7087988437584478859##64 11477953550142401435##64 Roles12.$trModule (GHC.Types.TrNameS "'C:C2"#) 1# $krep +$krep [InlPrag=[~]] + = GHC.Types.KindRepTyConApp Roles12.$tcC2 ((:) $krep []) $krep [InlPrag=[~]] = GHC.Types.KindRepVar 0 $krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep $krep $krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep $krep -$krep [InlPrag=[~]] = GHC.Types.KindRepFun GHC.Types.krep$* $krep $krep [InlPrag=[~]] - = GHC.Types.KindRepTyConApp GHC.Types.$tcConstraint [] -$krep [InlPrag=[~]] - = GHC.Types.KindRepTyConApp Roles12.$tcC2 ((:) $krep []) + = GHC.Types.KindRepFun GHC.Types.krep$* GHC.Types.krep$Constraint Roles12.$trModule = GHC.Types.Module (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "Roles12"#) |