summaryrefslogtreecommitdiff
path: root/testsuite/tests/roles/should_compile/Roles13.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/roles/should_compile/Roles13.stderr')
-rw-r--r--testsuite/tests/roles/should_compile/Roles13.stderr155
1 files changed, 70 insertions, 85 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles13.stderr b/testsuite/tests/roles/should_compile/Roles13.stderr
index f336a69be1..cc8dfdfc29 100644
--- a/testsuite/tests/roles/should_compile/Roles13.stderr
+++ b/testsuite/tests/roles/should_compile/Roles13.stderr
@@ -1,7 +1,7 @@
==================== Tidy Core ====================
Result size of Tidy Core
- = {terms: 114, types: 43, coercions: 5, joins: 0/0}
+ = {terms: 105, types: 40, coercions: 5, joins: 0/0}
-- RHS size: {terms: 2, types: 2, coercions: 0, joins: 0/0}
convert1 :: Wrap Age -> Wrap Age
@@ -11,10 +11,10 @@ convert1 = \ (ds :: Wrap Age) -> ds
-- RHS size: {terms: 1, types: 0, coercions: 5, joins: 0/0}
convert :: Wrap Age -> Int
[GblId, Arity=1, Caf=NoCafRefs]
-convert =
- convert1
- `cast` (<Wrap Age>_R -> Roles13.N:Wrap[0] Roles13.N:Age[0]
- :: ((Wrap Age -> Wrap Age) :: *) ~R# ((Wrap Age -> Int) :: *))
+convert
+ = convert1
+ `cast` (<Wrap Age>_R -> Roles13.N:Wrap[0] Roles13.N:Age[0]
+ :: ((Wrap Age -> Wrap Age) :: *) ~R# ((Wrap Age -> Int) :: *))
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$trModule1 :: GHC.Prim.Addr#
@@ -41,10 +41,27 @@ Roles13.$trModule :: GHC.Types.Module
[GblId, Caf=NoCafRefs]
Roles13.$trModule = GHC.Types.Module $trModule2 $trModule4
--- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
+-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
krep :: GHC.Types.KindRep
+[GblId]
+krep
+ = GHC.Types.KindRepTyConApp
+ GHC.Types.$tcInt (GHC.Types.[] @ GHC.Types.KindRep)
+
+-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
+krep1 :: GHC.Types.KindRep
+[GblId, Caf=NoCafRefs]
+krep1 = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
+
+-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
+krep2 :: GHC.Types.KindRep
+[GblId, Caf=NoCafRefs]
+krep2 = GHC.Types.KindRepFun krep1 krep1
+
+-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
+krep3 :: GHC.Types.KindRep
[GblId, Caf=NoCafRefs]
-krep = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
+krep3 = GHC.Types.KindRepVar 0#
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$tcAge1 :: GHC.Prim.Addr#
@@ -59,33 +76,26 @@ $tcAge2 = GHC.Types.TrNameS $tcAge1
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
Roles13.$tcAge :: GHC.Types.TyCon
[GblId, Caf=NoCafRefs]
-Roles13.$tcAge =
- GHC.Types.TyCon
- 3456257068627873222##
- 14056710845110756026##
- Roles13.$trModule
- $tcAge2
- 0#
- krep
+Roles13.$tcAge
+ = GHC.Types.TyCon
+ 3456257068627873222##
+ 14056710845110756026##
+ Roles13.$trModule
+ $tcAge2
+ 0#
+ krep1
-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
-krep1 :: GHC.Types.KindRep
-[GblId]
-krep1 =
- GHC.Types.KindRepTyConApp
- GHC.Types.$tcInt (GHC.Types.[] @ GHC.Types.KindRep)
-
--- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
-krep2 :: GHC.Types.KindRep
+krep4 :: GHC.Types.KindRep
[GblId, Caf=NoCafRefs]
-krep2 =
- GHC.Types.KindRepTyConApp
- Roles13.$tcAge (GHC.Types.[] @ GHC.Types.KindRep)
+krep4
+ = GHC.Types.KindRepTyConApp
+ Roles13.$tcAge (GHC.Types.[] @ GHC.Types.KindRep)
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
-krep3 :: GHC.Types.KindRep
+krep5 :: GHC.Types.KindRep
[GblId]
-krep3 = GHC.Types.KindRepFun krep1 krep2
+krep5 = GHC.Types.KindRepFun krep krep4
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$tc'MkAge1 :: GHC.Prim.Addr#
@@ -100,29 +110,14 @@ $tc'MkAge2 = GHC.Types.TrNameS $tc'MkAge1
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
Roles13.$tc'MkAge :: GHC.Types.TyCon
[GblId]
-Roles13.$tc'MkAge =
- GHC.Types.TyCon
- 18264039750958872441##
- 1870189534242358050##
- Roles13.$trModule
- $tc'MkAge2
- 0#
- krep3
-
--- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-krep4 :: GHC.Types.KindRep
-[GblId, Caf=NoCafRefs]
-krep4 = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
-
--- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-krep5 :: GHC.Types.KindRep
-[GblId, Caf=NoCafRefs]
-krep5 = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
-
--- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
-krep6 :: GHC.Types.KindRep
-[GblId, Caf=NoCafRefs]
-krep6 = GHC.Types.KindRepFun krep4 krep5
+Roles13.$tc'MkAge
+ = GHC.Types.TyCon
+ 18264039750958872441##
+ 1870189534242358050##
+ Roles13.$trModule
+ $tc'MkAge2
+ 0#
+ krep5
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$tcWrap1 :: GHC.Prim.Addr#
@@ -137,41 +132,31 @@ $tcWrap2 = GHC.Types.TrNameS $tcWrap1
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
Roles13.$tcWrap :: GHC.Types.TyCon
[GblId, Caf=NoCafRefs]
-Roles13.$tcWrap =
- GHC.Types.TyCon
- 13773534096961634492##
- 15591525585626702988##
- Roles13.$trModule
- $tcWrap2
- 0#
- krep6
-
--- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-krep7 :: GHC.Types.KindRep
-[GblId, Caf=NoCafRefs]
-krep7 = GHC.Types.KindRepVar 0#
-
--- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
-krep8 :: GHC.Types.KindRep
-[GblId, Caf=NoCafRefs]
-krep8 = GHC.Types.KindRepVar 0#
+Roles13.$tcWrap
+ = GHC.Types.TyCon
+ 13773534096961634492##
+ 15591525585626702988##
+ Roles13.$trModule
+ $tcWrap2
+ 0#
+ krep2
-- RHS size: {terms: 3, types: 2, coercions: 0, joins: 0/0}
-krep9 :: [GHC.Types.KindRep]
+krep6 :: [GHC.Types.KindRep]
[GblId, Caf=NoCafRefs]
-krep9 =
- GHC.Types.:
- @ GHC.Types.KindRep krep8 (GHC.Types.[] @ GHC.Types.KindRep)
+krep6
+ = GHC.Types.:
+ @ GHC.Types.KindRep krep3 (GHC.Types.[] @ GHC.Types.KindRep)
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
-krep10 :: GHC.Types.KindRep
+krep7 :: GHC.Types.KindRep
[GblId, Caf=NoCafRefs]
-krep10 = GHC.Types.KindRepTyConApp Roles13.$tcWrap krep9
+krep7 = GHC.Types.KindRepTyConApp Roles13.$tcWrap krep6
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
-krep11 :: GHC.Types.KindRep
+krep8 :: GHC.Types.KindRep
[GblId, Caf=NoCafRefs]
-krep11 = GHC.Types.KindRepFun krep7 krep10
+krep8 = GHC.Types.KindRepFun krep3 krep7
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$tc'MkWrap1 :: GHC.Prim.Addr#
@@ -186,14 +171,14 @@ $tc'MkWrap2 = GHC.Types.TrNameS $tc'MkWrap1
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
Roles13.$tc'MkWrap :: GHC.Types.TyCon
[GblId, Caf=NoCafRefs]
-Roles13.$tc'MkWrap =
- GHC.Types.TyCon
- 15580677875333883466##
- 808508687714473149##
- Roles13.$trModule
- $tc'MkWrap2
- 1#
- krep11
+Roles13.$tc'MkWrap
+ = GHC.Types.TyCon
+ 15580677875333883466##
+ 808508687714473149##
+ Roles13.$trModule
+ $tc'MkWrap2
+ 1#
+ krep8
View Lorry Controller Status