comparison tests/localfun.ur @ 1888:5f478ecf65e4

Identify more local definitions as functions that should be lifted to the top level, which has synergistic effects on inlining later
author Adam Chlipala <adam@chlipala.net>
date Tue, 05 Nov 2013 11:58:52 -0500
parents
children
comparison
equal deleted inserted replaced
1887:2e6795cc992f 1888:5f478ecf65e4
1 fun boom s =
2 let
3 val bonk =
4 debug s;
5 debug s;
6 debug s;
7 debug s;
8 debug s;
9 debug s;
10 debug s;
11 debug s;
12 debug s;
13 debug s;
14 debug s;
15 debug s;
16 debug s;
17 debug s;
18 debug s;
19 debug s;
20 debug s;
21 debug s;
22 debug s;
23 debug s;
24 debug s;
25 debug s;
26 debug s;
27 debug s;
28 debug s;
29 debug s;
30 debug s;
31 debug s;
32 debug s;
33 debug s;
34 debug s;
35 debug s;
36 debug s;
37 debug s;
38 debug s;
39 debug s;
40 debug s;
41 debug s;
42 debug s;
43 debug s;
44 debug s;
45 debug s;
46 debug s;
47 debug s;
48 debug s;
49 debug s;
50 debug s;
51 debug s;
52 debug s;
53 debug s;
54 debug s;
55 debug s;
56 debug s;
57 debug s;
58 debug s;
59 debug s;
60 debug s;
61 debug s;
62 debug s
63
64 val boonk = fn () =>
65 debug s;
66 debug s;
67 debug s;
68 debug s;
69 debug s;
70 debug s;
71 debug s;
72 debug s;
73 debug s;
74 debug s;
75 debug s;
76 debug s;
77 debug s;
78 debug s;
79 debug s;
80 debug s;
81 debug s;
82 debug s;
83 debug s;
84 debug s;
85 debug s;
86 debug s;
87 debug s;
88 debug s;
89 debug s;
90 debug s;
91 debug s;
92 debug s;
93 debug s;
94 debug s;
95 debug s;
96 debug s;
97 debug s;
98 debug s;
99 debug s;
100 debug s;
101 debug s;
102 debug s;
103 debug s;
104 debug s;
105 debug s;
106 debug s;
107 debug s;
108 debug s;
109 debug s;
110 debug s;
111 debug s;
112 debug s;
113 debug s;
114 debug s;
115 debug s;
116 debug s;
117 debug s;
118 debug s;
119 debug s;
120 debug s;
121 debug s;
122 debug s;
123 debug s
124
125 fun booonk () =
126 debug s;
127 debug s;
128 debug s;
129 debug s;
130 debug s;
131 debug s;
132 debug s;
133 debug s;
134 debug s;
135 debug s;
136 debug s;
137 debug s;
138 debug s;
139 debug s;
140 debug s;
141 debug s;
142 debug s;
143 debug s;
144 debug s;
145 debug s;
146 debug s;
147 debug s;
148 debug s;
149 debug s;
150 debug s;
151 debug s;
152 debug s;
153 debug s;
154 debug s;
155 debug s;
156 debug s;
157 debug s;
158 debug s;
159 debug s;
160 debug s;
161 debug s;
162 debug s;
163 debug s;
164 debug s;
165 debug s;
166 debug s;
167 debug s;
168 debug s;
169 debug s;
170 debug s;
171 debug s;
172 debug s;
173 debug s;
174 debug s;
175 debug s;
176 debug s;
177 debug s;
178 debug s;
179 debug s;
180 debug s;
181 debug s;
182 debug s;
183 debug s;
184 debug s
185 in
186 bonk; bonk; boonk (); boonk (); booonk (); booonk ()
187 end
188
189 fun main () : transaction page =
190 boom "test";
191 return <xml/>