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