Make demand analysis understand catch
[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=DmdType <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=DmdType <S(S),1*U(U)>]
20 foo =
21   \ (n :: Int) ->
22     case n of _ [Occ=Dead] { GHC.Types.I# y ->
23     case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# 0# y)
24     of _ [Occ=Dead] {
25       False -> GHC.Tuple.();
26       True -> $wxs y
27     }
28     }
29
30 -- RHS size: {terms: 2, types: 0, coercions: 0}
31 T3772.$trModule1 :: GHC.Types.TrName
32 [GblId,
33  Caf=NoCafRefs,
34  Str=DmdType m1,
35  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
36          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 40 20}]
37 T3772.$trModule1 = GHC.Types.TrNameS "T3772"#
38
39 -- RHS size: {terms: 2, types: 0, coercions: 0}
40 T3772.$trModule2 :: GHC.Types.TrName
41 [GblId,
42  Caf=NoCafRefs,
43  Str=DmdType m1,
44  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
45          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 20}]
46 T3772.$trModule2 = GHC.Types.TrNameS "main"#
47
48 -- RHS size: {terms: 3, types: 0, coercions: 0}
49 T3772.$trModule :: GHC.Types.Module
50 [GblId[ReflectionId],
51  Caf=NoCafRefs,
52  Str=DmdType m,
53  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
54          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
55 T3772.$trModule =
56   GHC.Types.Module T3772.$trModule2 T3772.$trModule1
57
58
59