f74c3abbb9f5cb9e6695bd290694dfc4e490fc4b
[ghc.git] / testsuite / tests / roles / should_compile / Roles13.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core = {terms: 51, types: 20, coercions: 5}
4
5 -- RHS size: {terms: 2, types: 2, coercions: 0}
6 convert1 :: Wrap Age -> Wrap Age
7 [GblId, Arity=1, Caf=NoCafRefs]
8 convert1 = \ (ds :: Wrap Age) -> ds
9
10 -- RHS size: {terms: 1, types: 0, coercions: 5}
11 convert :: Wrap Age -> Int
12 [GblId, Arity=1, Caf=NoCafRefs]
13 convert =
14   convert1
15   `cast` (<Wrap Age>_R -> Roles13.N:Wrap[0] Roles13.N:Age[0]
16           :: ((Wrap Age -> Wrap Age) :: *) ~R# ((Wrap Age -> Int) :: *))
17
18 -- RHS size: {terms: 2, types: 0, coercions: 0}
19 $trModule1 :: GHC.Types.TrName
20 [GblId, Caf=NoCafRefs]
21 $trModule1 = GHC.Types.TrNameS "main"#
22
23 -- RHS size: {terms: 2, types: 0, coercions: 0}
24 $trModule2 :: GHC.Types.TrName
25 [GblId, Caf=NoCafRefs]
26 $trModule2 = GHC.Types.TrNameS "Roles13"#
27
28 -- RHS size: {terms: 3, types: 0, coercions: 0}
29 Roles13.$trModule :: GHC.Types.Module
30 [GblId, Caf=NoCafRefs]
31 Roles13.$trModule = GHC.Types.Module $trModule1 $trModule2
32
33 -- RHS size: {terms: 2, types: 0, coercions: 0}
34 $tc'MkAge1 :: GHC.Types.TrName
35 [GblId, Caf=NoCafRefs]
36 $tc'MkAge1 = GHC.Types.TrNameS "'MkAge"#
37
38 -- RHS size: {terms: 5, types: 0, coercions: 0}
39 Roles13.$tc'MkAge :: GHC.Types.TyCon
40 [GblId, Caf=NoCafRefs]
41 Roles13.$tc'MkAge =
42   GHC.Types.TyCon
43     1226019810264079099##
44     12180888342844277416##
45     Roles13.$trModule
46     $tc'MkAge1
47
48 -- RHS size: {terms: 2, types: 0, coercions: 0}
49 $tcAge1 :: GHC.Types.TrName
50 [GblId, Caf=NoCafRefs]
51 $tcAge1 = GHC.Types.TrNameS "Age"#
52
53 -- RHS size: {terms: 5, types: 0, coercions: 0}
54 Roles13.$tcAge :: GHC.Types.TyCon
55 [GblId, Caf=NoCafRefs]
56 Roles13.$tcAge =
57   GHC.Types.TyCon
58     18304088376370610314##
59     1954648846714895105##
60     Roles13.$trModule
61     $tcAge1
62
63 -- RHS size: {terms: 2, types: 0, coercions: 0}
64 $tc'MkWrap1 :: GHC.Types.TrName
65 [GblId, Caf=NoCafRefs]
66 $tc'MkWrap1 = GHC.Types.TrNameS "'MkWrap"#
67
68 -- RHS size: {terms: 5, types: 0, coercions: 0}
69 Roles13.$tc'MkWrap :: GHC.Types.TyCon
70 [GblId, Caf=NoCafRefs]
71 Roles13.$tc'MkWrap =
72   GHC.Types.TyCon
73     12402878715225676312##
74     13345418993613492500##
75     Roles13.$trModule
76     $tc'MkWrap1
77
78 -- RHS size: {terms: 2, types: 0, coercions: 0}
79 $tcWrap1 :: GHC.Types.TrName
80 [GblId, Caf=NoCafRefs]
81 $tcWrap1 = GHC.Types.TrNameS "Wrap"#
82
83 -- RHS size: {terms: 5, types: 0, coercions: 0}
84 Roles13.$tcWrap :: GHC.Types.TyCon
85 [GblId, Caf=NoCafRefs]
86 Roles13.$tcWrap =
87   GHC.Types.TyCon
88     5278920226786541118##
89     14554440859491798587##
90     Roles13.$trModule
91     $tcWrap1
92
93
94