Allow CSE'ing of work-wrapped bindings (#14186)
[ghc.git] / testsuite / tests / simplCore / should_compile / T14186.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core
4   = {terms: 36, types: 68, coercions: 0, joins: 0/0}
5
6 -- RHS size: {terms: 19, types: 27, coercions: 0, joins: 0/0}
7 foo [InlPrag=[0]]
8   :: forall t1 b t2.
9      (t1 -> b) -> (t2 -> t1) -> (t2, [t2]) -> (b, [b])
10 [GblId,
11  Arity=3,
12  Caf=NoCafRefs,
13  Str=<L,C(U)><L,C(U)><S,1*U(U,1*U)>m,
14  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
15          WorkFree=True, Expandable=True,
16          Guidance=ALWAYS_IF(arity=3,unsat_ok=True,boring_ok=False)
17          Tmpl= \ (@ t_sZi)
18                  (@ b_sZj)
19                  (@ t1_sZk)
20                  (w_sZl :: t_sZi -> b_sZj)
21                  (w1_sZm :: t1_sZk -> t_sZi)
22                  (w2_sZn [Occ=Once!] :: (t1_sZk, [t1_sZk])) ->
23                  case w2_sZn of { (ww1_sZq [Occ=Once], ww2_sZr [Occ=Once]) ->
24                  (w_sZl (w1_sZm ww1_sZq),
25                   map
26                     @ t1_sZk
27                     @ b_sZj
28                     (\ (x_aXa [Occ=Once] :: t1_sZk) -> w_sZl (w1_sZm x_aXa))
29                     ww2_sZr)
30                  }}]
31 foo
32   = \ (@ t_sZi)
33       (@ b_sZj)
34       (@ t1_sZk)
35       (w_sZl :: t_sZi -> b_sZj)
36       (w1_sZm :: t1_sZk -> t_sZi)
37       (w2_sZn :: (t1_sZk, [t1_sZk])) ->
38       case w2_sZn of { (ww1_sZq, ww2_sZr) ->
39       (w_sZl (w1_sZm ww1_sZq),
40        map
41          @ t1_sZk
42          @ b_sZj
43          (\ (x_aXa :: t1_sZk) -> w_sZl (w1_sZm x_aXa))
44          ww2_sZr)
45       }
46
47 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
48 bar [InlPrag=[0]]
49   :: forall t1 b t2.
50      (t1 -> b) -> (t2 -> t1) -> (t2, [t2]) -> (b, [b])
51 [GblId,
52  Arity=3,
53  Caf=NoCafRefs,
54  Str=<L,C(U)><L,C(U)><S,1*U(U,1*U)>m,
55  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
56          WorkFree=True, Expandable=True,
57          Guidance=ALWAYS_IF(arity=3,unsat_ok=True,boring_ok=False)
58          Tmpl= \ (@ t_sZx)
59                  (@ b_sZy)
60                  (@ t1_sZz)
61                  (w_sZA :: t_sZx -> b_sZy)
62                  (w1_sZB :: t1_sZz -> t_sZx)
63                  (w2_sZC [Occ=Once!] :: (t1_sZz, [t1_sZz])) ->
64                  case w2_sZC of { (ww1_sZF [Occ=Once], ww2_sZG [Occ=Once]) ->
65                  (w_sZA (w1_sZB ww1_sZF),
66                   map
67                     @ t1_sZz
68                     @ b_sZy
69                     (\ (x_aXa [Occ=Once] :: t1_sZz) -> w_sZA (w1_sZB x_aXa))
70                     ww2_sZG)
71                  }}]
72 bar = foo
73
74 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
75 T14186.$trModule4 :: GHC.Prim.Addr#
76 [GblId,
77  Caf=NoCafRefs,
78  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
79          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
80 T14186.$trModule4 = "main"#
81
82 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
83 T14186.$trModule3 :: GHC.Types.TrName
84 [GblId,
85  Caf=NoCafRefs,
86  Str=m1,
87  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
88          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
89 T14186.$trModule3 = GHC.Types.TrNameS T14186.$trModule4
90
91 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
92 T14186.$trModule2 :: GHC.Prim.Addr#
93 [GblId,
94  Caf=NoCafRefs,
95  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
96          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 0}]
97 T14186.$trModule2 = "T14186"#
98
99 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
100 T14186.$trModule1 :: GHC.Types.TrName
101 [GblId,
102  Caf=NoCafRefs,
103  Str=m1,
104  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
105          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
106 T14186.$trModule1 = GHC.Types.TrNameS T14186.$trModule2
107
108 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
109 T14186.$trModule :: GHC.Types.Module
110 [GblId,
111  Caf=NoCafRefs,
112  Str=m,
113  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
114          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
115 T14186.$trModule
116   = GHC.Types.Module T14186.$trModule3 T14186.$trModule1
117
118
119