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