Make demand analysis understand catch
[ghc.git] / testsuite / tests / numeric / should_compile / T7116.stdout
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core = {terms: 32, types: 17, coercions: 0}
4
5 -- RHS size: {terms: 2, types: 0, coercions: 0}
6 T7116.$trModule2 :: GHC.Types.TrName
7 [GblId,
8  Caf=NoCafRefs,
9  Str=DmdType m1,
10  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
11          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 20}]
12 T7116.$trModule2 = GHC.Types.TrNameS "main"#
13
14 -- RHS size: {terms: 2, types: 0, coercions: 0}
15 T7116.$trModule1 :: GHC.Types.TrName
16 [GblId,
17  Caf=NoCafRefs,
18  Str=DmdType m1,
19  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
20          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 40 20}]
21 T7116.$trModule1 = GHC.Types.TrNameS "T7116"#
22
23 -- RHS size: {terms: 3, types: 0, coercions: 0}
24 T7116.$trModule :: GHC.Types.Module
25 [GblId[ReflectionId],
26  Caf=NoCafRefs,
27  Str=DmdType m,
28  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
29          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
30 T7116.$trModule =
31   GHC.Types.Module T7116.$trModule2 T7116.$trModule1
32
33 -- RHS size: {terms: 8, types: 3, coercions: 0}
34 dr :: Double -> Double
35 [GblId,
36  Arity=1,
37  Caf=NoCafRefs,
38  Str=DmdType <S(S),1*U(U)>m,
39  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
40          WorkFree=True, Expandable=True,
41          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
42          Tmpl= \ (x [Occ=Once!] :: Double) ->
43                  case x of _ [Occ=Dead] { GHC.Types.D# x1 ->
44                  GHC.Types.D# (GHC.Prim.+## x1 x1)
45                  }}]
46 dr =
47   \ (x :: Double) ->
48     case x of _ [Occ=Dead] { GHC.Types.D# x1 ->
49     GHC.Types.D# (GHC.Prim.+## x1 x1)
50     }
51
52 -- RHS size: {terms: 1, types: 0, coercions: 0}
53 dl :: Double -> Double
54 [GblId,
55  Arity=1,
56  Caf=NoCafRefs,
57  Str=DmdType <S(S),1*U(U)>m,
58  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
59          WorkFree=True, Expandable=True,
60          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
61          Tmpl= \ (x [Occ=Once!] :: Double) ->
62                  case x of _ [Occ=Dead] { GHC.Types.D# y ->
63                  GHC.Types.D# (GHC.Prim.+## y y)
64                  }}]
65 dl = dr
66
67 -- RHS size: {terms: 8, types: 3, coercions: 0}
68 fr :: Float -> Float
69 [GblId,
70  Arity=1,
71  Caf=NoCafRefs,
72  Str=DmdType <S(S),1*U(U)>m,
73  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
74          WorkFree=True, Expandable=True,
75          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
76          Tmpl= \ (x [Occ=Once!] :: Float) ->
77                  case x of _ [Occ=Dead] { GHC.Types.F# x1 ->
78                  GHC.Types.F# (GHC.Prim.plusFloat# x1 x1)
79                  }}]
80 fr =
81   \ (x :: Float) ->
82     case x of _ [Occ=Dead] { GHC.Types.F# x1 ->
83     GHC.Types.F# (GHC.Prim.plusFloat# x1 x1)
84     }
85
86 -- RHS size: {terms: 1, types: 0, coercions: 0}
87 fl :: Float -> Float
88 [GblId,
89  Arity=1,
90  Caf=NoCafRefs,
91  Str=DmdType <S(S),1*U(U)>m,
92  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
93          WorkFree=True, Expandable=True,
94          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
95          Tmpl= \ (x [Occ=Once!] :: Float) ->
96                  case x of _ [Occ=Dead] { GHC.Types.F# y ->
97                  GHC.Types.F# (GHC.Prim.plusFloat# y y)
98                  }}]
99 fl = fr
100
101
102