9f7837bdc7fdbaaaeff48a8e945c46168b93ab87
[ghc.git] / testsuite / tests / numeric / should_compile / T7116.stdout
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core = {terms: 46, types: 23, 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: 8, types: 3, 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 =
62   \ (x :: Double) ->
63     case x of { GHC.Types.D# y -> GHC.Types.D# (GHC.Prim.+## y y) }
64
65 -- RHS size: {terms: 8, types: 3, coercions: 0}
66 fr :: Float -> Float
67 [GblId,
68  Arity=1,
69  Caf=NoCafRefs,
70  Str=<S(S),1*U(U)>m,
71  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
72          WorkFree=True, Expandable=True,
73          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
74          Tmpl= \ (x [Occ=Once!] :: Float) ->
75                  case x of { GHC.Types.F# x1 ->
76                  GHC.Types.F# (GHC.Prim.plusFloat# x1 x1)
77                  }}]
78 fr =
79   \ (x :: Float) ->
80     case x of { GHC.Types.F# x1 ->
81     GHC.Types.F# (GHC.Prim.plusFloat# x1 x1)
82     }
83
84 -- RHS size: {terms: 8, types: 3, coercions: 0}
85 fl :: Float -> Float
86 [GblId,
87  Arity=1,
88  Caf=NoCafRefs,
89  Str=<S(S),1*U(U)>m,
90  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
91          WorkFree=True, Expandable=True,
92          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
93          Tmpl= \ (x [Occ=Once!] :: Float) ->
94                  case x of { GHC.Types.F# y ->
95                  GHC.Types.F# (GHC.Prim.plusFloat# y y)
96                  }}]
97 fl =
98   \ (x :: Float) ->
99     case x of { GHC.Types.F# y ->
100     GHC.Types.F# (GHC.Prim.plusFloat# y y)
101     }
102
103
104