520460da36276d1c8777fc3764e79015e6490f2b
[ghc.git] / testsuite / tests / numeric / should_compile / T7116.stdout
1 \r
2 ==================== Tidy Core ====================\r
3 Result size of Tidy Core = {terms: 22, types: 14, coercions: 0}\r
4 \r
5 dl :: Double -> Double\r
6 [GblId,\r
7  Arity=1,\r
8  Caf=NoCafRefs,\r
9  Str=DmdType <S,1*U(U)>m,\r
10  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,\r
11          WorkFree=True, Expandable=True,\r
12          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)\r
13          Tmpl= \ (x [Occ=Once!] :: Double) ->\r
14                  case x of _ [Occ=Dead] { D# y -> D# (+## y y) }}]\r
15 dl =\r
16   \ (x :: Double) -> case x of _ [Occ=Dead] { D# y -> D# (+## y y) }\r
17 \r
18 dr :: Double -> Double\r
19 [GblId,\r
20  Arity=1,\r
21  Caf=NoCafRefs,\r
22  Str=DmdType <S,1*U(U)>m,\r
23  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,\r
24          WorkFree=True, Expandable=True,\r
25          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)\r
26          Tmpl= \ (x [Occ=Once!] :: Double) ->\r
27                  case x of _ [Occ=Dead] { D# x1 -> D# (+## x1 x1) }}]\r
28 dr = dl\r
29 \r
30 fl :: Float -> Float\r
31 [GblId,\r
32  Arity=1,\r
33  Caf=NoCafRefs,\r
34  Str=DmdType <S,1*U(U)>m,\r
35  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,\r
36          WorkFree=True, Expandable=True,\r
37          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)\r
38          Tmpl= \ (x [Occ=Once!] :: Float) ->\r
39                  case x of _ [Occ=Dead] { F# y -> F# (plusFloat# y y) }}]\r
40 fl =\r
41   \ (x :: Float) ->\r
42     case x of _ [Occ=Dead] { F# y -> F# (plusFloat# y y) }\r
43 \r
44 fr :: Float -> Float\r
45 [GblId,\r
46  Arity=1,\r
47  Caf=NoCafRefs,\r
48  Str=DmdType <S,1*U(U)>m,\r
49  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,\r
50          WorkFree=True, Expandable=True,\r
51          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)\r
52          Tmpl= \ (x [Occ=Once!] :: Float) ->\r
53                  case x of _ [Occ=Dead] { F# x1 -> F# (plusFloat# x1 x1) }}]\r
54 fr = fl\r
55 \r
56 \r
57 \r