2b0984c8d508d2b5d5d09caa34f6b9affdb644c1
[ghc.git] / testsuite / tests / simplCore / should_compile / T7360.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core = {terms: 82, types: 42, coercions: 0}
4
5 -- RHS size: {terms: 6, types: 3, coercions: 0}
6 T7360.$WFoo3 [InlPrag=INLINE] :: Int -> Foo
7 [GblId[DataConWrapper],
8  Arity=1,
9  Caf=NoCafRefs,
10  Str=<S,U>m3,
11  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
12          WorkFree=True, Expandable=True,
13          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
14          Tmpl= \ (dt [Occ=Once!] :: Int) ->
15                  case dt of { GHC.Types.I# dt [Occ=Once] -> T7360.Foo3 dt }}]
16 T7360.$WFoo3 =
17   \ (dt [Occ=Once!] :: Int) ->
18     case dt of { GHC.Types.I# dt [Occ=Once] -> T7360.Foo3 dt }
19
20 -- RHS size: {terms: 5, types: 2, coercions: 0}
21 fun1 [InlPrag=NOINLINE] :: Foo -> ()
22 [GblId, Arity=1, Caf=NoCafRefs, Str=<S,1*U>]
23 fun1 = \ (x :: Foo) -> case x of { __DEFAULT -> GHC.Tuple.() }
24
25 -- RHS size: {terms: 2, types: 0, coercions: 0}
26 T7360.fun5 :: ()
27 [GblId,
28  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
29          WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
30 T7360.fun5 = fun1 T7360.Foo1
31
32 -- RHS size: {terms: 2, types: 0, coercions: 0}
33 T7360.fun4 :: Int
34 [GblId,
35  Caf=NoCafRefs,
36  Str=m,
37  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
38          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
39 T7360.fun4 = GHC.Types.I# 0#
40
41 -- RHS size: {terms: 16, types: 13, coercions: 0}
42 fun2 :: forall a. [a] -> ((), Int)
43 [GblId,
44  Arity=1,
45  Str=<L,1*U>m,
46  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
47          WorkFree=True, Expandable=True,
48          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
49          Tmpl= \ (@ a) (x [Occ=Once!] :: [a]) ->
50                  (T7360.fun5,
51                   case x of wild {
52                     [] -> T7360.fun4;
53                     : _ [Occ=Dead] _ [Occ=Dead] ->
54                       case GHC.List.$wlenAcc @ a wild 0# of ww2 { __DEFAULT ->
55                       GHC.Types.I# ww2
56                       }
57                   })}]
58 fun2 =
59   \ (@ a) (x :: [a]) ->
60     (T7360.fun5,
61      case x of wild {
62        [] -> T7360.fun4;
63        : ds ds1 ->
64          case GHC.List.$wlenAcc @ a wild 0# of ww2 { __DEFAULT ->
65          GHC.Types.I# ww2
66          }
67      })
68
69 -- RHS size: {terms: 2, types: 0, coercions: 0}
70 T7360.$trModule2 :: GHC.Types.TrName
71 [GblId,
72  Caf=NoCafRefs,
73  Str=m1,
74  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
75          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 20}]
76 T7360.$trModule2 = GHC.Types.TrNameS "main"#
77
78 -- RHS size: {terms: 2, types: 0, coercions: 0}
79 T7360.$trModule1 :: GHC.Types.TrName
80 [GblId,
81  Caf=NoCafRefs,
82  Str=m1,
83  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
84          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 40 20}]
85 T7360.$trModule1 = GHC.Types.TrNameS "T7360"#
86
87 -- RHS size: {terms: 3, types: 0, coercions: 0}
88 T7360.$trModule :: GHC.Types.Module
89 [GblId,
90  Caf=NoCafRefs,
91  Str=m,
92  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
93          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
94 T7360.$trModule =
95   GHC.Types.Module T7360.$trModule2 T7360.$trModule1
96
97 -- RHS size: {terms: 2, types: 0, coercions: 0}
98 T7360.$tc'Foo6 :: GHC.Types.TrName
99 [GblId,
100  Caf=NoCafRefs,
101  Str=m1,
102  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
103          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 40 20}]
104 T7360.$tc'Foo6 = GHC.Types.TrNameS "'Foo3"#
105
106 -- RHS size: {terms: 5, types: 0, coercions: 0}
107 T7360.$tc'Foo3 :: GHC.Types.TyCon
108 [GblId,
109  Caf=NoCafRefs,
110  Str=m,
111  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
112          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 50}]
113 T7360.$tc'Foo3 =
114   GHC.Types.TyCon
115     10507205234936349519##
116     8302184214013227554##
117     T7360.$trModule
118     T7360.$tc'Foo6
119
120 -- RHS size: {terms: 2, types: 0, coercions: 0}
121 T7360.$tc'Foo5 :: GHC.Types.TrName
122 [GblId,
123  Caf=NoCafRefs,
124  Str=m1,
125  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
126          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 40 20}]
127 T7360.$tc'Foo5 = GHC.Types.TrNameS "'Foo2"#
128
129 -- RHS size: {terms: 5, types: 0, coercions: 0}
130 T7360.$tc'Foo2 :: GHC.Types.TyCon
131 [GblId,
132  Caf=NoCafRefs,
133  Str=m,
134  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
135          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 50}]
136 T7360.$tc'Foo2 =
137   GHC.Types.TyCon
138     9825259700232563546##
139     11056638024476048052##
140     T7360.$trModule
141     T7360.$tc'Foo5
142
143 -- RHS size: {terms: 2, types: 0, coercions: 0}
144 T7360.$tc'Foo4 :: GHC.Types.TrName
145 [GblId,
146  Caf=NoCafRefs,
147  Str=m1,
148  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
149          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 40 20}]
150 T7360.$tc'Foo4 = GHC.Types.TrNameS "'Foo1"#
151
152 -- RHS size: {terms: 5, types: 0, coercions: 0}
153 T7360.$tc'Foo1 :: GHC.Types.TyCon
154 [GblId,
155  Caf=NoCafRefs,
156  Str=m,
157  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
158          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 50}]
159 T7360.$tc'Foo1 =
160   GHC.Types.TyCon
161     2058692068419561651##
162     9152017373001677943##
163     T7360.$trModule
164     T7360.$tc'Foo4
165
166 -- RHS size: {terms: 2, types: 0, coercions: 0}
167 T7360.$tcFoo1 :: GHC.Types.TrName
168 [GblId,
169  Caf=NoCafRefs,
170  Str=m1,
171  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
172          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 20}]
173 T7360.$tcFoo1 = GHC.Types.TrNameS "Foo"#
174
175 -- RHS size: {terms: 5, types: 0, coercions: 0}
176 T7360.$tcFoo :: GHC.Types.TyCon
177 [GblId,
178  Caf=NoCafRefs,
179  Str=m,
180  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
181          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 50}]
182 T7360.$tcFoo =
183   GHC.Types.TyCon
184     8358641983981300860##
185     582034888424804490##
186     T7360.$trModule
187     T7360.$tcFoo1
188
189
190