Generate Typeable info at definition sites
[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 :: TrName
7 [GblId,
8  Caf=NoCafRefs,
9  Str=DmdType 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 = TrNameS "main"#
13
14 -- RHS size: {terms: 2, types: 0, coercions: 0}
15 T7116.$trModule1 :: TrName
16 [GblId,
17  Caf=NoCafRefs,
18  Str=DmdType 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 = TrNameS "T7116"#
22
23 -- RHS size: {terms: 3, types: 0, coercions: 0}
24 T7116.$trModule :: Module
25 [GblId[ReflectionId],
26  Caf=NoCafRefs,
27  Str=DmdType 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 = Module T7116.$trModule2 T7116.$trModule1
31
32 -- RHS size: {terms: 8, types: 3, coercions: 0}
33 dr :: Double -> Double
34 [GblId,
35  Arity=1,
36  Caf=NoCafRefs,
37  Str=DmdType <S,1*U(U)>m,
38  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
39          WorkFree=True, Expandable=True,
40          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
41          Tmpl= \ (x [Occ=Once!] :: Double) ->
42                  case x of _ [Occ=Dead] { D# x1 -> D# (+## x1 x1) }}]
43 dr =
44   \ (x :: Double) ->
45     case x of _ [Occ=Dead] { D# x1 -> D# (+## x1 x1) }
46
47 -- RHS size: {terms: 1, types: 0, coercions: 0}
48 dl :: Double -> Double
49 [GblId,
50  Arity=1,
51  Caf=NoCafRefs,
52  Str=DmdType <S,1*U(U)>m,
53  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
54          WorkFree=True, Expandable=True,
55          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
56          Tmpl= \ (x [Occ=Once!] :: Double) ->
57                  case x of _ [Occ=Dead] { D# y -> D# (+## y y) }}]
58 dl = dr
59
60 -- RHS size: {terms: 8, types: 3, coercions: 0}
61 fr :: Float -> Float
62 [GblId,
63  Arity=1,
64  Caf=NoCafRefs,
65  Str=DmdType <S,1*U(U)>m,
66  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
67          WorkFree=True, Expandable=True,
68          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
69          Tmpl= \ (x [Occ=Once!] :: Float) ->
70                  case x of _ [Occ=Dead] { F# x1 -> F# (plusFloat# x1 x1) }}]
71 fr =
72   \ (x :: Float) ->
73     case x of _ [Occ=Dead] { F# x1 -> F# (plusFloat# x1 x1) }
74
75 -- RHS size: {terms: 1, types: 0, coercions: 0}
76 fl :: Float -> Float
77 [GblId,
78  Arity=1,
79  Caf=NoCafRefs,
80  Str=DmdType <S,1*U(U)>m,
81  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
82          WorkFree=True, Expandable=True,
83          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
84          Tmpl= \ (x [Occ=Once!] :: Float) ->
85                  case x of _ [Occ=Dead] { F# y -> F# (plusFloat# y y) }}]
86 fl = fr
87
88
89