f5de5d7835d1801e9281930dc7dc522613366598
[ghc.git] / testsuite / tests / simplCore / should_compile / T3772.stdout
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core
4   = {terms: 44, types: 19, coercions: 0, joins: 0/0}
5
6 Rec {
7 -- RHS size: {terms: 10, types: 2, coercions: 0, joins: 0/0}
8 $wxs :: GHC.Prim.Int# -> ()
9 [GblId, Arity=1, Caf=NoCafRefs, Str=<S,1*U>]
10 $wxs
11   = \ (ww :: GHC.Prim.Int#) ->
12       case ww of ds1 {
13         __DEFAULT -> $wxs (GHC.Prim.-# ds1 1#);
14         1# -> GHC.Tuple.()
15       }
16 end Rec }
17
18 -- RHS size: {terms: 11, types: 3, coercions: 0, joins: 0/0}
19 T3772.$wfoo [InlPrag=NOINLINE] :: GHC.Prim.Int# -> ()
20 [GblId, Arity=1, Caf=NoCafRefs, Str=<S,U>]
21 T3772.$wfoo
22   = \ (ww :: GHC.Prim.Int#) ->
23       case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# 0# ww) of {
24         False -> GHC.Tuple.();
25         True -> $wxs ww
26       }
27
28 -- RHS size: {terms: 6, types: 3, coercions: 0, joins: 0/0}
29 foo [InlPrag=INLINE[0]] :: Int -> ()
30 [GblId,
31  Arity=1,
32  Caf=NoCafRefs,
33  Str=<S(S),1*U(U)>,
34  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
35          WorkFree=True, Expandable=True,
36          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
37          Tmpl= \ (w [Occ=Once!] :: Int) ->
38                  case w of { GHC.Types.I# ww1 [Occ=Once] -> T3772.$wfoo ww1 }}]
39 foo
40   = \ (w :: Int) -> case w of { GHC.Types.I# ww1 -> T3772.$wfoo ww1 }
41
42 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
43 T3772.$trModule2 :: GHC.Prim.Addr#
44 [GblId,
45  Caf=NoCafRefs,
46  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
47          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 0}]
48 T3772.$trModule2 = "T3772"#
49
50 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
51 T3772.$trModule1 :: GHC.Types.TrName
52 [GblId,
53  Caf=NoCafRefs,
54  Str=m1,
55  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
56          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
57 T3772.$trModule1 = GHC.Types.TrNameS T3772.$trModule2
58
59 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
60 T3772.$trModule4 :: GHC.Prim.Addr#
61 [GblId,
62  Caf=NoCafRefs,
63  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
64          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
65 T3772.$trModule4 = "main"#
66
67 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
68 T3772.$trModule3 :: GHC.Types.TrName
69 [GblId,
70  Caf=NoCafRefs,
71  Str=m1,
72  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
73          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
74 T3772.$trModule3 = GHC.Types.TrNameS T3772.$trModule4
75
76 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
77 T3772.$trModule :: GHC.Types.Module
78 [GblId,
79  Caf=NoCafRefs,
80  Str=m,
81  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
82          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
83 T3772.$trModule
84   = GHC.Types.Module T3772.$trModule3 T3772.$trModule1
85
86
87