ea9fb3eb866816a3bcc24a0755ba9c47485bed7e
[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=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=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,
26  Caf=NoCafRefs,
27  Str=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=<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 { GHC.Types.D# x1 ->
44                  GHC.Types.D# (GHC.Prim.+## x1 x1)
45                  }}]
46 dr =
47   \ (x :: Double) ->
48     case x of { GHC.Types.D# x1 -> GHC.Types.D# (GHC.Prim.+## x1 x1) }
49
50 -- RHS size: {terms: 1, types: 0, coercions: 0}
51 dl :: Double -> Double
52 [GblId,
53  Arity=1,
54  Caf=NoCafRefs,
55  Str=<S(S),1*U(U)>m,
56  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
57          WorkFree=True, Expandable=True,
58          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
59          Tmpl= \ (x [Occ=Once!] :: Double) ->
60                  case x of { GHC.Types.D# y -> GHC.Types.D# (GHC.Prim.+## y y) }}]
61 dl = dr
62
63 -- RHS size: {terms: 8, types: 3, coercions: 0}
64 fr :: Float -> Float
65 [GblId,
66  Arity=1,
67  Caf=NoCafRefs,
68  Str=<S(S),1*U(U)>m,
69  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
70          WorkFree=True, Expandable=True,
71          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
72          Tmpl= \ (x [Occ=Once!] :: Float) ->
73                  case x of { GHC.Types.F# x1 ->
74                  GHC.Types.F# (GHC.Prim.plusFloat# x1 x1)
75                  }}]
76 fr =
77   \ (x :: Float) ->
78     case x of { GHC.Types.F# x1 ->
79     GHC.Types.F# (GHC.Prim.plusFloat# x1 x1)
80     }
81
82 -- RHS size: {terms: 1, types: 0, coercions: 0}
83 fl :: Float -> Float
84 [GblId,
85  Arity=1,
86  Caf=NoCafRefs,
87  Str=<S(S),1*U(U)>m,
88  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
89          WorkFree=True, Expandable=True,
90          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
91          Tmpl= \ (x [Occ=Once!] :: Float) ->
92                  case x of { GHC.Types.F# y ->
93                  GHC.Types.F# (GHC.Prim.plusFloat# y y)
94                  }}]
95 fl = fr
96
97
98