d70c0eee5595c23f5205a82bae44c1611aece9a0
[ghc.git] / testsuite / tests / simplCore / should_compile / T3772.stdout
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core = {terms: 36, types: 14, coercions: 0}
4
5 Rec {
6 -- RHS size: {terms: 10, types: 2, coercions: 0}
7 $wxs :: GHC.Prim.Int# -> ()
8 [GblId, Arity=1, Caf=NoCafRefs, Str=<S,1*U>]
9 $wxs =
10   \ (ww :: GHC.Prim.Int#) ->
11     case ww of ds1 {
12       __DEFAULT -> $wxs (GHC.Prim.-# ds1 1#);
13       1# -> GHC.Tuple.()
14     }
15 end Rec }
16
17 -- RHS size: {terms: 14, types: 5, coercions: 0}
18 foo [InlPrag=NOINLINE] :: Int -> ()
19 [GblId, Arity=1, Caf=NoCafRefs, Str=<S(S),1*U(U)>]
20 foo =
21   \ (n :: Int) ->
22     case n of { GHC.Types.I# y ->
23     case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# 0# y) of {
24       False -> GHC.Tuple.();
25       True -> $wxs y
26     }
27     }
28
29 -- RHS size: {terms: 2, types: 0, coercions: 0}
30 T3772.$trModule1 :: GHC.Types.TrName
31 [GblId,
32  Caf=NoCafRefs,
33  Str=m1,
34  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
35          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 40 20}]
36 T3772.$trModule1 = GHC.Types.TrNameS "T3772"#
37
38 -- RHS size: {terms: 2, types: 0, coercions: 0}
39 T3772.$trModule2 :: GHC.Types.TrName
40 [GblId,
41  Caf=NoCafRefs,
42  Str=m1,
43  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
44          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 20}]
45 T3772.$trModule2 = GHC.Types.TrNameS "main"#
46
47 -- RHS size: {terms: 3, types: 0, coercions: 0}
48 T3772.$trModule :: GHC.Types.Module
49 [GblId,
50  Caf=NoCafRefs,
51  Str=m,
52  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
53          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
54 T3772.$trModule =
55   GHC.Types.Module T3772.$trModule2 T3772.$trModule1
56
57
58