]> Git — Sourcephile - haskell/symantic-parser.git/blob - test/Golden/Grammar/OptimizeGrammar/G14.expected.txt
sourcephile / git / haskell / symantic-parser.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
fix: use a global polyfix for defLet and defRef
[haskell/symantic-parser.git] / test / Golden / Grammar / OptimizeGrammar / G14.expected.txt
1 lets
2 + let <hidden>
3 | ` <*>
4 | + <*>
5 | | + pure (\u1 -> (\u2 -> u2))
6 | | ` ref <hidden>
7 | ` <|>
8 | + <*>
9 | | + pure (\u1 -> Term)
10 | | ` ref <hidden>
11 | ` ref <hidden>
12 + let <hidden>
13 | ` <*>
14 | + <*>
15 | | + <*>
16 | | | + <*>
17 | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4))))
18 | | | | ` ref <hidden>
19 | | | ` ref <hidden>
20 | | ` ref <hidden>
21 | ` ref <hidden>
22 + let <hidden>
23 | ` <*>
24 | + <*>
25 | | + <*>
26 | | | + <*>
27 | | | | + <*>
28 | | | | | + <*>
29 | | | | | | + <*>
30 | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> u5)))))))
31 | | | | | | | ` satisfy
32 | | | | | | ` ref <hidden>
33 | | | | | ` ref <hidden>
34 | | | | ` ref <hidden>
35 | | | ` ref <hidden>
36 | | ` satisfy
37 | ` ref <hidden>
38 + let <hidden>
39 | ` <*>
40 | + <*>
41 | | + <*>
42 | | | + <*>
43 | | | | + <*>
44 | | | | | + <*>
45 | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Term))))))
46 | | | | | | ` satisfy
47 | | | | | ` ref <hidden>
48 | | | | ` ref <hidden>
49 | | | ` ref <hidden>
50 | | ` satisfy
51 | ` ref <hidden>
52 + let <hidden>
53 | ` <*>
54 | + <*>
55 | | + pure (\u1 -> (\u2 -> '('))
56 | | ` satisfy
57 | ` ref <hidden>
58 + let <hidden>
59 | ` <*>
60 | + <*>
61 | | + pure (\u1 -> (\u2 -> ')'))
62 | | ` satisfy
63 | ` ref <hidden>
64 + let <hidden>
65 | ` <*>
66 | + <*>
67 | | + pure (\u1 -> (\u2 -> ','))
68 | | ` satisfy
69 | ` ref <hidden>
70 + let <hidden>
71 | ` <*>
72 | + <*>
73 | | + pure (\u1 -> (\u2 -> ';'))
74 | | ` satisfy
75 | ` ref <hidden>
76 + let <hidden>
77 | ` <*>
78 | + <*>
79 | | + pure (\u1 -> (\u2 -> Term))
80 | | ` ref <hidden>
81 | ` ref <hidden>
82 + let <hidden>
83 | ` <*>
84 | + <*>
85 | | + pure (\u1 -> (\u2 -> u2))
86 | | ` satisfy
87 | ` ref <hidden>
88 + let <hidden>
89 | ` <*>
90 | + <*>
91 | | + pure (\u1 -> (\u2 -> u2))
92 | | ` try
93 | | ` <*>
94 | | + <*>
95 | | | + <*>
96 | | | | + <*>
97 | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4))))
98 | | | | | ` satisfy
99 | | | | ` ref <hidden>
100 | | | ` ref <hidden>
101 | | ` ref <hidden>
102 | ` ref <hidden>
103 + let <hidden>
104 | ` <|>
105 | + <*>
106 | | + <*>
107 | | | + pure (\u1 -> (\u2 -> u2))
108 | | | ` <|>
109 | | | + <*>
110 | | | | + pure (\u1 -> '0')
111 | | | | ` satisfy
112 | | | ` <*>
113 | | | + pure (\u1 -> '1')
114 | | | ` satisfy
115 | | ` ref <hidden>
116 | ` <|>
117 | + <*>
118 | | + <*>
119 | | | + <*>
120 | | | | + <*>
121 | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> u2))))
122 | | | | | ` satisfy
123 | | | | ` <|>
124 | | | | + <*>
125 | | | | | + <*>
126 | | | | | | + pure (\u1 -> (\u2 -> u2))
127 | | | | | | ` satisfy
128 | | | | | ` ref <hidden>
129 | | | | ` <*>
130 | | | | + <*>
131 | | | | | + <*>
132 | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> u3)))
133 | | | | | | ` satisfy
134 | | | | | ` satisfy
135 | | | | ` ref <hidden>
136 | | | ` satisfy
137 | | ` ref <hidden>
138 | ` <*>
139 | + <*>
140 | | + pure (\u1 -> (\u2 -> u2))
141 | | ` ref <hidden>
142 | ` <|>
143 | + <*>
144 | | + pure (\u1 -> Term)
145 | | ` <|>
146 | | + <*>
147 | | | + <*>
148 | | | | + <*>
149 | | | | | + pure (\u1 -> (\u2 -> (\u3 -> u2)))
150 | | | | | ` ref <hidden>
151 | | | | ` <|>
152 | | | | + <*>
153 | | | | | + <*>
154 | | | | | | + <*>
155 | | | | | | | + <*>
156 | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> Term))))
157 | | | | | | | | ` rec <hidden>
158 | | | | | | | ` ref <hidden>
159 | | | | | | ` ref <hidden>
160 | | | | | ` ref <hidden>
161 | | | | ` ref <hidden>
162 | | | ` ref <hidden>
163 | | ` ref <hidden>
164 | ` ref <hidden>
165 + let <hidden>
166 | ` <|>
167 | + <*>
168 | | + <*>
169 | | | + <*>
170 | | | | + <*>
171 | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
172 | | | | | ` ref <hidden>
173 | | | | ` ref <hidden>
174 | | | ` rec <hidden>
175 | | ` rec <hidden>
176 | ` pure (\u1 -> u1)
177 + let <hidden>
178 | ` <|>
179 | + <*>
180 | | + <*>
181 | | | + <*>
182 | | | | + <*>
183 | | | | | + <*>
184 | | | | | | + <*>
185 | | | | | | | + <*>
186 | | | | | | | | + <*>
187 | | | | | | | | | + <*>
188 | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> (\u9 -> (\u10 -> u9 u10))))))))))
189 | | | | | | | | | | ` try
190 | | | | | | | | | | ` <*>
191 | | | | | | | | | | + <*>
192 | | | | | | | | | | | + <*>
193 | | | | | | | | | | | | + <*>
194 | | | | | | | | | | | | | + <*>
195 | | | | | | | | | | | | | | + <*>
196 | | | | | | | | | | | | | | | + <*>
197 | | | | | | | | | | | | | | | | + <*>
198 | | | | | | | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> 'f' : ('u' : ('n' : ('c' : ('t' : ('i' : ('o' : ('n' : Term)))))))))))))))
199 | | | | | | | | | | | | | | | | | ` satisfy
200 | | | | | | | | | | | | | | | | ` satisfy
201 | | | | | | | | | | | | | | | ` satisfy
202 | | | | | | | | | | | | | | ` satisfy
203 | | | | | | | | | | | | | ` satisfy
204 | | | | | | | | | | | | ` satisfy
205 | | | | | | | | | | | ` satisfy
206 | | | | | | | | | | ` satisfy
207 | | | | | | | | | ` ref <hidden>
208 | | | | | | | | ` ref <hidden>
209 | | | | | | | ` ref <hidden>
210 | | | | | | ` ref <hidden>
211 | | | | | ` <|>
212 | | | | | + <*>
213 | | | | | | + <*>
214 | | | | | | | + <*>
215 | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> Term)))
216 | | | | | | | | ` satisfy
217 | | | | | | | ` ref <hidden>
218 | | | | | | ` ref <hidden>
219 | | | | | ` ref <hidden>
220 | | | | ` ref <hidden>
221 | | | ` ref <hidden>
222 | | ` rec <hidden>
223 | ` pure (\u1 -> u1)
224 + let <hidden>
225 | ` <|>
226 | + <*>
227 | | + <*>
228 | | | + <*>
229 | | | | + <*>
230 | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
231 | | | | | ` ref <hidden>
232 | | | | ` ref <hidden>
233 | | | ` ref <hidden>
234 | | ` rec <hidden>
235 | ` pure (\u1 -> u1)
236 + let <hidden>
237 | ` <|>
238 | + <*>
239 | | + <*>
240 | | | + <*>
241 | | | | + <*>
242 | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
243 | | | | | ` ref <hidden>
244 | | | | ` ref <hidden>
245 | | | ` ref <hidden>
246 | | ` rec <hidden>
247 | ` pure (\u1 -> u1)
248 + let <hidden>
249 | ` <|>
250 | + <*>
251 | | + <*>
252 | | | + <*>
253 | | | | + <*>
254 | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
255 | | | | | ` ref <hidden>
256 | | | | ` ref <hidden>
257 | | | ` ref <hidden>
258 | | ` rec <hidden>
259 | ` pure (\u1 -> u1)
260 + let <hidden>
261 | ` <|>
262 | + <*>
263 | | + <*>
264 | | | + <*>
265 | | | | + <*>
266 | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> u4 u5)))))
267 | | | | | ` satisfy
268 | | | | ` ref <hidden>
269 | | | ` ref <hidden>
270 | | ` rec <hidden>
271 | ` pure (\u1 -> u1)
272 + let <hidden>
273 | ` <|>
274 | + <*>
275 | | + <*>
276 | | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3)))
277 | | | ` <|>
278 | | | + <*>
279 | | | | + <*>
280 | | | | | + pure (\u1 -> (\u2 -> u2))
281 | | | | | ` try
282 | | | | | ` <*>
283 | | | | | + <*>
284 | | | | | | + pure (\u1 -> (\u2 -> 'i' : ('f' : Term)))
285 | | | | | | ` satisfy
286 | | | | | ` satisfy
287 | | | | ` ref <hidden>
288 | | | ` <|>
289 | | | + <*>
290 | | | | + <*>
291 | | | | | + <*>
292 | | | | | | + <*>
293 | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4))))
294 | | | | | | | ` try
295 | | | | | | | ` <*>
296 | | | | | | | + <*>
297 | | | | | | | | + <*>
298 | | | | | | | | | + <*>
299 | | | | | | | | | | + <*>
300 | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> 'w' : ('h' : ('i' : ('l' : ('e' : Term)))))))))
301 | | | | | | | | | | | ` satisfy
302 | | | | | | | | | | ` satisfy
303 | | | | | | | | | ` satisfy
304 | | | | | | | | ` satisfy
305 | | | | | | | ` satisfy
306 | | | | | | ` ref <hidden>
307 | | | | | ` ref <hidden>
308 | | | | ` rec <hidden>
309 | | | ` <|>
310 | | | + try
311 | | | | ` <*>
312 | | | | + <*>
313 | | | | | + <*>
314 | | | | | | + <*>
315 | | | | | | | + <*>
316 | | | | | | | | + <*>
317 | | | | | | | | | + <*>
318 | | | | | | | | | | + <*>
319 | | | | | | | | | | | + <*>
320 | | | | | | | | | | | | + <*>
321 | | | | | | | | | | | | | + <*>
322 | | | | | | | | | | | | | | + <*>
323 | | | | | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> (\u9 -> (\u10 -> (\u11 -> (\u12 -> u11))))))))))))
324 | | | | | | | | | | | | | | | ` <|>
325 | | | | | | | | | | | | | | | + <*>
326 | | | | | | | | | | | | | | | | + <*>
327 | | | | | | | | | | | | | | | | | + pure (\u1 -> (\u2 -> Term))
328 | | | | | | | | | | | | | | | | | ` try
329 | | | | | | | | | | | | | | | | | ` <*>
330 | | | | | | | | | | | | | | | | | + <*>
331 | | | | | | | | | | | | | | | | | | + <*>
332 | | | | | | | | | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> 'v' : ('a' : ('r' : Term)))))
333 | | | | | | | | | | | | | | | | | | | ` satisfy
334 | | | | | | | | | | | | | | | | | | ` satisfy
335 | | | | | | | | | | | | | | | | | ` satisfy
336 | | | | | | | | | | | | | | | | ` ref <hidden>
337 | | | | | | | | | | | | | | | ` ref <hidden>
338 | | | | | | | | | | | | | | ` ref <hidden>
339 | | | | | | | | | | | | | ` ref <hidden>
340 | | | | | | | | | | | | ` ref <hidden>
341 | | | | | | | | | | | ` ref <hidden>
342 | | | | | | | | | | ` satisfy
343 | | | | | | | | | ` ref <hidden>
344 | | | | | | | | ` ref <hidden>
345 | | | | | | | ` ref <hidden>
346 | | | | | | ` ref <hidden>
347 | | | | | ` ref <hidden>
348 | | | | ` ref <hidden>
349 | | | ` <*>
350 | | | + <*>
351 | | | | + pure (\u1 -> (\u2 -> u1))
352 | | | | ` ref <hidden>
353 | | | ` ref <hidden>
354 | | ` rec <hidden>
355 | ` pure (\u1 -> u1)
356 + let <hidden>
357 | ` <|>
358 | + <*>
359 | | + <*>
360 | | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3)))
361 | | | ` ref <hidden>
362 | | ` rec <hidden>
363 | ` pure (\u1 -> u1)
364 + let <hidden>
365 | ` <|>
366 | + <*>
367 | | + <*>
368 | | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3)))
369 | | | ` ref <hidden>
370 | | ` rec <hidden>
371 | ` pure (\u1 -> u1)
372 + let <hidden>
373 | ` <|>
374 | + <*>
375 | | + <*>
376 | | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3)))
377 | | | ` satisfy
378 | | ` rec <hidden>
379 | ` pure (\u1 -> u1)
380 + let <hidden>
381 | ` <|>
382 | + <*>
383 | | + <*>
384 | | | + <*>
385 | | | | + <*>
386 | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> Term))))
387 | | | | | ` ref <hidden>
388 | | | | ` ref <hidden>
389 | | | ` ref <hidden>
390 | | ` ref <hidden>
391 | ` ref <hidden>
392 + let <hidden>
393 | ` pure (\u1 -> (\u2 -> u2))
394 + let <hidden>
395 | ` pure Term
396 + let <hidden>
397 | ` pure Term
398 + let <hidden>
399 | ` satisfy
400 ` <*>
401 + <*>
402 | + <*>
403 | | + <*>
404 | | | + <*>
405 | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> u4)))))
406 | | | | ` ref <hidden>
407 | | | ` ref <hidden>
408 | | ` ref <hidden>
409 | ` ref <hidden>
410 ` eof
Library for parsing