SCM Repository
Annotation of /sml/trunk/src/compiler/Parse/parse/ml.grm.desc
Parent Directory
|
Revision Log
Revision 205 - (view) (download)
1 : | monnier | 205 | 2 shift/reduce conflicts |
2 : | |||
3 : | error: state 139: shift/reduce conflict (shift BAR, reduce by rule 32) | ||
4 : | error: state 473: shift/reduce conflict (shift AND, reduce by rule 226) | ||
5 : | |||
6 : | state 0: | ||
7 : | |||
8 : | interdec : . sdecs' | ||
9 : | interdec : . exp | ||
10 : | |||
11 : | ID shift 49 | ||
12 : | INT shift 48 | ||
13 : | INT0 shift 47 | ||
14 : | WORD shift 46 | ||
15 : | REAL shift 45 | ||
16 : | STRING shift 44 | ||
17 : | CHAR shift 43 | ||
18 : | ABSTYPE shift 42 | ||
19 : | CASE shift 41 | ||
20 : | DATATYPE shift 40 | ||
21 : | EQUALOP shift 39 | ||
22 : | EXCEPTION shift 38 | ||
23 : | FN shift 37 | ||
24 : | FUN shift 36 | ||
25 : | FUNCTOR shift 35 | ||
26 : | HASH shift 34 | ||
27 : | IF shift 33 | ||
28 : | INFIX shift 32 | ||
29 : | INFIXR shift 31 | ||
30 : | LET shift 30 | ||
31 : | LOCAL shift 29 | ||
32 : | NONFIX shift 28 | ||
33 : | OP shift 27 | ||
34 : | OPEN shift 26 | ||
35 : | OVERLOAD shift 25 | ||
36 : | RAISE shift 24 | ||
37 : | SIGNATURE shift 23 | ||
38 : | STRUCTURE shift 22 | ||
39 : | TYPE shift 21 | ||
40 : | VAL shift 20 | ||
41 : | WHILE shift 19 | ||
42 : | ASTERISK shift 18 | ||
43 : | LBRACE shift 17 | ||
44 : | LBRACKET shift 16 | ||
45 : | LPAREN shift 15 | ||
46 : | FUNSIG shift 14 | ||
47 : | VECTORSTART shift 13 | ||
48 : | BEGINQ shift 12 | ||
49 : | AQID shift 11 | ||
50 : | |||
51 : | ident goto 10 | ||
52 : | int goto 9 | ||
53 : | exp goto 8 | ||
54 : | app_exp goto 7 | ||
55 : | aexp goto 6 | ||
56 : | quote goto 5 | ||
57 : | fixity goto 4 | ||
58 : | ldec goto 3 | ||
59 : | sdec goto 2 | ||
60 : | sdecs' goto 1 | ||
61 : | interdec goto 554 | ||
62 : | |||
63 : | . error | ||
64 : | |||
65 : | |||
66 : | state 1: | ||
67 : | |||
68 : | interdec : sdecs' . (reduce by rule 279) | ||
69 : | |||
70 : | |||
71 : | |||
72 : | . reduce by rule 279 | ||
73 : | |||
74 : | |||
75 : | state 2: | ||
76 : | |||
77 : | sdecs' : sdec . sdecs' | ||
78 : | sdecs' : sdec . (reduce by rule 256) | ||
79 : | |||
80 : | ABSTYPE shift 42 | ||
81 : | DATATYPE shift 40 | ||
82 : | EXCEPTION shift 38 | ||
83 : | FUN shift 36 | ||
84 : | FUNCTOR shift 35 | ||
85 : | INFIX shift 32 | ||
86 : | INFIXR shift 31 | ||
87 : | LOCAL shift 29 | ||
88 : | NONFIX shift 28 | ||
89 : | OPEN shift 26 | ||
90 : | OVERLOAD shift 25 | ||
91 : | SIGNATURE shift 23 | ||
92 : | STRUCTURE shift 22 | ||
93 : | TYPE shift 21 | ||
94 : | VAL shift 20 | ||
95 : | FUNSIG shift 14 | ||
96 : | |||
97 : | fixity goto 4 | ||
98 : | ldec goto 3 | ||
99 : | sdec goto 2 | ||
100 : | sdecs' goto 50 | ||
101 : | |||
102 : | . reduce by rule 256 | ||
103 : | |||
104 : | |||
105 : | state 3: | ||
106 : | |||
107 : | sdec : ldec . (reduce by rule 266) | ||
108 : | |||
109 : | |||
110 : | |||
111 : | . reduce by rule 266 | ||
112 : | |||
113 : | |||
114 : | state 4: | ||
115 : | |||
116 : | ldec : fixity . ops | ||
117 : | |||
118 : | ID shift 53 | ||
119 : | EQUALOP shift 39 | ||
120 : | ASTERISK shift 18 | ||
121 : | |||
122 : | ident goto 52 | ||
123 : | ops goto 51 | ||
124 : | |||
125 : | . error | ||
126 : | |||
127 : | |||
128 : | state 5: | ||
129 : | |||
130 : | aexp : quote . (reduce by rule 73) | ||
131 : | |||
132 : | |||
133 : | |||
134 : | . reduce by rule 73 | ||
135 : | |||
136 : | |||
137 : | state 6: | ||
138 : | |||
139 : | app_exp : aexp . (reduce by rule 50) | ||
140 : | app_exp : aexp . app_exp | ||
141 : | |||
142 : | ID shift 49 | ||
143 : | INT shift 48 | ||
144 : | INT0 shift 47 | ||
145 : | WORD shift 46 | ||
146 : | REAL shift 45 | ||
147 : | STRING shift 44 | ||
148 : | CHAR shift 43 | ||
149 : | EQUALOP shift 39 | ||
150 : | HASH shift 34 | ||
151 : | LET shift 30 | ||
152 : | OP shift 27 | ||
153 : | ASTERISK shift 18 | ||
154 : | LBRACE shift 17 | ||
155 : | LBRACKET shift 16 | ||
156 : | LPAREN shift 15 | ||
157 : | VECTORSTART shift 13 | ||
158 : | BEGINQ shift 12 | ||
159 : | AQID shift 11 | ||
160 : | |||
161 : | ident goto 10 | ||
162 : | int goto 9 | ||
163 : | app_exp goto 54 | ||
164 : | aexp goto 6 | ||
165 : | quote goto 5 | ||
166 : | |||
167 : | . reduce by rule 50 | ||
168 : | |||
169 : | |||
170 : | state 7: | ||
171 : | |||
172 : | exp : app_exp . (reduce by rule 44) | ||
173 : | |||
174 : | |||
175 : | |||
176 : | . reduce by rule 44 | ||
177 : | |||
178 : | |||
179 : | state 8: | ||
180 : | |||
181 : | exp : exp . HANDLE match | ||
182 : | exp : exp . ORELSE exp | ||
183 : | exp : exp . ANDALSO exp | ||
184 : | exp : exp . COLON ty | ||
185 : | interdec : exp . (reduce by rule 280) | ||
186 : | |||
187 : | HANDLE shift 58 | ||
188 : | COLON shift 57 | ||
189 : | ORELSE shift 56 | ||
190 : | ANDALSO shift 55 | ||
191 : | |||
192 : | |||
193 : | . reduce by rule 280 | ||
194 : | |||
195 : | |||
196 : | state 9: | ||
197 : | |||
198 : | aexp : int . (reduce by rule 56) | ||
199 : | |||
200 : | |||
201 : | |||
202 : | . reduce by rule 56 | ||
203 : | |||
204 : | |||
205 : | state 10: | ||
206 : | |||
207 : | app_exp : ident . (reduce by rule 51) | ||
208 : | app_exp : ident . app_exp | ||
209 : | |||
210 : | ID shift 49 | ||
211 : | INT shift 48 | ||
212 : | INT0 shift 47 | ||
213 : | WORD shift 46 | ||
214 : | REAL shift 45 | ||
215 : | STRING shift 44 | ||
216 : | CHAR shift 43 | ||
217 : | EQUALOP shift 39 | ||
218 : | HASH shift 34 | ||
219 : | LET shift 30 | ||
220 : | OP shift 27 | ||
221 : | ASTERISK shift 18 | ||
222 : | LBRACE shift 17 | ||
223 : | LBRACKET shift 16 | ||
224 : | LPAREN shift 15 | ||
225 : | VECTORSTART shift 13 | ||
226 : | BEGINQ shift 12 | ||
227 : | AQID shift 11 | ||
228 : | |||
229 : | ident goto 10 | ||
230 : | int goto 9 | ||
231 : | app_exp goto 59 | ||
232 : | aexp goto 6 | ||
233 : | quote goto 5 | ||
234 : | |||
235 : | . reduce by rule 51 | ||
236 : | |||
237 : | |||
238 : | state 11: | ||
239 : | |||
240 : | aexp : AQID . (reduce by rule 72) | ||
241 : | |||
242 : | |||
243 : | |||
244 : | . reduce by rule 72 | ||
245 : | |||
246 : | |||
247 : | state 12: | ||
248 : | |||
249 : | quote : BEGINQ . ENDQ | ||
250 : | quote : BEGINQ . ot_list ENDQ | ||
251 : | |||
252 : | ENDQ shift 62 | ||
253 : | OBJL shift 61 | ||
254 : | |||
255 : | ot_list goto 60 | ||
256 : | |||
257 : | . error | ||
258 : | |||
259 : | |||
260 : | state 13: | ||
261 : | |||
262 : | aexp : VECTORSTART . exp_list RBRACKET | ||
263 : | aexp : VECTORSTART . RBRACKET | ||
264 : | |||
265 : | ID shift 49 | ||
266 : | INT shift 48 | ||
267 : | INT0 shift 47 | ||
268 : | WORD shift 46 | ||
269 : | REAL shift 45 | ||
270 : | STRING shift 44 | ||
271 : | CHAR shift 43 | ||
272 : | CASE shift 41 | ||
273 : | EQUALOP shift 39 | ||
274 : | FN shift 37 | ||
275 : | HASH shift 34 | ||
276 : | IF shift 33 | ||
277 : | LET shift 30 | ||
278 : | OP shift 27 | ||
279 : | RAISE shift 24 | ||
280 : | WHILE shift 19 | ||
281 : | ASTERISK shift 18 | ||
282 : | LBRACE shift 17 | ||
283 : | LBRACKET shift 16 | ||
284 : | LPAREN shift 15 | ||
285 : | RBRACKET shift 65 | ||
286 : | VECTORSTART shift 13 | ||
287 : | BEGINQ shift 12 | ||
288 : | AQID shift 11 | ||
289 : | |||
290 : | ident goto 10 | ||
291 : | int goto 9 | ||
292 : | exp goto 64 | ||
293 : | app_exp goto 7 | ||
294 : | aexp goto 6 | ||
295 : | exp_list goto 63 | ||
296 : | quote goto 5 | ||
297 : | |||
298 : | . error | ||
299 : | |||
300 : | |||
301 : | state 14: | ||
302 : | |||
303 : | sdec : FUNSIG . fsigb | ||
304 : | |||
305 : | ID shift 53 | ||
306 : | EQUALOP shift 39 | ||
307 : | ASTERISK shift 18 | ||
308 : | |||
309 : | ident goto 67 | ||
310 : | fsigb goto 66 | ||
311 : | |||
312 : | . error | ||
313 : | |||
314 : | |||
315 : | state 15: | ||
316 : | |||
317 : | aexp : LPAREN . RPAREN | ||
318 : | aexp : LPAREN . exp_ps RPAREN | ||
319 : | aexp : LPAREN . exp_2c RPAREN | ||
320 : | |||
321 : | ID shift 49 | ||
322 : | INT shift 48 | ||
323 : | INT0 shift 47 | ||
324 : | WORD shift 46 | ||
325 : | REAL shift 45 | ||
326 : | STRING shift 44 | ||
327 : | CHAR shift 43 | ||
328 : | CASE shift 41 | ||
329 : | EQUALOP shift 39 | ||
330 : | FN shift 37 | ||
331 : | HASH shift 34 | ||
332 : | IF shift 33 | ||
333 : | LET shift 30 | ||
334 : | OP shift 27 | ||
335 : | RAISE shift 24 | ||
336 : | WHILE shift 19 | ||
337 : | ASTERISK shift 18 | ||
338 : | LBRACE shift 17 | ||
339 : | LBRACKET shift 16 | ||
340 : | LPAREN shift 15 | ||
341 : | RPAREN shift 71 | ||
342 : | VECTORSTART shift 13 | ||
343 : | BEGINQ shift 12 | ||
344 : | AQID shift 11 | ||
345 : | |||
346 : | ident goto 10 | ||
347 : | int goto 9 | ||
348 : | exp_ps goto 70 | ||
349 : | exp goto 69 | ||
350 : | app_exp goto 7 | ||
351 : | aexp goto 6 | ||
352 : | exp_2c goto 68 | ||
353 : | quote goto 5 | ||
354 : | |||
355 : | . error | ||
356 : | |||
357 : | |||
358 : | state 16: | ||
359 : | |||
360 : | aexp : LBRACKET . exp_list RBRACKET | ||
361 : | aexp : LBRACKET . RBRACKET | ||
362 : | |||
363 : | ID shift 49 | ||
364 : | INT shift 48 | ||
365 : | INT0 shift 47 | ||
366 : | WORD shift 46 | ||
367 : | REAL shift 45 | ||
368 : | STRING shift 44 | ||
369 : | CHAR shift 43 | ||
370 : | CASE shift 41 | ||
371 : | EQUALOP shift 39 | ||
372 : | FN shift 37 | ||
373 : | HASH shift 34 | ||
374 : | IF shift 33 | ||
375 : | LET shift 30 | ||
376 : | OP shift 27 | ||
377 : | RAISE shift 24 | ||
378 : | WHILE shift 19 | ||
379 : | ASTERISK shift 18 | ||
380 : | LBRACE shift 17 | ||
381 : | LBRACKET shift 16 | ||
382 : | LPAREN shift 15 | ||
383 : | RBRACKET shift 73 | ||
384 : | VECTORSTART shift 13 | ||
385 : | BEGINQ shift 12 | ||
386 : | AQID shift 11 | ||
387 : | |||
388 : | ident goto 10 | ||
389 : | int goto 9 | ||
390 : | exp goto 64 | ||
391 : | app_exp goto 7 | ||
392 : | aexp goto 6 | ||
393 : | exp_list goto 72 | ||
394 : | quote goto 5 | ||
395 : | |||
396 : | . error | ||
397 : | |||
398 : | |||
399 : | state 17: | ||
400 : | |||
401 : | aexp : LBRACE . elabels RBRACE | ||
402 : | aexp : LBRACE . RBRACE | ||
403 : | |||
404 : | ID shift 81 | ||
405 : | INT shift 80 | ||
406 : | ASTERISK shift 79 | ||
407 : | RBRACE shift 78 | ||
408 : | |||
409 : | id goto 77 | ||
410 : | selector goto 76 | ||
411 : | elabel goto 75 | ||
412 : | elabels goto 74 | ||
413 : | |||
414 : | . error | ||
415 : | |||
416 : | |||
417 : | state 18: | ||
418 : | |||
419 : | ident : ASTERISK . (reduce by rule 5) | ||
420 : | |||
421 : | |||
422 : | |||
423 : | . reduce by rule 5 | ||
424 : | |||
425 : | |||
426 : | state 19: | ||
427 : | |||
428 : | exp : WHILE . exp DO exp | ||
429 : | |||
430 : | ID shift 49 | ||
431 : | INT shift 48 | ||
432 : | INT0 shift 47 | ||
433 : | WORD shift 46 | ||
434 : | REAL shift 45 | ||
435 : | STRING shift 44 | ||
436 : | CHAR shift 43 | ||
437 : | CASE shift 41 | ||
438 : | EQUALOP shift 39 | ||
439 : | FN shift 37 | ||
440 : | HASH shift 34 | ||
441 : | IF shift 33 | ||
442 : | LET shift 30 | ||
443 : | OP shift 27 | ||
444 : | RAISE shift 24 | ||
445 : | WHILE shift 19 | ||
446 : | ASTERISK shift 18 | ||
447 : | LBRACE shift 17 | ||
448 : | LBRACKET shift 16 | ||
449 : | LPAREN shift 15 | ||
450 : | VECTORSTART shift 13 | ||
451 : | BEGINQ shift 12 | ||
452 : | AQID shift 11 | ||
453 : | |||
454 : | ident goto 10 | ||
455 : | int goto 9 | ||
456 : | exp goto 82 | ||
457 : | app_exp goto 7 | ||
458 : | aexp goto 6 | ||
459 : | quote goto 5 | ||
460 : | |||
461 : | . error | ||
462 : | |||
463 : | |||
464 : | state 20: | ||
465 : | |||
466 : | ldec : VAL . vb | ||
467 : | ldec : VAL . tyvarseq vb | ||
468 : | ldec : VAL . REC rvb | ||
469 : | ldec : VAL . REC tyvarseq rvb | ||
470 : | |||
471 : | ID shift 103 | ||
472 : | TYVAR shift 102 | ||
473 : | INT shift 48 | ||
474 : | INT0 shift 47 | ||
475 : | WORD shift 101 | ||
476 : | STRING shift 100 | ||
477 : | CHAR shift 99 | ||
478 : | LAZY shift 98 | ||
479 : | OP shift 97 | ||
480 : | REC shift 96 | ||
481 : | WILD shift 95 | ||
482 : | ASTERISK shift 79 | ||
483 : | LBRACE shift 94 | ||
484 : | LBRACKET shift 93 | ||
485 : | LPAREN shift 92 | ||
486 : | VECTORSTART shift 91 | ||
487 : | |||
488 : | id goto 90 | ||
489 : | int goto 89 | ||
490 : | pat goto 88 | ||
491 : | apat goto 87 | ||
492 : | apat' goto 86 | ||
493 : | vb goto 85 | ||
494 : | apats goto 84 | ||
495 : | tyvarseq goto 83 | ||
496 : | |||
497 : | . error | ||
498 : | |||
499 : | |||
500 : | state 21: | ||
501 : | |||
502 : | ldec : TYPE . tb | ||
503 : | |||
504 : | TYVAR shift 107 | ||
505 : | LPAREN shift 106 | ||
506 : | |||
507 : | tb goto 105 | ||
508 : | tyvars goto 104 | ||
509 : | |||
510 : | . reduce by rule 139 | ||
511 : | |||
512 : | |||
513 : | state 22: | ||
514 : | |||
515 : | sdec : STRUCTURE . strb | ||
516 : | |||
517 : | ID shift 53 | ||
518 : | EQUALOP shift 39 | ||
519 : | ASTERISK shift 18 | ||
520 : | |||
521 : | ident goto 109 | ||
522 : | strb goto 108 | ||
523 : | |||
524 : | . error | ||
525 : | |||
526 : | |||
527 : | state 23: | ||
528 : | |||
529 : | sdec : SIGNATURE . sigb | ||
530 : | |||
531 : | ID shift 53 | ||
532 : | EQUALOP shift 39 | ||
533 : | ASTERISK shift 18 | ||
534 : | |||
535 : | ident goto 111 | ||
536 : | sigb goto 110 | ||
537 : | |||
538 : | . error | ||
539 : | |||
540 : | |||
541 : | state 24: | ||
542 : | |||
543 : | exp : RAISE . exp | ||
544 : | |||
545 : | ID shift 49 | ||
546 : | INT shift 48 | ||
547 : | INT0 shift 47 | ||
548 : | WORD shift 46 | ||
549 : | REAL shift 45 | ||
550 : | STRING shift 44 | ||
551 : | CHAR shift 43 | ||
552 : | CASE shift 41 | ||
553 : | EQUALOP shift 39 | ||
554 : | FN shift 37 | ||
555 : | HASH shift 34 | ||
556 : | IF shift 33 | ||
557 : | LET shift 30 | ||
558 : | OP shift 27 | ||
559 : | RAISE shift 24 | ||
560 : | WHILE shift 19 | ||
561 : | ASTERISK shift 18 | ||
562 : | LBRACE shift 17 | ||
563 : | LBRACKET shift 16 | ||
564 : | LPAREN shift 15 | ||
565 : | VECTORSTART shift 13 | ||
566 : | BEGINQ shift 12 | ||
567 : | AQID shift 11 | ||
568 : | |||
569 : | ident goto 10 | ||
570 : | int goto 9 | ||
571 : | exp goto 112 | ||
572 : | app_exp goto 7 | ||
573 : | aexp goto 6 | ||
574 : | quote goto 5 | ||
575 : | |||
576 : | . error | ||
577 : | |||
578 : | |||
579 : | state 25: | ||
580 : | |||
581 : | ldec : OVERLOAD . ident COLON ty AS exp_pa | ||
582 : | |||
583 : | ID shift 53 | ||
584 : | EQUALOP shift 39 | ||
585 : | ASTERISK shift 18 | ||
586 : | |||
587 : | ident goto 113 | ||
588 : | |||
589 : | . error | ||
590 : | |||
591 : | |||
592 : | state 26: | ||
593 : | |||
594 : | ldec : OPEN . qid_p | ||
595 : | |||
596 : | ID shift 117 | ||
597 : | EQUALOP shift 39 | ||
598 : | ASTERISK shift 18 | ||
599 : | |||
600 : | ident goto 116 | ||
601 : | qid goto 115 | ||
602 : | qid_p goto 114 | ||
603 : | |||
604 : | . error | ||
605 : | |||
606 : | |||
607 : | state 27: | ||
608 : | |||
609 : | aexp : OP . ident | ||
610 : | |||
611 : | ID shift 53 | ||
612 : | EQUALOP shift 39 | ||
613 : | ASTERISK shift 18 | ||
614 : | |||
615 : | ident goto 118 | ||
616 : | |||
617 : | . error | ||
618 : | |||
619 : | |||
620 : | state 28: | ||
621 : | |||
622 : | fixity : NONFIX . (reduce by rule 163) | ||
623 : | |||
624 : | |||
625 : | |||
626 : | . reduce by rule 163 | ||
627 : | |||
628 : | |||
629 : | state 29: | ||
630 : | |||
631 : | sdec : LOCAL . sdecs IN sdecs END | ||
632 : | |||
633 : | SEMICOLON shift 121 | ||
634 : | ABSTYPE shift 42 | ||
635 : | DATATYPE shift 40 | ||
636 : | EXCEPTION shift 38 | ||
637 : | FUN shift 36 | ||
638 : | FUNCTOR shift 35 | ||
639 : | INFIX shift 32 | ||
640 : | INFIXR shift 31 | ||
641 : | LOCAL shift 29 | ||
642 : | NONFIX shift 28 | ||
643 : | OPEN shift 26 | ||
644 : | OVERLOAD shift 25 | ||
645 : | SIGNATURE shift 23 | ||
646 : | STRUCTURE shift 22 | ||
647 : | TYPE shift 21 | ||
648 : | VAL shift 20 | ||
649 : | FUNSIG shift 14 | ||
650 : | |||
651 : | fixity goto 4 | ||
652 : | ldec goto 3 | ||
653 : | sdec goto 120 | ||
654 : | sdecs goto 119 | ||
655 : | |||
656 : | . reduce by rule 254 | ||
657 : | |||
658 : | |||
659 : | state 30: | ||
660 : | |||
661 : | aexp : LET . ldecs IN exp_ps END | ||
662 : | |||
663 : | SEMICOLON shift 125 | ||
664 : | ABSTYPE shift 42 | ||
665 : | DATATYPE shift 40 | ||
666 : | EXCEPTION shift 38 | ||
667 : | FUN shift 36 | ||
668 : | INFIX shift 32 | ||
669 : | INFIXR shift 31 | ||
670 : | LOCAL shift 124 | ||
671 : | NONFIX shift 28 | ||
672 : | OPEN shift 26 | ||
673 : | OVERLOAD shift 25 | ||
674 : | TYPE shift 21 | ||
675 : | VAL shift 20 | ||
676 : | |||
677 : | fixity goto 4 | ||
678 : | ldec goto 123 | ||
679 : | ldecs goto 122 | ||
680 : | |||
681 : | . reduce by rule 181 | ||
682 : | |||
683 : | |||
684 : | state 31: | ||
685 : | |||
686 : | fixity : INFIXR . (reduce by rule 161) | ||
687 : | fixity : INFIXR . int | ||
688 : | |||
689 : | INT shift 48 | ||
690 : | INT0 shift 47 | ||
691 : | |||
692 : | int goto 126 | ||
693 : | |||
694 : | . reduce by rule 161 | ||
695 : | |||
696 : | |||
697 : | state 32: | ||
698 : | |||
699 : | fixity : INFIX . (reduce by rule 159) | ||
700 : | fixity : INFIX . int | ||
701 : | |||
702 : | INT shift 48 | ||
703 : | INT0 shift 47 | ||
704 : | |||
705 : | int goto 127 | ||
706 : | |||
707 : | . reduce by rule 159 | ||
708 : | |||
709 : | |||
710 : | state 33: | ||
711 : | |||
712 : | exp : IF . exp THEN exp ELSE exp | ||
713 : | |||
714 : | ID shift 49 | ||
715 : | INT shift 48 | ||
716 : | INT0 shift 47 | ||
717 : | WORD shift 46 | ||
718 : | REAL shift 45 | ||
719 : | STRING shift 44 | ||
720 : | CHAR shift 43 | ||
721 : | CASE shift 41 | ||
722 : | EQUALOP shift 39 | ||
723 : | FN shift 37 | ||
724 : | HASH shift 34 | ||
725 : | IF shift 33 | ||
726 : | LET shift 30 | ||
727 : | OP shift 27 | ||
728 : | RAISE shift 24 | ||
729 : | WHILE shift 19 | ||
730 : | ASTERISK shift 18 | ||
731 : | LBRACE shift 17 | ||
732 : | LBRACKET shift 16 | ||
733 : | LPAREN shift 15 | ||
734 : | VECTORSTART shift 13 | ||
735 : | BEGINQ shift 12 | ||
736 : | AQID shift 11 | ||
737 : | |||
738 : | ident goto 10 | ||
739 : | int goto 9 | ||
740 : | exp goto 128 | ||
741 : | app_exp goto 7 | ||
742 : | aexp goto 6 | ||
743 : | quote goto 5 | ||
744 : | |||
745 : | . error | ||
746 : | |||
747 : | |||
748 : | state 34: | ||
749 : | |||
750 : | aexp : HASH . selector | ||
751 : | |||
752 : | ID shift 81 | ||
753 : | INT shift 80 | ||
754 : | ASTERISK shift 79 | ||
755 : | |||
756 : | id goto 77 | ||
757 : | selector goto 129 | ||
758 : | |||
759 : | . error | ||
760 : | |||
761 : | |||
762 : | state 35: | ||
763 : | |||
764 : | sdec : FUNCTOR . fctb | ||
765 : | |||
766 : | ID shift 53 | ||
767 : | EQUALOP shift 39 | ||
768 : | ASTERISK shift 18 | ||
769 : | |||
770 : | ident goto 131 | ||
771 : | fctb goto 130 | ||
772 : | |||
773 : | . error | ||
774 : | |||
775 : | |||
776 : | state 36: | ||
777 : | |||
778 : | ldec : FUN . fb | ||
779 : | ldec : FUN . tyvarseq fb | ||
780 : | |||
781 : | ID shift 103 | ||
782 : | TYVAR shift 102 | ||
783 : | INT shift 48 | ||
784 : | INT0 shift 47 | ||
785 : | WORD shift 101 | ||
786 : | STRING shift 100 | ||
787 : | CHAR shift 99 | ||
788 : | LAZY shift 137 | ||
789 : | OP shift 97 | ||
790 : | WILD shift 95 | ||
791 : | ASTERISK shift 79 | ||
792 : | LBRACE shift 94 | ||
793 : | LBRACKET shift 93 | ||
794 : | LPAREN shift 92 | ||
795 : | VECTORSTART shift 91 | ||
796 : | |||
797 : | id goto 90 | ||
798 : | int goto 89 | ||
799 : | apat goto 87 | ||
800 : | apat' goto 86 | ||
801 : | fb' goto 136 | ||
802 : | fb goto 135 | ||
803 : | apats goto 134 | ||
804 : | clause goto 133 | ||
805 : | tyvarseq goto 132 | ||
806 : | |||
807 : | . error | ||
808 : | |||
809 : | |||
810 : | state 37: | ||
811 : | |||
812 : | exp : FN . match | ||
813 : | |||
814 : | ID shift 103 | ||
815 : | INT shift 48 | ||
816 : | INT0 shift 47 | ||
817 : | WORD shift 101 | ||
818 : | STRING shift 100 | ||
819 : | CHAR shift 99 | ||
820 : | OP shift 97 | ||
821 : | WILD shift 95 | ||
822 : | ASTERISK shift 79 | ||
823 : | LBRACE shift 94 | ||
824 : | LBRACKET shift 93 | ||
825 : | LPAREN shift 141 | ||
826 : | VECTORSTART shift 91 | ||
827 : | |||
828 : | id goto 90 | ||
829 : | int goto 89 | ||
830 : | match goto 140 | ||
831 : | rule goto 139 | ||
832 : | pat goto 138 | ||
833 : | apat goto 87 | ||
834 : | apat' goto 86 | ||
835 : | apats goto 84 | ||
836 : | |||
837 : | . error | ||
838 : | |||
839 : | |||
840 : | state 38: | ||
841 : | |||
842 : | ldec : EXCEPTION . eb | ||
843 : | |||
844 : | OP shift 144 | ||
845 : | |||
846 : | op_op goto 143 | ||
847 : | eb goto 142 | ||
848 : | |||
849 : | . reduce by rule 8 | ||
850 : | |||
851 : | |||
852 : | state 39: | ||
853 : | |||
854 : | ident : EQUALOP . (reduce by rule 6) | ||
855 : | |||
856 : | |||
857 : | |||
858 : | . reduce by rule 6 | ||
859 : | |||
860 : | |||
861 : | state 40: | ||
862 : | |||
863 : | ldec : DATATYPE . db | ||
864 : | ldec : DATATYPE . db WITHTYPE tb | ||
865 : | |||
866 : | TYVAR shift 107 | ||
867 : | LAZY shift 147 | ||
868 : | LPAREN shift 106 | ||
869 : | |||
870 : | tyvars goto 146 | ||
871 : | db goto 145 | ||
872 : | |||
873 : | . reduce by rule 139 | ||
874 : | |||
875 : | |||
876 : | state 41: | ||
877 : | |||
878 : | exp : CASE . exp OF match | ||
879 : | |||
880 : | ID shift 49 | ||
881 : | INT shift 48 | ||
882 : | INT0 shift 47 | ||
883 : | WORD shift 46 | ||
884 : | REAL shift 45 | ||
885 : | STRING shift 44 | ||
886 : | CHAR shift 43 | ||
887 : | CASE shift 41 | ||
888 : | EQUALOP shift 39 | ||
889 : | FN shift 37 | ||
890 : | HASH shift 34 | ||
891 : | IF shift 33 | ||
892 : | LET shift 30 | ||
893 : | OP shift 27 | ||
894 : | RAISE shift 24 | ||
895 : | WHILE shift 19 | ||
896 : | ASTERISK shift 18 | ||
897 : | LBRACE shift 17 | ||
898 : | LBRACKET shift 16 | ||
899 : | LPAREN shift 15 | ||
900 : | VECTORSTART shift 13 | ||
901 : | BEGINQ shift 12 | ||
902 : | AQID shift 11 | ||
903 : | |||
904 : | ident goto 10 | ||
905 : | int goto 9 | ||
906 : | exp goto 148 | ||
907 : | app_exp goto 7 | ||
908 : | aexp goto 6 | ||
909 : | quote goto 5 | ||
910 : | |||
911 : | . error | ||
912 : | |||
913 : | |||
914 : | state 42: | ||
915 : | |||
916 : | ldec : ABSTYPE . db WITH ldecs END | ||
917 : | ldec : ABSTYPE . db WITHTYPE tb WITH ldecs END | ||
918 : | |||
919 : | TYVAR shift 107 | ||
920 : | LAZY shift 147 | ||
921 : | LPAREN shift 106 | ||
922 : | |||
923 : | tyvars goto 146 | ||
924 : | db goto 149 | ||
925 : | |||
926 : | . reduce by rule 139 | ||
927 : | |||
928 : | |||
929 : | state 43: | ||
930 : | |||
931 : | aexp : CHAR . (reduce by rule 60) | ||
932 : | |||
933 : | |||
934 : | |||
935 : | . reduce by rule 60 | ||
936 : | |||
937 : | |||
938 : | state 44: | ||
939 : | |||
940 : | aexp : STRING . (reduce by rule 59) | ||
941 : | |||
942 : | |||
943 : | |||
944 : | . reduce by rule 59 | ||
945 : | |||
946 : | |||
947 : | state 45: | ||
948 : | |||
949 : | aexp : REAL . (reduce by rule 58) | ||
950 : | |||
951 : | |||
952 : | |||
953 : | . reduce by rule 58 | ||
954 : | |||
955 : | |||
956 : | state 46: | ||
957 : | |||
958 : | aexp : WORD . (reduce by rule 57) | ||
959 : | |||
960 : | |||
961 : | |||
962 : | . reduce by rule 57 | ||
963 : | |||
964 : | |||
965 : | state 47: | ||
966 : | |||
967 : | int : INT0 . (reduce by rule 1) | ||
968 : | |||
969 : | |||
970 : | |||
971 : | . reduce by rule 1 | ||
972 : | |||
973 : | |||
974 : | state 48: | ||
975 : | |||
976 : | int : INT . (reduce by rule 0) | ||
977 : | |||
978 : | |||
979 : | |||
980 : | . reduce by rule 0 | ||
981 : | |||
982 : | |||
983 : | state 49: | ||
984 : | |||
985 : | ident : ID . (reduce by rule 4) | ||
986 : | aexp : ID . DOT qid | ||
987 : | |||
988 : | DOT shift 150 | ||
989 : | |||
990 : | |||
991 : | . reduce by rule 4 | ||
992 : | |||
993 : | |||
994 : | state 50: | ||
995 : | |||
996 : | sdecs' : sdec sdecs' . (reduce by rule 255) | ||
997 : | |||
998 : | |||
999 : | |||
1000 : | . reduce by rule 255 | ||
1001 : | |||
1002 : | |||
1003 : | state 51: | ||
1004 : | |||
1005 : | ldec : fixity ops . (reduce by rule 177) | ||
1006 : | |||
1007 : | |||
1008 : | |||
1009 : | . reduce by rule 177 | ||
1010 : | |||
1011 : | |||
1012 : | state 52: | ||
1013 : | |||
1014 : | ops : ident . (reduce by rule 185) | ||
1015 : | ops : ident . ops | ||
1016 : | |||
1017 : | ID shift 53 | ||
1018 : | EQUALOP shift 39 | ||
1019 : | ASTERISK shift 18 | ||
1020 : | |||
1021 : | ident goto 52 | ||
1022 : | ops goto 151 | ||
1023 : | |||
1024 : | . reduce by rule 185 | ||
1025 : | |||
1026 : | |||
1027 : | state 53: | ||
1028 : | |||
1029 : | ident : ID . (reduce by rule 4) | ||
1030 : | |||
1031 : | |||
1032 : | |||
1033 : | . reduce by rule 4 | ||
1034 : | |||
1035 : | |||
1036 : | state 54: | ||
1037 : | |||
1038 : | app_exp : aexp app_exp . (reduce by rule 52) | ||
1039 : | |||
1040 : | |||
1041 : | |||
1042 : | . reduce by rule 52 | ||
1043 : | |||
1044 : | |||
1045 : | state 55: | ||
1046 : | |||
1047 : | exp : exp ANDALSO . exp | ||
1048 : | |||
1049 : | ID shift 49 | ||
1050 : | INT shift 48 | ||
1051 : | INT0 shift 47 | ||
1052 : | WORD shift 46 | ||
1053 : | REAL shift 45 | ||
1054 : | STRING shift 44 | ||
1055 : | CHAR shift 43 | ||
1056 : | CASE shift 41 | ||
1057 : | EQUALOP shift 39 | ||
1058 : | FN shift 37 | ||
1059 : | HASH shift 34 | ||
1060 : | IF shift 33 | ||
1061 : | LET shift 30 | ||
1062 : | OP shift 27 | ||
1063 : | RAISE shift 24 | ||
1064 : | WHILE shift 19 | ||
1065 : | ASTERISK shift 18 | ||
1066 : | LBRACE shift 17 | ||
1067 : | LBRACKET shift 16 | ||
1068 : | LPAREN shift 15 | ||
1069 : | VECTORSTART shift 13 | ||
1070 : | BEGINQ shift 12 | ||
1071 : | AQID shift 11 | ||
1072 : | |||
1073 : | ident goto 10 | ||
1074 : | int goto 9 | ||
1075 : | exp goto 152 | ||
1076 : | app_exp goto 7 | ||
1077 : | aexp goto 6 | ||
1078 : | quote goto 5 | ||
1079 : | |||
1080 : | . error | ||
1081 : | |||
1082 : | |||
1083 : | state 56: | ||
1084 : | |||
1085 : | exp : exp ORELSE . exp | ||
1086 : | |||
1087 : | ID shift 49 | ||
1088 : | INT shift 48 | ||
1089 : | INT0 shift 47 | ||
1090 : | WORD shift 46 | ||
1091 : | REAL shift 45 | ||
1092 : | STRING shift 44 | ||
1093 : | CHAR shift 43 | ||
1094 : | CASE shift 41 | ||
1095 : | EQUALOP shift 39 | ||
1096 : | FN shift 37 | ||
1097 : | HASH shift 34 | ||
1098 : | IF shift 33 | ||
1099 : | LET shift 30 | ||
1100 : | OP shift 27 | ||
1101 : | RAISE shift 24 | ||
1102 : | WHILE shift 19 | ||
1103 : | ASTERISK shift 18 | ||
1104 : | LBRACE shift 17 | ||
1105 : | LBRACKET shift 16 | ||
1106 : | LPAREN shift 15 | ||
1107 : | VECTORSTART shift 13 | ||
1108 : | BEGINQ shift 12 | ||
1109 : | AQID shift 11 | ||
1110 : | |||
1111 : | ident goto 10 | ||
1112 : | int goto 9 | ||
1113 : | exp goto 153 | ||
1114 : | app_exp goto 7 | ||
1115 : | aexp goto 6 | ||
1116 : | quote goto 5 | ||
1117 : | |||
1118 : | . error | ||
1119 : | |||
1120 : | |||
1121 : | state 57: | ||
1122 : | |||
1123 : | exp : exp COLON . ty | ||
1124 : | |||
1125 : | ID shift 161 | ||
1126 : | TYVAR shift 160 | ||
1127 : | LBRACE shift 159 | ||
1128 : | LPAREN shift 158 | ||
1129 : | |||
1130 : | tycon goto 157 | ||
1131 : | ty' goto 156 | ||
1132 : | tuple_ty goto 155 | ||
1133 : | ty goto 154 | ||
1134 : | |||
1135 : | . error | ||
1136 : | |||
1137 : | |||
1138 : | state 58: | ||
1139 : | |||
1140 : | exp : exp HANDLE . match | ||
1141 : | |||
1142 : | ID shift 103 | ||
1143 : | INT shift 48 | ||
1144 : | INT0 shift 47 | ||
1145 : | WORD shift 101 | ||
1146 : | STRING shift 100 | ||
1147 : | CHAR shift 99 | ||
1148 : | OP shift 97 | ||
1149 : | WILD shift 95 | ||
1150 : | ASTERISK shift 79 | ||
1151 : | LBRACE shift 94 | ||
1152 : | LBRACKET shift 93 | ||
1153 : | LPAREN shift 141 | ||
1154 : | VECTORSTART shift 91 | ||
1155 : | |||
1156 : | id goto 90 | ||
1157 : | int goto 89 | ||
1158 : | match goto 162 | ||
1159 : | rule goto 139 | ||
1160 : | pat goto 138 | ||
1161 : | apat goto 87 | ||
1162 : | apat' goto 86 | ||
1163 : | apats goto 84 | ||
1164 : | |||
1165 : | . error | ||
1166 : | |||
1167 : | |||
1168 : | state 59: | ||
1169 : | |||
1170 : | app_exp : ident app_exp . (reduce by rule 53) | ||
1171 : | |||
1172 : | |||
1173 : | |||
1174 : | . reduce by rule 53 | ||
1175 : | |||
1176 : | |||
1177 : | state 60: | ||
1178 : | |||
1179 : | quote : BEGINQ ot_list . ENDQ | ||
1180 : | |||
1181 : | ENDQ shift 163 | ||
1182 : | |||
1183 : | |||
1184 : | . error | ||
1185 : | |||
1186 : | |||
1187 : | state 61: | ||
1188 : | |||
1189 : | ot_list : OBJL . aexp | ||
1190 : | ot_list : OBJL . aexp ot_list | ||
1191 : | |||
1192 : | ID shift 165 | ||
1193 : | INT shift 48 | ||
1194 : | INT0 shift 47 | ||
1195 : | WORD shift 46 | ||
1196 : | REAL shift 45 | ||
1197 : | STRING shift 44 | ||
1198 : | CHAR shift 43 | ||
1199 : | HASH shift 34 | ||
1200 : | LET shift 30 | ||
1201 : | OP shift 27 | ||
1202 : | LBRACE shift 17 | ||
1203 : | LBRACKET shift 16 | ||
1204 : | LPAREN shift 15 | ||
1205 : | VECTORSTART shift 13 | ||
1206 : | BEGINQ shift 12 | ||
1207 : | AQID shift 11 | ||
1208 : | |||
1209 : | int goto 9 | ||
1210 : | aexp goto 164 | ||
1211 : | quote goto 5 | ||
1212 : | |||
1213 : | . error | ||
1214 : | |||
1215 : | |||
1216 : | state 62: | ||
1217 : | |||
1218 : | quote : BEGINQ ENDQ . (reduce by rule 74) | ||
1219 : | |||
1220 : | |||
1221 : | |||
1222 : | . reduce by rule 74 | ||
1223 : | |||
1224 : | |||
1225 : | state 63: | ||
1226 : | |||
1227 : | aexp : VECTORSTART exp_list . RBRACKET | ||
1228 : | |||
1229 : | RBRACKET shift 166 | ||
1230 : | |||
1231 : | |||
1232 : | . error | ||
1233 : | |||
1234 : | |||
1235 : | state 64: | ||
1236 : | |||
1237 : | exp : exp . HANDLE match | ||
1238 : | exp : exp . ORELSE exp | ||
1239 : | exp : exp . ANDALSO exp | ||
1240 : | exp : exp . COLON ty | ||
1241 : | exp_list : exp . (reduce by rule 80) | ||
1242 : | exp_list : exp . COMMA exp_list | ||
1243 : | |||
1244 : | HANDLE shift 58 | ||
1245 : | COLON shift 57 | ||
1246 : | COMMA shift 167 | ||
1247 : | ORELSE shift 56 | ||
1248 : | ANDALSO shift 55 | ||
1249 : | |||
1250 : | |||
1251 : | . reduce by rule 80 | ||
1252 : | |||
1253 : | |||
1254 : | state 65: | ||
1255 : | |||
1256 : | aexp : VECTORSTART RBRACKET . (reduce by rule 70) | ||
1257 : | |||
1258 : | |||
1259 : | |||
1260 : | . reduce by rule 70 | ||
1261 : | |||
1262 : | |||
1263 : | state 66: | ||
1264 : | |||
1265 : | fsigb : fsigb . AND fsigb | ||
1266 : | sdec : FUNSIG fsigb . (reduce by rule 263) | ||
1267 : | |||
1268 : | AND shift 168 | ||
1269 : | |||
1270 : | |||
1271 : | . reduce by rule 263 | ||
1272 : | |||
1273 : | |||
1274 : | state 67: | ||
1275 : | |||
1276 : | fsigb : ident . fparamList EQUALOP sign | ||
1277 : | |||
1278 : | LPAREN shift 170 | ||
1279 : | |||
1280 : | fparamList goto 169 | ||
1281 : | |||
1282 : | . error | ||
1283 : | |||
1284 : | |||
1285 : | state 68: | ||
1286 : | |||
1287 : | aexp : LPAREN exp_2c . RPAREN | ||
1288 : | |||
1289 : | RPAREN shift 171 | ||
1290 : | |||
1291 : | |||
1292 : | . error | ||
1293 : | |||
1294 : | |||
1295 : | state 69: | ||
1296 : | |||
1297 : | exp_ps : exp . (reduce by rule 38) | ||
1298 : | exp_ps : exp . SEMICOLON exp_ps | ||
1299 : | exp : exp . HANDLE match | ||
1300 : | exp : exp . ORELSE exp | ||
1301 : | exp : exp . ANDALSO exp | ||
1302 : | exp : exp . COLON ty | ||
1303 : | exp_2c : exp . COMMA exp_2c | ||
1304 : | exp_2c : exp . COMMA exp | ||
1305 : | |||
1306 : | SEMICOLON shift 173 | ||
1307 : | HANDLE shift 58 | ||
1308 : | COLON shift 57 | ||
1309 : | COMMA shift 172 | ||
1310 : | ORELSE shift 56 | ||
1311 : | ANDALSO shift 55 | ||
1312 : | |||
1313 : | |||
1314 : | . reduce by rule 38 | ||
1315 : | |||
1316 : | |||
1317 : | state 70: | ||
1318 : | |||
1319 : | aexp : LPAREN exp_ps . RPAREN | ||
1320 : | |||
1321 : | RPAREN shift 174 | ||
1322 : | |||
1323 : | |||
1324 : | . error | ||
1325 : | |||
1326 : | |||
1327 : | state 71: | ||
1328 : | |||
1329 : | aexp : LPAREN RPAREN . (reduce by rule 64) | ||
1330 : | |||
1331 : | |||
1332 : | |||
1333 : | . reduce by rule 64 | ||
1334 : | |||
1335 : | |||
1336 : | state 72: | ||
1337 : | |||
1338 : | aexp : LBRACKET exp_list . RBRACKET | ||
1339 : | |||
1340 : | RBRACKET shift 175 | ||
1341 : | |||
1342 : | |||
1343 : | . error | ||
1344 : | |||
1345 : | |||
1346 : | state 73: | ||
1347 : | |||
1348 : | aexp : LBRACKET RBRACKET . (reduce by rule 68) | ||
1349 : | |||
1350 : | |||
1351 : | |||
1352 : | . reduce by rule 68 | ||
1353 : | |||
1354 : | |||
1355 : | state 74: | ||
1356 : | |||
1357 : | aexp : LBRACE elabels . RBRACE | ||
1358 : | |||
1359 : | RBRACE shift 176 | ||
1360 : | |||
1361 : | |||
1362 : | . error | ||
1363 : | |||
1364 : | |||
1365 : | state 75: | ||
1366 : | |||
1367 : | elabels : elabel . COMMA elabels | ||
1368 : | elabels : elabel . (reduce by rule 37) | ||
1369 : | |||
1370 : | COMMA shift 177 | ||
1371 : | |||
1372 : | |||
1373 : | . reduce by rule 37 | ||
1374 : | |||
1375 : | |||
1376 : | state 76: | ||
1377 : | |||
1378 : | elabel : selector . EQUALOP exp | ||
1379 : | |||
1380 : | EQUALOP shift 178 | ||
1381 : | |||
1382 : | |||
1383 : | . error | ||
1384 : | |||
1385 : | |||
1386 : | state 77: | ||
1387 : | |||
1388 : | selector : id . (reduce by rule 11) | ||
1389 : | |||
1390 : | |||
1391 : | |||
1392 : | . reduce by rule 11 | ||
1393 : | |||
1394 : | |||
1395 : | state 78: | ||
1396 : | |||
1397 : | aexp : LBRACE RBRACE . (reduce by rule 63) | ||
1398 : | |||
1399 : | |||
1400 : | |||
1401 : | . reduce by rule 63 | ||
1402 : | |||
1403 : | |||
1404 : | state 79: | ||
1405 : | |||
1406 : | id : ASTERISK . (reduce by rule 3) | ||
1407 : | |||
1408 : | |||
1409 : | |||
1410 : | . reduce by rule 3 | ||
1411 : | |||
1412 : | |||
1413 : | state 80: | ||
1414 : | |||
1415 : | selector : INT . (reduce by rule 12) | ||
1416 : | |||
1417 : | |||
1418 : | |||
1419 : | . reduce by rule 12 | ||
1420 : | |||
1421 : | |||
1422 : | state 81: | ||
1423 : | |||
1424 : | id : ID . (reduce by rule 2) | ||
1425 : | |||
1426 : | |||
1427 : | |||
1428 : | . reduce by rule 2 | ||
1429 : | |||
1430 : | |||
1431 : | state 82: | ||
1432 : | |||
1433 : | exp : exp . HANDLE match | ||
1434 : | exp : exp . ORELSE exp | ||
1435 : | exp : exp . ANDALSO exp | ||
1436 : | exp : exp . COLON ty | ||
1437 : | exp : WHILE exp . DO exp | ||
1438 : | |||
1439 : | DO shift 179 | ||
1440 : | HANDLE shift 58 | ||
1441 : | COLON shift 57 | ||
1442 : | ORELSE shift 56 | ||
1443 : | ANDALSO shift 55 | ||
1444 : | |||
1445 : | |||
1446 : | . error | ||
1447 : | |||
1448 : | |||
1449 : | state 83: | ||
1450 : | |||
1451 : | ldec : VAL tyvarseq . vb | ||
1452 : | |||
1453 : | ID shift 103 | ||
1454 : | INT shift 48 | ||
1455 : | INT0 shift 47 | ||
1456 : | WORD shift 101 | ||
1457 : | STRING shift 100 | ||
1458 : | CHAR shift 99 | ||
1459 : | LAZY shift 98 | ||
1460 : | OP shift 97 | ||
1461 : | WILD shift 95 | ||
1462 : | ASTERISK shift 79 | ||
1463 : | LBRACE shift 94 | ||
1464 : | LBRACKET shift 93 | ||
1465 : | LPAREN shift 141 | ||
1466 : | VECTORSTART shift 91 | ||
1467 : | |||
1468 : | id goto 90 | ||
1469 : | int goto 89 | ||
1470 : | pat goto 88 | ||
1471 : | apat goto 87 | ||
1472 : | apat' goto 86 | ||
1473 : | vb goto 180 | ||
1474 : | apats goto 84 | ||
1475 : | |||
1476 : | . error | ||
1477 : | |||
1478 : | |||
1479 : | state 84: | ||
1480 : | |||
1481 : | pat : apats . (reduce by rule 84) | ||
1482 : | |||
1483 : | |||
1484 : | |||
1485 : | . reduce by rule 84 | ||
1486 : | |||
1487 : | |||
1488 : | state 85: | ||
1489 : | |||
1490 : | vb : vb . AND vb | ||
1491 : | ldec : VAL vb . (reduce by rule 164) | ||
1492 : | |||
1493 : | AND shift 181 | ||
1494 : | |||
1495 : | |||
1496 : | . reduce by rule 164 | ||
1497 : | |||
1498 : | |||
1499 : | state 86: | ||
1500 : | |||
1501 : | apat : apat' . (reduce by rule 85) | ||
1502 : | |||
1503 : | |||
1504 : | |||
1505 : | . reduce by rule 85 | ||
1506 : | |||
1507 : | |||
1508 : | state 87: | ||
1509 : | |||
1510 : | apats : apat . (reduce by rule 132) | ||
1511 : | apats : apat . apats | ||
1512 : | |||
1513 : | ID shift 103 | ||
1514 : | INT shift 48 | ||
1515 : | INT0 shift 47 | ||
1516 : | WORD shift 101 | ||
1517 : | STRING shift 100 | ||
1518 : | CHAR shift 99 | ||
1519 : | OP shift 97 | ||
1520 : | WILD shift 95 | ||
1521 : | ASTERISK shift 79 | ||
1522 : | LBRACE shift 94 | ||
1523 : | LBRACKET shift 93 | ||
1524 : | LPAREN shift 141 | ||
1525 : | VECTORSTART shift 91 | ||
1526 : | |||
1527 : | id goto 90 | ||
1528 : | int goto 89 | ||
1529 : | apat goto 87 | ||
1530 : | apat' goto 86 | ||
1531 : | apats goto 182 | ||
1532 : | |||
1533 : | . reduce by rule 132 | ||
1534 : | |||
1535 : | |||
1536 : | state 88: | ||
1537 : | |||
1538 : | pat : pat . AS pat | ||
1539 : | pat : pat . COLON ty | ||
1540 : | vb : pat . EQUALOP exp | ||
1541 : | |||
1542 : | AS shift 185 | ||
1543 : | EQUALOP shift 184 | ||
1544 : | COLON shift 183 | ||
1545 : | |||
1546 : | |||
1547 : | . error | ||
1548 : | |||
1549 : | |||
1550 : | state 89: | ||
1551 : | |||
1552 : | apat' : int . (reduce by rule 93) | ||
1553 : | |||
1554 : | |||
1555 : | |||
1556 : | . reduce by rule 93 | ||
1557 : | |||
1558 : | |||
1559 : | state 90: | ||
1560 : | |||
1561 : | apat : id . (reduce by rule 87) | ||
1562 : | |||
1563 : | |||
1564 : | |||
1565 : | . reduce by rule 87 | ||
1566 : | |||
1567 : | |||
1568 : | state 91: | ||
1569 : | |||
1570 : | apat' : VECTORSTART . RBRACKET | ||
1571 : | apat' : VECTORSTART . pat_list RBRACKET | ||
1572 : | |||
1573 : | ID shift 103 | ||
1574 : | INT shift 48 | ||
1575 : | INT0 shift 47 | ||
1576 : | WORD shift 101 | ||
1577 : | STRING shift 100 | ||
1578 : | CHAR shift 99 | ||
1579 : | OP shift 97 | ||
1580 : | WILD shift 95 | ||
1581 : | ASTERISK shift 79 | ||
1582 : | LBRACE shift 94 | ||
1583 : | LBRACKET shift 93 | ||
1584 : | LPAREN shift 141 | ||
1585 : | RBRACKET shift 188 | ||
1586 : | VECTORSTART shift 91 | ||
1587 : | |||
1588 : | id goto 90 | ||
1589 : | int goto 89 | ||
1590 : | pat goto 187 | ||
1591 : | apat goto 87 | ||
1592 : | apat' goto 86 | ||
1593 : | pat_list goto 186 | ||
1594 : | apats goto 84 | ||
1595 : | |||
1596 : | . error | ||
1597 : | |||
1598 : | |||
1599 : | state 92: | ||
1600 : | |||
1601 : | apat : LPAREN . pat RPAREN | ||
1602 : | apat : LPAREN . RPAREN | ||
1603 : | apat : LPAREN . pat COMMA pat_list RPAREN | ||
1604 : | apat : LPAREN . pat BAR or_pat_list RPAREN | ||
1605 : | tyvarseq : LPAREN . tyvar_pc RPAREN | ||
1606 : | |||
1607 : | ID shift 103 | ||
1608 : | TYVAR shift 192 | ||
1609 : | INT shift 48 | ||
1610 : | INT0 shift 47 | ||
1611 : | WORD shift 101 | ||
1612 : | STRING shift 100 | ||
1613 : | CHAR shift 99 | ||
1614 : | OP shift 97 | ||
1615 : | WILD shift 95 | ||
1616 : | ASTERISK shift 79 | ||
1617 : | LBRACE shift 94 | ||
1618 : | LBRACKET shift 93 | ||
1619 : | LPAREN shift 141 | ||
1620 : | RPAREN shift 191 | ||
1621 : | VECTORSTART shift 91 | ||
1622 : | |||
1623 : | id goto 90 | ||
1624 : | int goto 89 | ||
1625 : | pat goto 190 | ||
1626 : | apat goto 87 | ||
1627 : | apat' goto 86 | ||
1628 : | apats goto 84 | ||
1629 : | tyvar_pc goto 189 | ||
1630 : | |||
1631 : | . error | ||
1632 : | |||
1633 : | |||
1634 : | state 93: | ||
1635 : | |||
1636 : | apat' : LBRACKET . RBRACKET | ||
1637 : | apat' : LBRACKET . pat_list RBRACKET | ||
1638 : | |||
1639 : | ID shift 103 | ||
1640 : | INT shift 48 | ||
1641 : | INT0 shift 47 | ||
1642 : | WORD shift 101 | ||
1643 : | STRING shift 100 | ||
1644 : | CHAR shift 99 | ||
1645 : | OP shift 97 | ||
1646 : | WILD shift 95 | ||
1647 : | ASTERISK shift 79 | ||
1648 : | LBRACE shift 94 | ||
1649 : | LBRACKET shift 93 | ||
1650 : | LPAREN shift 141 | ||
1651 : | RBRACKET shift 194 | ||
1652 : | VECTORSTART shift 91 | ||
1653 : | |||
1654 : | id goto 90 | ||
1655 : | int goto 89 | ||
1656 : | pat goto 187 | ||
1657 : | apat goto 87 | ||
1658 : | apat' goto 86 | ||
1659 : | pat_list goto 193 | ||
1660 : | apats goto 84 | ||
1661 : | |||
1662 : | . error | ||
1663 : | |||
1664 : | |||
1665 : | state 94: | ||
1666 : | |||
1667 : | apat' : LBRACE . RBRACE | ||
1668 : | apat' : LBRACE . plabels RBRACE | ||
1669 : | |||
1670 : | ID shift 200 | ||
1671 : | INT shift 80 | ||
1672 : | DOTDOTDOT shift 199 | ||
1673 : | ASTERISK shift 79 | ||
1674 : | RBRACE shift 198 | ||
1675 : | |||
1676 : | id goto 77 | ||
1677 : | selector goto 197 | ||
1678 : | plabel goto 196 | ||
1679 : | plabels goto 195 | ||
1680 : | |||
1681 : | . error | ||
1682 : | |||
1683 : | |||
1684 : | state 95: | ||
1685 : | |||
1686 : | apat' : WILD . (reduce by rule 97) | ||
1687 : | |||
1688 : | |||
1689 : | |||
1690 : | . reduce by rule 97 | ||
1691 : | |||
1692 : | |||
1693 : | state 96: | ||
1694 : | |||
1695 : | ldec : VAL REC . rvb | ||
1696 : | ldec : VAL REC . tyvarseq rvb | ||
1697 : | |||
1698 : | ID shift 81 | ||
1699 : | TYVAR shift 102 | ||
1700 : | LAZY shift 206 | ||
1701 : | OP shift 205 | ||
1702 : | ASTERISK shift 79 | ||
1703 : | LPAREN shift 204 | ||
1704 : | |||
1705 : | id goto 203 | ||
1706 : | rvb goto 202 | ||
1707 : | tyvarseq goto 201 | ||
1708 : | |||
1709 : | . error | ||
1710 : | |||
1711 : | |||
1712 : | state 97: | ||
1713 : | |||
1714 : | apat' : OP . ident | ||
1715 : | |||
1716 : | ID shift 53 | ||
1717 : | EQUALOP shift 39 | ||
1718 : | ASTERISK shift 18 | ||
1719 : | |||
1720 : | ident goto 207 | ||
1721 : | |||
1722 : | . error | ||
1723 : | |||
1724 : | |||
1725 : | state 98: | ||
1726 : | |||
1727 : | vb : LAZY . pat EQUALOP exp | ||
1728 : | |||
1729 : | ID shift 103 | ||
1730 : | INT shift 48 | ||
1731 : | INT0 shift 47 | ||
1732 : | WORD shift 101 | ||
1733 : | STRING shift 100 | ||
1734 : | CHAR shift 99 | ||
1735 : | OP shift 97 | ||
1736 : | WILD shift 95 | ||
1737 : | ASTERISK shift 79 | ||
1738 : | LBRACE shift 94 | ||
1739 : | LBRACKET shift 93 | ||
1740 : | LPAREN shift 141 | ||
1741 : | VECTORSTART shift 91 | ||
1742 : | |||
1743 : | id goto 90 | ||
1744 : | int goto 89 | ||
1745 : | pat goto 208 | ||
1746 : | apat goto 87 | ||
1747 : | apat' goto 86 | ||
1748 : | apats goto 84 | ||
1749 : | |||
1750 : | . error | ||
1751 : | |||
1752 : | |||
1753 : | state 99: | ||
1754 : | |||
1755 : | apat' : CHAR . (reduce by rule 96) | ||
1756 : | |||
1757 : | |||
1758 : | |||
1759 : | . reduce by rule 96 | ||
1760 : | |||
1761 : | |||
1762 : | state 100: | ||
1763 : | |||
1764 : | apat' : STRING . (reduce by rule 95) | ||
1765 : | |||
1766 : | |||
1767 : | |||
1768 : | . reduce by rule 95 | ||
1769 : | |||
1770 : | |||
1771 : | state 101: | ||
1772 : | |||
1773 : | apat' : WORD . (reduce by rule 94) | ||
1774 : | |||
1775 : | |||
1776 : | |||
1777 : | . reduce by rule 94 | ||
1778 : | |||
1779 : | |||
1780 : | state 102: | ||
1781 : | |||
1782 : | tyvarseq : TYVAR . (reduce by rule 140) | ||
1783 : | |||
1784 : | |||
1785 : | |||
1786 : | . reduce by rule 140 | ||
1787 : | |||
1788 : | |||
1789 : | state 103: | ||
1790 : | |||
1791 : | id : ID . (reduce by rule 2) | ||
1792 : | apat' : ID . DOT qid | ||
1793 : | |||
1794 : | DOT shift 209 | ||
1795 : | |||
1796 : | |||
1797 : | . reduce by rule 2 | ||
1798 : | |||
1799 : | |||
1800 : | state 104: | ||
1801 : | |||
1802 : | tb : tyvars . ID EQUALOP ty | ||
1803 : | |||
1804 : | ID shift 210 | ||
1805 : | |||
1806 : | |||
1807 : | . error | ||
1808 : | |||
1809 : | |||
1810 : | state 105: | ||
1811 : | |||
1812 : | tb : tb . AND tb | ||
1813 : | ldec : TYPE tb . (reduce by rule 170) | ||
1814 : | |||
1815 : | AND shift 211 | ||
1816 : | |||
1817 : | |||
1818 : | . reduce by rule 170 | ||
1819 : | |||
1820 : | |||
1821 : | state 106: | ||
1822 : | |||
1823 : | tyvars : LPAREN . tyvar_pc RPAREN | ||
1824 : | |||
1825 : | TYVAR shift 192 | ||
1826 : | |||
1827 : | tyvar_pc goto 212 | ||
1828 : | |||
1829 : | . error | ||
1830 : | |||
1831 : | |||
1832 : | state 107: | ||
1833 : | |||
1834 : | tyvars : TYVAR . (reduce by rule 137) | ||
1835 : | |||
1836 : | |||
1837 : | |||
1838 : | . reduce by rule 137 | ||
1839 : | |||
1840 : | |||
1841 : | state 108: | ||
1842 : | |||
1843 : | sdec : STRUCTURE strb . (reduce by rule 261) | ||
1844 : | strb : strb . AND strb | ||
1845 : | |||
1846 : | AND shift 213 | ||
1847 : | |||
1848 : | |||
1849 : | . reduce by rule 261 | ||
1850 : | |||
1851 : | |||
1852 : | state 109: | ||
1853 : | |||
1854 : | strb : ident . sigconstraint_op EQUALOP str | ||
1855 : | |||
1856 : | COLON shift 216 | ||
1857 : | COLONGT shift 215 | ||
1858 : | |||
1859 : | sigconstraint_op goto 214 | ||
1860 : | |||
1861 : | . reduce by rule 227 | ||
1862 : | |||
1863 : | |||
1864 : | state 110: | ||
1865 : | |||
1866 : | sigb : sigb . AND sigb | ||
1867 : | sdec : SIGNATURE sigb . (reduce by rule 262) | ||
1868 : | |||
1869 : | AND shift 217 | ||
1870 : | |||
1871 : | |||
1872 : | . reduce by rule 262 | ||
1873 : | |||
1874 : | |||
1875 : | state 111: | ||
1876 : | |||
1877 : | sigb : ident . EQUALOP sign | ||
1878 : | |||
1879 : | EQUALOP shift 218 | ||
1880 : | |||
1881 : | |||
1882 : | . error | ||
1883 : | |||
1884 : | |||
1885 : | state 112: | ||
1886 : | |||
1887 : | exp : exp . HANDLE match | ||
1888 : | exp : exp . ORELSE exp | ||
1889 : | exp : exp . ANDALSO exp | ||
1890 : | exp : exp . COLON ty | ||
1891 : | exp : RAISE exp . (reduce by rule 49) | ||
1892 : | |||
1893 : | HANDLE shift 58 | ||
1894 : | COLON shift 57 | ||
1895 : | ORELSE shift 56 | ||
1896 : | ANDALSO shift 55 | ||
1897 : | |||
1898 : | |||
1899 : | . reduce by rule 49 | ||
1900 : | |||
1901 : | |||
1902 : | state 113: | ||
1903 : | |||
1904 : | ldec : OVERLOAD ident . COLON ty AS exp_pa | ||
1905 : | |||
1906 : | COLON shift 219 | ||
1907 : | |||
1908 : | |||
1909 : | . error | ||
1910 : | |||
1911 : | |||
1912 : | state 114: | ||
1913 : | |||
1914 : | ldec : OPEN qid_p . (reduce by rule 176) | ||
1915 : | |||
1916 : | |||
1917 : | |||
1918 : | . reduce by rule 176 | ||
1919 : | |||
1920 : | |||
1921 : | state 115: | ||
1922 : | |||
1923 : | qid_p : qid . (reduce by rule 157) | ||
1924 : | qid_p : qid . qid_p | ||
1925 : | |||
1926 : | ID shift 117 | ||
1927 : | EQUALOP shift 39 | ||
1928 : | ASTERISK shift 18 | ||
1929 : | |||
1930 : | ident goto 116 | ||
1931 : | qid goto 115 | ||
1932 : | qid_p goto 220 | ||
1933 : | |||
1934 : | . reduce by rule 157 | ||
1935 : | |||
1936 : | |||
1937 : | state 116: | ||
1938 : | |||
1939 : | qid : ident . (reduce by rule 10) | ||
1940 : | |||
1941 : | |||
1942 : | |||
1943 : | . reduce by rule 10 | ||
1944 : | |||
1945 : | |||
1946 : | state 117: | ||
1947 : | |||
1948 : | ident : ID . (reduce by rule 4) | ||
1949 : | qid : ID . DOT qid | ||
1950 : | |||
1951 : | DOT shift 221 | ||
1952 : | |||
1953 : | |||
1954 : | . reduce by rule 4 | ||
1955 : | |||
1956 : | |||
1957 : | state 118: | ||
1958 : | |||
1959 : | aexp : OP ident . (reduce by rule 54) | ||
1960 : | |||
1961 : | |||
1962 : | |||
1963 : | . reduce by rule 54 | ||
1964 : | |||
1965 : | |||
1966 : | state 119: | ||
1967 : | |||
1968 : | sdec : LOCAL sdecs . IN sdecs END | ||
1969 : | |||
1970 : | IN shift 222 | ||
1971 : | |||
1972 : | |||
1973 : | . error | ||
1974 : | |||
1975 : | |||
1976 : | state 120: | ||
1977 : | |||
1978 : | sdecs : sdec . sdecs | ||
1979 : | |||
1980 : | SEMICOLON shift 121 | ||
1981 : | ABSTYPE shift 42 | ||
1982 : | DATATYPE shift 40 | ||
1983 : | EXCEPTION shift 38 | ||
1984 : | FUN shift 36 | ||
1985 : | FUNCTOR shift 35 | ||
1986 : | INFIX shift 32 | ||
1987 : | INFIXR shift 31 | ||
1988 : | LOCAL shift 29 | ||
1989 : | NONFIX shift 28 | ||
1990 : | OPEN shift 26 | ||
1991 : | OVERLOAD shift 25 | ||
1992 : | SIGNATURE shift 23 | ||
1993 : | STRUCTURE shift 22 | ||
1994 : | TYPE shift 21 | ||
1995 : | VAL shift 20 | ||
1996 : | FUNSIG shift 14 | ||
1997 : | |||
1998 : | fixity goto 4 | ||
1999 : | ldec goto 3 | ||
2000 : | sdec goto 120 | ||
2001 : | sdecs goto 223 | ||
2002 : | |||
2003 : | . reduce by rule 254 | ||
2004 : | |||
2005 : | |||
2006 : | state 121: | ||
2007 : | |||
2008 : | sdecs : SEMICOLON . sdecs | ||
2009 : | |||
2010 : | SEMICOLON shift 121 | ||
2011 : | ABSTYPE shift 42 | ||
2012 : | DATATYPE shift 40 | ||
2013 : | EXCEPTION shift 38 | ||
2014 : | FUN shift 36 | ||
2015 : | FUNCTOR shift 35 | ||
2016 : | INFIX shift 32 | ||
2017 : | INFIXR shift 31 | ||
2018 : | LOCAL shift 29 | ||
2019 : | NONFIX shift 28 | ||
2020 : | OPEN shift 26 | ||
2021 : | OVERLOAD shift 25 | ||
2022 : | SIGNATURE shift 23 | ||
2023 : | STRUCTURE shift 22 | ||
2024 : | TYPE shift 21 | ||
2025 : | VAL shift 20 | ||
2026 : | FUNSIG shift 14 | ||
2027 : | |||
2028 : | fixity goto 4 | ||
2029 : | ldec goto 3 | ||
2030 : | sdec goto 120 | ||
2031 : | sdecs goto 224 | ||
2032 : | |||
2033 : | . reduce by rule 254 | ||
2034 : | |||
2035 : | |||
2036 : | state 122: | ||
2037 : | |||
2038 : | aexp : LET ldecs . IN exp_ps END | ||
2039 : | |||
2040 : | IN shift 225 | ||
2041 : | |||
2042 : | |||
2043 : | . error | ||
2044 : | |||
2045 : | |||
2046 : | state 123: | ||
2047 : | |||
2048 : | ldecs : ldec . ldecs | ||
2049 : | |||
2050 : | SEMICOLON shift 125 | ||
2051 : | ABSTYPE shift 42 | ||
2052 : | DATATYPE shift 40 | ||
2053 : | EXCEPTION shift 38 | ||
2054 : | FUN shift 36 | ||
2055 : | INFIX shift 32 | ||
2056 : | INFIXR shift 31 | ||
2057 : | LOCAL shift 124 | ||
2058 : | NONFIX shift 28 | ||
2059 : | OPEN shift 26 | ||
2060 : | OVERLOAD shift 25 | ||
2061 : | TYPE shift 21 | ||
2062 : | VAL shift 20 | ||
2063 : | |||
2064 : | fixity goto 4 | ||
2065 : | ldec goto 123 | ||
2066 : | ldecs goto 226 | ||
2067 : | |||
2068 : | . reduce by rule 181 | ||
2069 : | |||
2070 : | |||
2071 : | state 124: | ||
2072 : | |||
2073 : | ldecs : LOCAL . ldecs IN ldecs END ldecs | ||
2074 : | |||
2075 : | SEMICOLON shift 125 | ||
2076 : | ABSTYPE shift 42 | ||
2077 : | DATATYPE shift 40 | ||
2078 : | EXCEPTION shift 38 | ||
2079 : | FUN shift 36 | ||
2080 : | INFIX shift 32 | ||
2081 : | INFIXR shift 31 | ||
2082 : | LOCAL shift 124 | ||
2083 : | NONFIX shift 28 | ||
2084 : | OPEN shift 26 | ||
2085 : | OVERLOAD shift 25 | ||
2086 : | TYPE shift 21 | ||
2087 : | VAL shift 20 | ||
2088 : | |||
2089 : | fixity goto 4 | ||
2090 : | ldec goto 123 | ||
2091 : | ldecs goto 227 | ||
2092 : | |||
2093 : | . reduce by rule 181 | ||
2094 : | |||
2095 : | |||
2096 : | state 125: | ||
2097 : | |||
2098 : | ldecs : SEMICOLON . ldecs | ||
2099 : | |||
2100 : | SEMICOLON shift 125 | ||
2101 : | ABSTYPE shift 42 | ||
2102 : | DATATYPE shift 40 | ||
2103 : | EXCEPTION shift 38 | ||
2104 : | FUN shift 36 | ||
2105 : | INFIX shift 32 | ||
2106 : | INFIXR shift 31 | ||
2107 : | LOCAL shift 124 | ||
2108 : | NONFIX shift 28 | ||
2109 : | OPEN shift 26 | ||
2110 : | OVERLOAD shift 25 | ||
2111 : | TYPE shift 21 | ||
2112 : | VAL shift 20 | ||
2113 : | |||
2114 : | fixity goto 4 | ||
2115 : | ldec goto 123 | ||
2116 : | ldecs goto 228 | ||
2117 : | |||
2118 : | . reduce by rule 181 | ||
2119 : | |||
2120 : | |||
2121 : | state 126: | ||
2122 : | |||
2123 : | fixity : INFIXR int . (reduce by rule 162) | ||
2124 : | |||
2125 : | |||
2126 : | |||
2127 : | . reduce by rule 162 | ||
2128 : | |||
2129 : | |||
2130 : | state 127: | ||
2131 : | |||
2132 : | fixity : INFIX int . (reduce by rule 160) | ||
2133 : | |||
2134 : | |||
2135 : | |||
2136 : | . reduce by rule 160 | ||
2137 : | |||
2138 : | |||
2139 : | state 128: | ||
2140 : | |||
2141 : | exp : exp . HANDLE match | ||
2142 : | exp : exp . ORELSE exp | ||
2143 : | exp : exp . ANDALSO exp | ||
2144 : | exp : exp . COLON ty | ||
2145 : | exp : IF exp . THEN exp ELSE exp | ||
2146 : | |||
2147 : | HANDLE shift 58 | ||
2148 : | THEN shift 229 | ||
2149 : | COLON shift 57 | ||
2150 : | ORELSE shift 56 | ||
2151 : | ANDALSO shift 55 | ||
2152 : | |||
2153 : | |||
2154 : | . error | ||
2155 : | |||
2156 : | |||
2157 : | state 129: | ||
2158 : | |||
2159 : | aexp : HASH selector . (reduce by rule 61) | ||
2160 : | |||
2161 : | |||
2162 : | |||
2163 : | . reduce by rule 61 | ||
2164 : | |||
2165 : | |||
2166 : | state 130: | ||
2167 : | |||
2168 : | sdec : FUNCTOR fctb . (reduce by rule 264) | ||
2169 : | fctb : fctb . AND fctb | ||
2170 : | |||
2171 : | AND shift 230 | ||
2172 : | |||
2173 : | |||
2174 : | . reduce by rule 264 | ||
2175 : | |||
2176 : | |||
2177 : | state 131: | ||
2178 : | |||
2179 : | fctb : ident . fparamList sigconstraint_op EQUALOP str | ||
2180 : | fctb : ident . fsigconstraint_op EQUALOP fct_exp | ||
2181 : | |||
2182 : | COLON shift 234 | ||
2183 : | COLONGT shift 233 | ||
2184 : | LPAREN shift 170 | ||
2185 : | |||
2186 : | fsigconstraint_op goto 232 | ||
2187 : | fparamList goto 231 | ||
2188 : | |||
2189 : | . reduce by rule 230 | ||
2190 : | |||
2191 : | |||
2192 : | state 132: | ||
2193 : | |||
2194 : | ldec : FUN tyvarseq . fb | ||
2195 : | |||
2196 : | ID shift 103 | ||
2197 : | INT shift 48 | ||
2198 : | INT0 shift 47 | ||
2199 : | WORD shift 101 | ||
2200 : | STRING shift 100 | ||
2201 : | CHAR shift 99 | ||
2202 : | LAZY shift 137 | ||
2203 : | OP shift 97 | ||
2204 : | WILD shift 95 | ||
2205 : | ASTERISK shift 79 | ||
2206 : | LBRACE shift 94 | ||
2207 : | LBRACKET shift 93 | ||
2208 : | LPAREN shift 141 | ||
2209 : | VECTORSTART shift 91 | ||
2210 : | |||
2211 : | id goto 90 | ||
2212 : | int goto 89 | ||
2213 : | apat goto 87 | ||
2214 : | apat' goto 86 | ||
2215 : | fb' goto 136 | ||
2216 : | fb goto 235 | ||
2217 : | apats goto 134 | ||
2218 : | clause goto 133 | ||
2219 : | |||
2220 : | . error | ||
2221 : | |||
2222 : | |||
2223 : | state 133: | ||
2224 : | |||
2225 : | fb' : clause . (reduce by rule 126) | ||
2226 : | fb' : clause . BAR fb' | ||
2227 : | |||
2228 : | BAR shift 236 | ||
2229 : | |||
2230 : | |||
2231 : | . reduce by rule 126 | ||
2232 : | |||
2233 : | |||
2234 : | state 134: | ||
2235 : | |||
2236 : | clause : apats . constraint EQUALOP exp | ||
2237 : | |||
2238 : | COLON shift 238 | ||
2239 : | |||
2240 : | constraint goto 237 | ||
2241 : | |||
2242 : | . reduce by rule 119 | ||
2243 : | |||
2244 : | |||
2245 : | state 135: | ||
2246 : | |||
2247 : | ldec : FUN fb . (reduce by rule 168) | ||
2248 : | |||
2249 : | |||
2250 : | |||
2251 : | . reduce by rule 168 | ||
2252 : | |||
2253 : | |||
2254 : | state 136: | ||
2255 : | |||
2256 : | fb : fb' . (reduce by rule 128) | ||
2257 : | fb : fb' . AND fb | ||
2258 : | |||
2259 : | AND shift 239 | ||
2260 : | |||
2261 : | |||
2262 : | . reduce by rule 128 | ||
2263 : | |||
2264 : | |||
2265 : | state 137: | ||
2266 : | |||
2267 : | fb : LAZY . fb' | ||
2268 : | fb : LAZY . fb' AND fb | ||
2269 : | |||
2270 : | ID shift 103 | ||
2271 : | INT shift 48 | ||
2272 : | INT0 shift 47 | ||
2273 : | WORD shift 101 | ||
2274 : | STRING shift 100 | ||
2275 : | CHAR shift 99 | ||
2276 : | OP shift 97 | ||
2277 : | WILD shift 95 | ||
2278 : | ASTERISK shift 79 | ||
2279 : | LBRACE shift 94 | ||
2280 : | LBRACKET shift 93 | ||
2281 : | LPAREN shift 141 | ||
2282 : | VECTORSTART shift 91 | ||
2283 : | |||
2284 : | id goto 90 | ||
2285 : | int goto 89 | ||
2286 : | apat goto 87 | ||
2287 : | apat' goto 86 | ||
2288 : | fb' goto 240 | ||
2289 : | apats goto 134 | ||
2290 : | clause goto 133 | ||
2291 : | |||
2292 : | . error | ||
2293 : | |||
2294 : | |||
2295 : | state 138: | ||
2296 : | |||
2297 : | rule : pat . DARROW exp | ||
2298 : | pat : pat . AS pat | ||
2299 : | pat : pat . COLON ty | ||
2300 : | |||
2301 : | AS shift 185 | ||
2302 : | DARROW shift 241 | ||
2303 : | COLON shift 183 | ||
2304 : | |||
2305 : | |||
2306 : | . error | ||
2307 : | |||
2308 : | error: state 139: shift/reduce conflict (shift BAR, reduce by rule 32) | ||
2309 : | |||
2310 : | state 139: | ||
2311 : | |||
2312 : | match : rule . (reduce by rule 32) | ||
2313 : | match : rule . BAR match | ||
2314 : | |||
2315 : | BAR shift 242 | ||
2316 : | |||
2317 : | |||
2318 : | . reduce by rule 32 | ||
2319 : | |||
2320 : | |||
2321 : | state 140: | ||
2322 : | |||
2323 : | exp : FN match . (reduce by rule 45) | ||
2324 : | |||
2325 : | |||
2326 : | |||
2327 : | . reduce by rule 45 | ||
2328 : | |||
2329 : | |||
2330 : | state 141: | ||
2331 : | |||
2332 : | apat : LPAREN . pat RPAREN | ||
2333 : | apat : LPAREN . RPAREN | ||
2334 : | apat : LPAREN . pat COMMA pat_list RPAREN | ||
2335 : | apat : LPAREN . pat BAR or_pat_list RPAREN | ||
2336 : | |||
2337 : | ID shift 103 | ||
2338 : | INT shift 48 | ||
2339 : | INT0 shift 47 | ||
2340 : | WORD shift 101 | ||
2341 : | STRING shift 100 | ||
2342 : | CHAR shift 99 | ||
2343 : | OP shift 97 | ||
2344 : | WILD shift 95 | ||
2345 : | ASTERISK shift 79 | ||
2346 : | LBRACE shift 94 | ||
2347 : | LBRACKET shift 93 | ||
2348 : | LPAREN shift 141 | ||
2349 : | RPAREN shift 191 | ||
2350 : | VECTORSTART shift 91 | ||
2351 : | |||
2352 : | id goto 90 | ||
2353 : | int goto 89 | ||
2354 : | pat goto 190 | ||
2355 : | apat goto 87 | ||
2356 : | apat' goto 86 | ||
2357 : | apats goto 84 | ||
2358 : | |||
2359 : | . error | ||
2360 : | |||
2361 : | |||
2362 : | state 142: | ||
2363 : | |||
2364 : | eb : eb . AND eb | ||
2365 : | ldec : EXCEPTION eb . (reduce by rule 175) | ||
2366 : | |||
2367 : | AND shift 243 | ||
2368 : | |||
2369 : | |||
2370 : | . reduce by rule 175 | ||
2371 : | |||
2372 : | |||
2373 : | state 143: | ||
2374 : | |||
2375 : | eb : op_op . ident | ||
2376 : | eb : op_op . ident OF ty | ||
2377 : | eb : op_op . ident EQUALOP qid | ||
2378 : | |||
2379 : | ID shift 53 | ||
2380 : | EQUALOP shift 39 | ||
2381 : | ASTERISK shift 18 | ||
2382 : | |||
2383 : | ident goto 244 | ||
2384 : | |||
2385 : | . error | ||
2386 : | |||
2387 : | |||
2388 : | state 144: | ||
2389 : | |||
2390 : | op_op : OP . (reduce by rule 7) | ||
2391 : | |||
2392 : | |||
2393 : | |||
2394 : | . reduce by rule 7 | ||
2395 : | |||
2396 : | |||
2397 : | state 145: | ||
2398 : | |||
2399 : | db : db . AND db | ||
2400 : | ldec : DATATYPE db . (reduce by rule 171) | ||
2401 : | ldec : DATATYPE db . WITHTYPE tb | ||
2402 : | |||
2403 : | AND shift 246 | ||
2404 : | WITHTYPE shift 245 | ||
2405 : | |||
2406 : | |||
2407 : | . reduce by rule 171 | ||
2408 : | |||
2409 : | |||
2410 : | state 146: | ||
2411 : | |||
2412 : | db : tyvars . ident EQUALOP dbrhs | ||
2413 : | |||
2414 : | ID shift 53 | ||
2415 : | EQUALOP shift 39 | ||
2416 : | ASTERISK shift 18 | ||
2417 : | |||
2418 : | ident goto 247 | ||
2419 : | |||
2420 : | . error | ||
2421 : | |||
2422 : | |||
2423 : | state 147: | ||
2424 : | |||
2425 : | db : LAZY . tyvars ident EQUALOP dbrhs | ||
2426 : | |||
2427 : | TYVAR shift 107 | ||
2428 : | LPAREN shift 106 | ||
2429 : | |||
2430 : | tyvars goto 248 | ||
2431 : | |||
2432 : | . reduce by rule 139 | ||
2433 : | |||
2434 : | |||
2435 : | state 148: | ||
2436 : | |||
2437 : | exp : exp . HANDLE match | ||
2438 : | exp : exp . ORELSE exp | ||
2439 : | exp : exp . ANDALSO exp | ||
2440 : | exp : exp . COLON ty | ||
2441 : | exp : CASE exp . OF match | ||
2442 : | |||
2443 : | HANDLE shift 58 | ||
2444 : | OF shift 249 | ||
2445 : | COLON shift 57 | ||
2446 : | ORELSE shift 56 | ||
2447 : | ANDALSO shift 55 | ||
2448 : | |||
2449 : | |||
2450 : | . error | ||
2451 : | |||
2452 : | |||
2453 : | state 149: | ||
2454 : | |||
2455 : | db : db . AND db | ||
2456 : | ldec : ABSTYPE db . WITH ldecs END | ||
2457 : | ldec : ABSTYPE db . WITHTYPE tb WITH ldecs END | ||
2458 : | |||
2459 : | AND shift 246 | ||
2460 : | WITH shift 251 | ||
2461 : | WITHTYPE shift 250 | ||
2462 : | |||
2463 : | |||
2464 : | . error | ||
2465 : | |||
2466 : | |||
2467 : | state 150: | ||
2468 : | |||
2469 : | aexp : ID DOT . qid | ||
2470 : | |||
2471 : | ID shift 117 | ||
2472 : | EQUALOP shift 39 | ||
2473 : | ASTERISK shift 18 | ||
2474 : | |||
2475 : | ident goto 116 | ||
2476 : | qid goto 252 | ||
2477 : | |||
2478 : | . error | ||
2479 : | |||
2480 : | |||
2481 : | state 151: | ||
2482 : | |||
2483 : | ops : ident ops . (reduce by rule 186) | ||
2484 : | |||
2485 : | |||
2486 : | |||
2487 : | . reduce by rule 186 | ||
2488 : | |||
2489 : | |||
2490 : | state 152: | ||
2491 : | |||
2492 : | exp : exp . HANDLE match | ||
2493 : | exp : exp . ORELSE exp | ||
2494 : | exp : exp . ANDALSO exp | ||
2495 : | exp : exp ANDALSO exp . (reduce by rule 42) | ||
2496 : | exp : exp . COLON ty | ||
2497 : | |||
2498 : | COLON shift 57 | ||
2499 : | |||
2500 : | |||
2501 : | . reduce by rule 42 | ||
2502 : | |||
2503 : | |||
2504 : | state 153: | ||
2505 : | |||
2506 : | exp : exp . HANDLE match | ||
2507 : | exp : exp . ORELSE exp | ||
2508 : | exp : exp ORELSE exp . (reduce by rule 41) | ||
2509 : | exp : exp . ANDALSO exp | ||
2510 : | exp : exp . COLON ty | ||
2511 : | |||
2512 : | COLON shift 57 | ||
2513 : | ANDALSO shift 55 | ||
2514 : | |||
2515 : | |||
2516 : | . reduce by rule 41 | ||
2517 : | |||
2518 : | |||
2519 : | state 154: | ||
2520 : | |||
2521 : | ty : ty . ARROW ty | ||
2522 : | exp : exp COLON ty . (reduce by rule 43) | ||
2523 : | |||
2524 : | ARROW shift 253 | ||
2525 : | |||
2526 : | |||
2527 : | . reduce by rule 43 | ||
2528 : | |||
2529 : | |||
2530 : | state 155: | ||
2531 : | |||
2532 : | ty : tuple_ty . (reduce by rule 27) | ||
2533 : | |||
2534 : | |||
2535 : | |||
2536 : | . reduce by rule 27 | ||
2537 : | |||
2538 : | |||
2539 : | state 156: | ||
2540 : | |||
2541 : | ty' : ty' . tycon | ||
2542 : | tuple_ty : ty' . ASTERISK tuple_ty | ||
2543 : | tuple_ty : ty' . ASTERISK ty' | ||
2544 : | ty : ty' . (reduce by rule 29) | ||
2545 : | |||
2546 : | ID shift 161 | ||
2547 : | ASTERISK shift 255 | ||
2548 : | |||
2549 : | tycon goto 254 | ||
2550 : | |||
2551 : | . reduce by rule 29 | ||
2552 : | |||
2553 : | |||
2554 : | state 157: | ||
2555 : | |||
2556 : | ty' : tycon . (reduce by rule 24) | ||
2557 : | |||
2558 : | |||
2559 : | |||
2560 : | . reduce by rule 24 | ||
2561 : | |||
2562 : | |||
2563 : | state 158: | ||
2564 : | |||
2565 : | ty' : LPAREN . ty0_pc RPAREN tycon | ||
2566 : | ty' : LPAREN . ty RPAREN | ||
2567 : | |||
2568 : | ID shift 161 | ||
2569 : | TYVAR shift 160 | ||
2570 : | LBRACE shift 159 | ||
2571 : | LPAREN shift 158 | ||
2572 : | |||
2573 : | tycon goto 157 | ||
2574 : | ty' goto 156 | ||
2575 : | tuple_ty goto 155 | ||
2576 : | ty goto 257 | ||
2577 : | ty0_pc goto 256 | ||
2578 : | |||
2579 : | . error | ||
2580 : | |||
2581 : | |||
2582 : | state 159: | ||
2583 : | |||
2584 : | ty' : LBRACE . tlabels RBRACE | ||
2585 : | ty' : LBRACE . RBRACE | ||
2586 : | |||
2587 : | ID shift 81 | ||
2588 : | INT shift 80 | ||
2589 : | ASTERISK shift 79 | ||
2590 : | RBRACE shift 261 | ||
2591 : | |||
2592 : | id goto 77 | ||
2593 : | selector goto 260 | ||
2594 : | tlabel goto 259 | ||
2595 : | tlabels goto 258 | ||
2596 : | |||
2597 : | . error | ||
2598 : | |||
2599 : | |||
2600 : | state 160: | ||
2601 : | |||
2602 : | ty' : TYVAR . (reduce by rule 18) | ||
2603 : | |||
2604 : | |||
2605 : | |||
2606 : | . reduce by rule 18 | ||
2607 : | |||
2608 : | |||
2609 : | state 161: | ||
2610 : | |||
2611 : | tycon : ID . DOT tycon | ||
2612 : | tycon : ID . (reduce by rule 14) | ||
2613 : | |||
2614 : | DOT shift 262 | ||
2615 : | |||
2616 : | |||
2617 : | . reduce by rule 14 | ||
2618 : | |||
2619 : | |||
2620 : | state 162: | ||
2621 : | |||
2622 : | exp : exp HANDLE match . (reduce by rule 40) | ||
2623 : | |||
2624 : | |||
2625 : | |||
2626 : | . reduce by rule 40 | ||
2627 : | |||
2628 : | |||
2629 : | state 163: | ||
2630 : | |||
2631 : | quote : BEGINQ ot_list ENDQ . (reduce by rule 75) | ||
2632 : | |||
2633 : | |||
2634 : | |||
2635 : | . reduce by rule 75 | ||
2636 : | |||
2637 : | |||
2638 : | state 164: | ||
2639 : | |||
2640 : | ot_list : OBJL aexp . (reduce by rule 76) | ||
2641 : | ot_list : OBJL aexp . ot_list | ||
2642 : | |||
2643 : | OBJL shift 61 | ||
2644 : | |||
2645 : | ot_list goto 263 | ||
2646 : | |||
2647 : | . reduce by rule 76 | ||
2648 : | |||
2649 : | |||
2650 : | state 165: | ||
2651 : | |||
2652 : | aexp : ID . DOT qid | ||
2653 : | |||
2654 : | DOT shift 150 | ||
2655 : | |||
2656 : | |||
2657 : | . error | ||
2658 : | |||
2659 : | |||
2660 : | state 166: | ||
2661 : | |||
2662 : | aexp : VECTORSTART exp_list RBRACKET . (reduce by rule 69) | ||
2663 : | |||
2664 : | |||
2665 : | |||
2666 : | . reduce by rule 69 | ||
2667 : | |||
2668 : | |||
2669 : | state 167: | ||
2670 : | |||
2671 : | exp_list : exp COMMA . exp_list | ||
2672 : | |||
2673 : | ID shift 49 | ||
2674 : | INT shift 48 | ||
2675 : | INT0 shift 47 | ||
2676 : | WORD shift 46 | ||
2677 : | REAL shift 45 | ||
2678 : | STRING shift 44 | ||
2679 : | CHAR shift 43 | ||
2680 : | CASE shift 41 | ||
2681 : | EQUALOP shift 39 | ||
2682 : | FN shift 37 | ||
2683 : | HASH shift 34 | ||
2684 : | IF shift 33 | ||
2685 : | LET shift 30 | ||
2686 : | OP shift 27 | ||
2687 : | RAISE shift 24 | ||
2688 : | WHILE shift 19 | ||
2689 : | ASTERISK shift 18 | ||
2690 : | LBRACE shift 17 | ||
2691 : | LBRACKET shift 16 | ||
2692 : | LPAREN shift 15 | ||
2693 : | VECTORSTART shift 13 | ||
2694 : | BEGINQ shift 12 | ||
2695 : | AQID shift 11 | ||
2696 : | |||
2697 : | ident goto 10 | ||
2698 : | int goto 9 | ||
2699 : | exp goto 64 | ||
2700 : | app_exp goto 7 | ||
2701 : | aexp goto 6 | ||
2702 : | exp_list goto 264 | ||
2703 : | quote goto 5 | ||
2704 : | |||
2705 : | . error | ||
2706 : | |||
2707 : | |||
2708 : | state 168: | ||
2709 : | |||
2710 : | fsigb : fsigb AND . fsigb | ||
2711 : | |||
2712 : | ID shift 53 | ||
2713 : | EQUALOP shift 39 | ||
2714 : | ASTERISK shift 18 | ||
2715 : | |||
2716 : | ident goto 67 | ||
2717 : | fsigb goto 265 | ||
2718 : | |||
2719 : | . error | ||
2720 : | |||
2721 : | |||
2722 : | state 169: | ||
2723 : | |||
2724 : | fsigb : ident fparamList . EQUALOP sign | ||
2725 : | |||
2726 : | EQUALOP shift 266 | ||
2727 : | |||
2728 : | |||
2729 : | . error | ||
2730 : | |||
2731 : | |||
2732 : | state 170: | ||
2733 : | |||
2734 : | fparamList : LPAREN . fparam RPAREN | ||
2735 : | fparamList : LPAREN . fparam RPAREN fparamList | ||
2736 : | |||
2737 : | SEMICOLON shift 280 | ||
2738 : | ID shift 279 | ||
2739 : | DATATYPE shift 278 | ||
2740 : | EQTYPE shift 277 | ||
2741 : | EXCEPTION shift 276 | ||
2742 : | FUNCTOR shift 275 | ||
2743 : | INCLUDE shift 274 | ||
2744 : | SHARING shift 273 | ||
2745 : | STRUCTURE shift 272 | ||
2746 : | TYPE shift 271 | ||
2747 : | VAL shift 270 | ||
2748 : | |||
2749 : | spec_s goto 269 | ||
2750 : | spec goto 268 | ||
2751 : | fparam goto 267 | ||
2752 : | |||
2753 : | . reduce by rule 187 | ||
2754 : | |||
2755 : | |||
2756 : | state 171: | ||
2757 : | |||
2758 : | aexp : LPAREN exp_2c RPAREN . (reduce by rule 66) | ||
2759 : | |||
2760 : | |||
2761 : | |||
2762 : | . reduce by rule 66 | ||
2763 : | |||
2764 : | |||
2765 : | state 172: | ||
2766 : | |||
2767 : | exp_2c : exp COMMA . exp_2c | ||
2768 : | exp_2c : exp COMMA . exp | ||
2769 : | |||
2770 : | ID shift 49 | ||
2771 : | INT shift 48 | ||
2772 : | INT0 shift 47 | ||
2773 : | WORD shift 46 | ||
2774 : | REAL shift 45 | ||
2775 : | STRING shift 44 | ||
2776 : | CHAR shift 43 | ||
2777 : | CASE shift 41 | ||
2778 : | EQUALOP shift 39 | ||
2779 : | FN shift 37 | ||
2780 : | HASH shift 34 | ||
2781 : | IF shift 33 | ||
2782 : | LET shift 30 | ||
2783 : | OP shift 27 | ||
2784 : | RAISE shift 24 | ||
2785 : | WHILE shift 19 | ||
2786 : | ASTERISK shift 18 | ||
2787 : | LBRACE shift 17 | ||
2788 : | LBRACKET shift 16 | ||
2789 : | LPAREN shift 15 | ||
2790 : | VECTORSTART shift 13 | ||
2791 : | BEGINQ shift 12 | ||
2792 : | AQID shift 11 | ||
2793 : | |||
2794 : | ident goto 10 | ||
2795 : | int goto 9 | ||
2796 : | exp goto 282 | ||
2797 : | app_exp goto 7 | ||
2798 : | aexp goto 6 | ||
2799 : | exp_2c goto 281 | ||
2800 : | quote goto 5 | ||
2801 : | |||
2802 : | . error | ||
2803 : | |||
2804 : | |||
2805 : | state 173: | ||
2806 : | |||
2807 : | exp_ps : exp SEMICOLON . exp_ps | ||
2808 : | |||
2809 : | ID shift 49 | ||
2810 : | INT shift 48 | ||
2811 : | INT0 shift 47 | ||
2812 : | WORD shift 46 | ||
2813 : | REAL shift 45 | ||
2814 : | STRING shift 44 | ||
2815 : | CHAR shift 43 | ||
2816 : | CASE shift 41 | ||
2817 : | EQUALOP shift 39 | ||
2818 : | FN shift 37 | ||
2819 : | HASH shift 34 | ||
2820 : | IF shift 33 | ||
2821 : | LET shift 30 | ||
2822 : | OP shift 27 | ||
2823 : | RAISE shift 24 | ||
2824 : | WHILE shift 19 | ||
2825 : | ASTERISK shift 18 | ||
2826 : | LBRACE shift 17 | ||
2827 : | LBRACKET shift 16 | ||
2828 : | LPAREN shift 15 | ||
2829 : | VECTORSTART shift 13 | ||
2830 : | BEGINQ shift 12 | ||
2831 : | AQID shift 11 | ||
2832 : | |||
2833 : | ident goto 10 | ||
2834 : | int goto 9 | ||
2835 : | exp_ps goto 284 | ||
2836 : | exp goto 283 | ||
2837 : | app_exp goto 7 | ||
2838 : | aexp goto 6 | ||
2839 : | quote goto 5 | ||
2840 : | |||
2841 : | . error | ||
2842 : | |||
2843 : | |||
2844 : | state 174: | ||
2845 : | |||
2846 : | aexp : LPAREN exp_ps RPAREN . (reduce by rule 65) | ||
2847 : | |||
2848 : | |||
2849 : | |||
2850 : | . reduce by rule 65 | ||
2851 : | |||
2852 : | |||
2853 : | state 175: | ||
2854 : | |||
2855 : | aexp : LBRACKET exp_list RBRACKET . (reduce by rule 67) | ||
2856 : | |||
2857 : | |||
2858 : | |||
2859 : | . reduce by rule 67 | ||
2860 : | |||
2861 : | |||
2862 : | state 176: | ||
2863 : | |||
2864 : | aexp : LBRACE elabels RBRACE . (reduce by rule 62) | ||
2865 : | |||
2866 : | |||
2867 : | |||
2868 : | . reduce by rule 62 | ||
2869 : | |||
2870 : | |||
2871 : | state 177: | ||
2872 : | |||
2873 : | elabels : elabel COMMA . elabels | ||
2874 : | |||
2875 : | ID shift 81 | ||
2876 : | INT shift 80 | ||
2877 : | ASTERISK shift 79 | ||
2878 : | |||
2879 : | id goto 77 | ||
2880 : | selector goto 76 | ||
2881 : | elabel goto 75 | ||
2882 : | elabels goto 285 | ||
2883 : | |||
2884 : | . error | ||
2885 : | |||
2886 : | |||
2887 : | state 178: | ||
2888 : | |||
2889 : | elabel : selector EQUALOP . exp | ||
2890 : | |||
2891 : | ID shift 49 | ||
2892 : | INT shift 48 | ||
2893 : | INT0 shift 47 | ||
2894 : | WORD shift 46 | ||
2895 : | REAL shift 45 | ||
2896 : | STRING shift 44 | ||
2897 : | CHAR shift 43 | ||
2898 : | CASE shift 41 | ||
2899 : | EQUALOP shift 39 | ||
2900 : | FN shift 37 | ||
2901 : | HASH shift 34 | ||
2902 : | IF shift 33 | ||
2903 : | LET shift 30 | ||
2904 : | OP shift 27 | ||
2905 : | RAISE shift 24 | ||
2906 : | WHILE shift 19 | ||
2907 : | ASTERISK shift 18 | ||
2908 : | LBRACE shift 17 | ||
2909 : | LBRACKET shift 16 | ||
2910 : | LPAREN shift 15 | ||
2911 : | VECTORSTART shift 13 | ||
2912 : | BEGINQ shift 12 | ||
2913 : | AQID shift 11 | ||
2914 : | |||
2915 : | ident goto 10 | ||
2916 : | int goto 9 | ||
2917 : | exp goto 286 | ||
2918 : | app_exp goto 7 | ||
2919 : | aexp goto 6 | ||
2920 : | quote goto 5 | ||
2921 : | |||
2922 : | . error | ||
2923 : | |||
2924 : | |||
2925 : | state 179: | ||
2926 : | |||
2927 : | exp : WHILE exp DO . exp | ||
2928 : | |||
2929 : | ID shift 49 | ||
2930 : | INT shift 48 | ||
2931 : | INT0 shift 47 | ||
2932 : | WORD shift 46 | ||
2933 : | REAL shift 45 | ||
2934 : | STRING shift 44 | ||
2935 : | CHAR shift 43 | ||
2936 : | CASE shift 41 | ||
2937 : | EQUALOP shift 39 | ||
2938 : | FN shift 37 | ||
2939 : | HASH shift 34 | ||
2940 : | IF shift 33 | ||
2941 : | LET shift 30 | ||
2942 : | OP shift 27 | ||
2943 : | RAISE shift 24 | ||
2944 : | WHILE shift 19 | ||
2945 : | ASTERISK shift 18 | ||
2946 : | LBRACE shift 17 | ||
2947 : | LBRACKET shift 16 | ||
2948 : | LPAREN shift 15 | ||
2949 : | VECTORSTART shift 13 | ||
2950 : | BEGINQ shift 12 | ||
2951 : | AQID shift 11 | ||
2952 : | |||
2953 : | ident goto 10 | ||
2954 : | int goto 9 | ||
2955 : | exp goto 287 | ||
2956 : | app_exp goto 7 | ||
2957 : | aexp goto 6 | ||
2958 : | quote goto 5 | ||
2959 : | |||
2960 : | . error | ||
2961 : | |||
2962 : | |||
2963 : | state 180: | ||
2964 : | |||
2965 : | vb : vb . AND vb | ||
2966 : | ldec : VAL tyvarseq vb . (reduce by rule 165) | ||
2967 : | |||
2968 : | AND shift 181 | ||
2969 : | |||
2970 : | |||
2971 : | . reduce by rule 165 | ||
2972 : | |||
2973 : | |||
2974 : | state 181: | ||
2975 : | |||
2976 : | vb : vb AND . vb | ||
2977 : | |||
2978 : | ID shift 103 | ||
2979 : | INT shift 48 | ||
2980 : | INT0 shift 47 | ||
2981 : | WORD shift 101 | ||
2982 : | STRING shift 100 | ||
2983 : | CHAR shift 99 | ||
2984 : | LAZY shift 98 | ||
2985 : | OP shift 97 | ||
2986 : | WILD shift 95 | ||
2987 : | ASTERISK shift 79 | ||
2988 : | LBRACE shift 94 | ||
2989 : | LBRACKET shift 93 | ||
2990 : | LPAREN shift 141 | ||
2991 : | VECTORSTART shift 91 | ||
2992 : | |||
2993 : | id goto 90 | ||
2994 : | int goto 89 | ||
2995 : | pat goto 88 | ||
2996 : | apat goto 87 | ||
2997 : | apat' goto 86 | ||
2998 : | vb goto 288 | ||
2999 : | apats goto 84 | ||
3000 : | |||
3001 : | . error | ||
3002 : | |||
3003 : | |||
3004 : | state 182: | ||
3005 : | |||
3006 : | apats : apat apats . (reduce by rule 133) | ||
3007 : | |||
3008 : | |||
3009 : | |||
3010 : | . reduce by rule 133 | ||
3011 : | |||
3012 : | |||
3013 : | state 183: | ||
3014 : | |||
3015 : | pat : pat COLON . ty | ||
3016 : | |||
3017 : | ID shift 161 | ||
3018 : | TYVAR shift 160 | ||
3019 : | LBRACE shift 159 | ||
3020 : | LPAREN shift 158 | ||
3021 : | |||
3022 : | tycon goto 157 | ||
3023 : | ty' goto 156 | ||
3024 : | tuple_ty goto 155 | ||
3025 : | ty goto 289 | ||
3026 : | |||
3027 : | . error | ||
3028 : | |||
3029 : | |||
3030 : | state 184: | ||
3031 : | |||
3032 : | vb : pat EQUALOP . exp | ||
3033 : | |||
3034 : | ID shift 49 | ||
3035 : | INT shift 48 | ||
3036 : | INT0 shift 47 | ||
3037 : | WORD shift 46 | ||
3038 : | REAL shift 45 | ||
3039 : | STRING shift 44 | ||
3040 : | CHAR shift 43 | ||
3041 : | CASE shift 41 | ||
3042 : | EQUALOP shift 39 | ||
3043 : | FN shift 37 | ||
3044 : | HASH shift 34 | ||
3045 : | IF shift 33 | ||
3046 : | LET shift 30 | ||
3047 : | OP shift 27 | ||
3048 : | RAISE shift 24 | ||
3049 : | WHILE shift 19 | ||
3050 : | ASTERISK shift 18 | ||
3051 : | LBRACE shift 17 | ||
3052 : | LBRACKET shift 16 | ||
3053 : | LPAREN shift 15 | ||
3054 : | VECTORSTART shift 13 | ||
3055 : | BEGINQ shift 12 | ||
3056 : | AQID shift 11 | ||
3057 : | |||
3058 : | ident goto 10 | ||
3059 : | int goto 9 | ||
3060 : | exp goto 290 | ||
3061 : | app_exp goto 7 | ||
3062 : | aexp goto 6 | ||
3063 : | quote goto 5 | ||
3064 : | |||
3065 : | . error | ||
3066 : | |||
3067 : | |||
3068 : | state 185: | ||
3069 : | |||
3070 : | pat : pat AS . pat | ||
3071 : | |||
3072 : | ID shift 103 | ||
3073 : | INT shift 48 | ||
3074 : | INT0 shift 47 | ||
3075 : | WORD shift 101 | ||
3076 : | STRING shift 100 | ||
3077 : | CHAR shift 99 | ||
3078 : | OP shift 97 | ||
3079 : | WILD shift 95 | ||
3080 : | ASTERISK shift 79 | ||
3081 : | LBRACE shift 94 | ||
3082 : | LBRACKET shift 93 | ||
3083 : | LPAREN shift 141 | ||
3084 : | VECTORSTART shift 91 | ||
3085 : | |||
3086 : | id goto 90 | ||
3087 : | int goto 89 | ||
3088 : | pat goto 291 | ||
3089 : | apat goto 87 | ||
3090 : | apat' goto 86 | ||
3091 : | apats goto 84 | ||
3092 : | |||
3093 : | . error | ||
3094 : | |||
3095 : | |||
3096 : | state 186: | ||
3097 : | |||
3098 : | apat' : VECTORSTART pat_list . RBRACKET | ||
3099 : | |||
3100 : | RBRACKET shift 292 | ||
3101 : | |||
3102 : | |||
3103 : | . error | ||
3104 : | |||
3105 : | |||
3106 : | state 187: | ||
3107 : | |||
3108 : | pat : pat . AS pat | ||
3109 : | pat : pat . COLON ty | ||
3110 : | pat_list : pat . (reduce by rule 112) | ||
3111 : | pat_list : pat . COMMA pat_list | ||
3112 : | |||
3113 : | AS shift 185 | ||
3114 : | COLON shift 183 | ||
3115 : | COMMA shift 293 | ||
3116 : | |||
3117 : | |||
3118 : | . reduce by rule 112 | ||
3119 : | |||
3120 : | |||
3121 : | state 188: | ||
3122 : | |||
3123 : | apat' : VECTORSTART RBRACKET . (reduce by rule 100) | ||
3124 : | |||
3125 : | |||
3126 : | |||
3127 : | . reduce by rule 100 | ||
3128 : | |||
3129 : | |||
3130 : | state 189: | ||
3131 : | |||
3132 : | tyvarseq : LPAREN tyvar_pc . RPAREN | ||
3133 : | |||
3134 : | RPAREN shift 294 | ||
3135 : | |||
3136 : | |||
3137 : | . error | ||
3138 : | |||
3139 : | |||
3140 : | state 190: | ||
3141 : | |||
3142 : | pat : pat . AS pat | ||
3143 : | pat : pat . COLON ty | ||
3144 : | apat : LPAREN pat . RPAREN | ||
3145 : | apat : LPAREN pat . COMMA pat_list RPAREN | ||
3146 : | apat : LPAREN pat . BAR or_pat_list RPAREN | ||
3147 : | |||
3148 : | AS shift 185 | ||
3149 : | BAR shift 297 | ||
3150 : | COLON shift 183 | ||
3151 : | COMMA shift 296 | ||
3152 : | RPAREN shift 295 | ||
3153 : | |||
3154 : | |||
3155 : | . error | ||
3156 : | |||
3157 : | |||
3158 : | state 191: | ||
3159 : | |||
3160 : | apat : LPAREN RPAREN . (reduce by rule 88) | ||
3161 : | |||
3162 : | |||
3163 : | |||
3164 : | . reduce by rule 88 | ||
3165 : | |||
3166 : | |||
3167 : | state 192: | ||
3168 : | |||
3169 : | tyvar_pc : TYVAR . (reduce by rule 142) | ||
3170 : | tyvar_pc : TYVAR . COMMA tyvar_pc | ||
3171 : | |||
3172 : | COMMA shift 298 | ||
3173 : | |||
3174 : | |||
3175 : | . reduce by rule 142 | ||
3176 : | |||
3177 : | |||
3178 : | state 193: | ||
3179 : | |||
3180 : | apat' : LBRACKET pat_list . RBRACKET | ||
3181 : | |||
3182 : | RBRACKET shift 299 | ||
3183 : | |||
3184 : | |||
3185 : | . error | ||
3186 : | |||
3187 : | |||
3188 : | state 194: | ||
3189 : | |||
3190 : | apat' : LBRACKET RBRACKET . (reduce by rule 98) | ||
3191 : | |||
3192 : | |||
3193 : | |||
3194 : | . reduce by rule 98 | ||
3195 : | |||
3196 : | |||
3197 : | state 195: | ||
3198 : | |||
3199 : | apat' : LBRACE plabels . RBRACE | ||
3200 : | |||
3201 : | RBRACE shift 300 | ||
3202 : | |||
3203 : | |||
3204 : | . error | ||
3205 : | |||
3206 : | |||
3207 : | state 196: | ||
3208 : | |||
3209 : | plabels : plabel . COMMA plabels | ||
3210 : | plabels : plabel . (reduce by rule 110) | ||
3211 : | |||
3212 : | COMMA shift 301 | ||
3213 : | |||
3214 : | |||
3215 : | . reduce by rule 110 | ||
3216 : | |||
3217 : | |||
3218 : | state 197: | ||
3219 : | |||
3220 : | plabel : selector . EQUALOP pat | ||
3221 : | |||
3222 : | EQUALOP shift 302 | ||
3223 : | |||
3224 : | |||
3225 : | . error | ||
3226 : | |||
3227 : | |||
3228 : | state 198: | ||
3229 : | |||
3230 : | apat' : LBRACE RBRACE . (reduce by rule 102) | ||
3231 : | |||
3232 : | |||
3233 : | |||
3234 : | . reduce by rule 102 | ||
3235 : | |||
3236 : | |||
3237 : | state 199: | ||
3238 : | |||
3239 : | plabels : DOTDOTDOT . (reduce by rule 111) | ||
3240 : | |||
3241 : | |||
3242 : | |||
3243 : | . reduce by rule 111 | ||
3244 : | |||
3245 : | |||
3246 : | state 200: | ||
3247 : | |||
3248 : | id : ID . (reduce by rule 2) | ||
3249 : | plabel : ID . (reduce by rule 105) | ||
3250 : | plabel : ID . AS pat | ||
3251 : | plabel : ID . COLON ty | ||
3252 : | plabel : ID . COLON ty AS pat | ||
3253 : | |||
3254 : | AS shift 304 | ||
3255 : | EQUALOP reduce by rule 2 | ||
3256 : | COLON shift 303 | ||
3257 : | COMMA reduce by rule 105 | ||
3258 : | RBRACE reduce by rule 105 | ||
3259 : | |||
3260 : | |||
3261 : | . error | ||
3262 : | |||
3263 : | |||
3264 : | state 201: | ||
3265 : | |||
3266 : | ldec : VAL REC tyvarseq . rvb | ||
3267 : | |||
3268 : | ID shift 81 | ||
3269 : | LAZY shift 206 | ||
3270 : | OP shift 205 | ||
3271 : | ASTERISK shift 79 | ||
3272 : | |||
3273 : | id goto 203 | ||
3274 : | rvb goto 305 | ||
3275 : | |||
3276 : | . error | ||
3277 : | |||
3278 : | |||
3279 : | state 202: | ||
3280 : | |||
3281 : | rvb : rvb . AND rvb | ||
3282 : | ldec : VAL REC rvb . (reduce by rule 166) | ||
3283 : | |||
3284 : | AND shift 306 | ||
3285 : | |||
3286 : | |||
3287 : | . reduce by rule 166 | ||
3288 : | |||
3289 : | |||
3290 : | state 203: | ||
3291 : | |||
3292 : | rvb : id . constraint EQUALOP exp | ||
3293 : | |||
3294 : | COLON shift 238 | ||
3295 : | |||
3296 : | constraint goto 307 | ||
3297 : | |||
3298 : | . reduce by rule 119 | ||
3299 : | |||
3300 : | |||
3301 : | state 204: | ||
3302 : | |||
3303 : | tyvarseq : LPAREN . tyvar_pc RPAREN | ||
3304 : | |||
3305 : | TYVAR shift 192 | ||
3306 : | |||
3307 : | tyvar_pc goto 189 | ||
3308 : | |||
3309 : | . error | ||
3310 : | |||
3311 : | |||
3312 : | state 205: | ||
3313 : | |||
3314 : | rvb : OP . id constraint EQUALOP exp | ||
3315 : | |||
3316 : | ID shift 81 | ||
3317 : | ASTERISK shift 79 | ||
3318 : | |||
3319 : | id goto 308 | ||
3320 : | |||
3321 : | . error | ||
3322 : | |||
3323 : | |||
3324 : | state 206: | ||
3325 : | |||
3326 : | rvb : LAZY . id constraint EQUALOP exp | ||
3327 : | rvb : LAZY . OP id constraint EQUALOP exp | ||
3328 : | |||
3329 : | ID shift 81 | ||
3330 : | OP shift 310 | ||
3331 : | ASTERISK shift 79 | ||
3332 : | |||
3333 : | id goto 309 | ||
3334 : | |||
3335 : | . error | ||
3336 : | |||
3337 : | |||
3338 : | state 207: | ||
3339 : | |||
3340 : | apat' : OP ident . (reduce by rule 91) | ||
3341 : | |||
3342 : | |||
3343 : | |||
3344 : | . reduce by rule 91 | ||
3345 : | |||
3346 : | |||
3347 : | state 208: | ||
3348 : | |||
3349 : | pat : pat . AS pat | ||
3350 : | pat : pat . COLON ty | ||
3351 : | vb : LAZY pat . EQUALOP exp | ||
3352 : | |||
3353 : | AS shift 185 | ||
3354 : | EQUALOP shift 311 | ||
3355 : | COLON shift 183 | ||
3356 : | |||
3357 : | |||
3358 : | . error | ||
3359 : | |||
3360 : | |||
3361 : | state 209: | ||
3362 : | |||
3363 : | apat' : ID DOT . qid | ||
3364 : | |||
3365 : | ID shift 117 | ||
3366 : | EQUALOP shift 39 | ||
3367 : | ASTERISK shift 18 | ||
3368 : | |||
3369 : | ident goto 116 | ||
3370 : | qid goto 312 | ||
3371 : | |||
3372 : | . error | ||
3373 : | |||
3374 : | |||
3375 : | state 210: | ||
3376 : | |||
3377 : | tb : tyvars ID . EQUALOP ty | ||
3378 : | |||
3379 : | EQUALOP shift 313 | ||
3380 : | |||
3381 : | |||
3382 : | . error | ||
3383 : | |||
3384 : | |||
3385 : | state 211: | ||
3386 : | |||
3387 : | tb : tb AND . tb | ||
3388 : | |||
3389 : | TYVAR shift 107 | ||
3390 : | LPAREN shift 106 | ||
3391 : | |||
3392 : | tb goto 314 | ||
3393 : | tyvars goto 104 | ||
3394 : | |||
3395 : | . reduce by rule 139 | ||
3396 : | |||
3397 : | |||
3398 : | state 212: | ||
3399 : | |||
3400 : | tyvars : LPAREN tyvar_pc . RPAREN | ||
3401 : | |||
3402 : | RPAREN shift 315 | ||
3403 : | |||
3404 : | |||
3405 : | . error | ||
3406 : | |||
3407 : | |||
3408 : | state 213: | ||
3409 : | |||
3410 : | strb : strb AND . strb | ||
3411 : | |||
3412 : | ID shift 53 | ||
3413 : | EQUALOP shift 39 | ||
3414 : | ASTERISK shift 18 | ||
3415 : | |||
3416 : | ident goto 109 | ||
3417 : | strb goto 316 | ||
3418 : | |||
3419 : | . error | ||
3420 : | |||
3421 : | |||
3422 : | state 214: | ||
3423 : | |||
3424 : | strb : ident sigconstraint_op . EQUALOP str | ||
3425 : | |||
3426 : | EQUALOP shift 317 | ||
3427 : | |||
3428 : | |||
3429 : | . error | ||
3430 : | |||
3431 : | |||
3432 : | state 215: | ||
3433 : | |||
3434 : | sigconstraint_op : COLONGT . sign | ||
3435 : | |||
3436 : | ID shift 53 | ||
3437 : | EQUALOP shift 39 | ||
3438 : | SIG shift 320 | ||
3439 : | ASTERISK shift 18 | ||
3440 : | |||
3441 : | ident goto 319 | ||
3442 : | sign goto 318 | ||
3443 : | |||
3444 : | . error | ||
3445 : | |||
3446 : | |||
3447 : | state 216: | ||
3448 : | |||
3449 : | sigconstraint_op : COLON . sign | ||
3450 : | |||
3451 : | ID shift 53 | ||
3452 : | EQUALOP shift 39 | ||
3453 : | SIG shift 320 | ||
3454 : | ASTERISK shift 18 | ||
3455 : | |||
3456 : | ident goto 319 | ||
3457 : | sign goto 321 | ||
3458 : | |||
3459 : | . error | ||
3460 : | |||
3461 : | |||
3462 : | state 217: | ||
3463 : | |||
3464 : | sigb : sigb AND . sigb | ||
3465 : | |||
3466 : | ID shift 53 | ||
3467 : | EQUALOP shift 39 | ||
3468 : | ASTERISK shift 18 | ||
3469 : | |||
3470 : | ident goto 111 | ||
3471 : | sigb goto 322 | ||
3472 : | |||
3473 : | . error | ||
3474 : | |||
3475 : | |||
3476 : | state 218: | ||
3477 : | |||
3478 : | sigb : ident EQUALOP . sign | ||
3479 : | |||
3480 : | ID shift 53 | ||
3481 : | EQUALOP shift 39 | ||
3482 : | SIG shift 320 | ||
3483 : | ASTERISK shift 18 | ||
3484 : | |||
3485 : | ident goto 319 | ||
3486 : | sign goto 323 | ||
3487 : | |||
3488 : | . error | ||
3489 : | |||
3490 : | |||
3491 : | state 219: | ||
3492 : | |||
3493 : | ldec : OVERLOAD ident COLON . ty AS exp_pa | ||
3494 : | |||
3495 : | ID shift 161 | ||
3496 : | TYVAR shift 160 | ||
3497 : | LBRACE shift 159 | ||
3498 : | LPAREN shift 158 | ||
3499 : | |||
3500 : | tycon goto 157 | ||
3501 : | ty' goto 156 | ||
3502 : | tuple_ty goto 155 | ||
3503 : | ty goto 324 | ||
3504 : | |||
3505 : | . error | ||
3506 : | |||
3507 : | |||
3508 : | state 220: | ||
3509 : | |||
3510 : | qid_p : qid qid_p . (reduce by rule 158) | ||
3511 : | |||
3512 : | |||
3513 : | |||
3514 : | . reduce by rule 158 | ||
3515 : | |||
3516 : | |||
3517 : | state 221: | ||
3518 : | |||
3519 : | qid : ID DOT . qid | ||
3520 : | |||
3521 : | ID shift 117 | ||
3522 : | EQUALOP shift 39 | ||
3523 : | ASTERISK shift 18 | ||
3524 : | |||
3525 : | ident goto 116 | ||
3526 : | qid goto 325 | ||
3527 : | |||
3528 : | . error | ||
3529 : | |||
3530 : | |||
3531 : | state 222: | ||
3532 : | |||
3533 : | sdec : LOCAL sdecs IN . sdecs END | ||
3534 : | |||
3535 : | SEMICOLON shift 121 | ||
3536 : | ABSTYPE shift 42 | ||
3537 : | DATATYPE shift 40 | ||
3538 : | EXCEPTION shift 38 | ||
3539 : | FUN shift 36 | ||
3540 : | FUNCTOR shift 35 | ||
3541 : | INFIX shift 32 | ||
3542 : | INFIXR shift 31 | ||
3543 : | LOCAL shift 29 | ||
3544 : | NONFIX shift 28 | ||
3545 : | OPEN shift 26 | ||
3546 : | OVERLOAD shift 25 | ||
3547 : | SIGNATURE shift 23 | ||
3548 : | STRUCTURE shift 22 | ||
3549 : | TYPE shift 21 | ||
3550 : | VAL shift 20 | ||
3551 : | FUNSIG shift 14 | ||
3552 : | |||
3553 : | fixity goto 4 | ||
3554 : | ldec goto 3 | ||
3555 : | sdec goto 120 | ||
3556 : | sdecs goto 326 | ||
3557 : | |||
3558 : | . reduce by rule 254 | ||
3559 : | |||
3560 : | |||
3561 : | state 223: | ||
3562 : | |||
3563 : | sdecs : sdec sdecs . (reduce by rule 252) | ||
3564 : | |||
3565 : | |||
3566 : | |||
3567 : | . reduce by rule 252 | ||
3568 : | |||
3569 : | |||
3570 : | state 224: | ||
3571 : | |||
3572 : | sdecs : SEMICOLON sdecs . (reduce by rule 253) | ||
3573 : | |||
3574 : | |||
3575 : | |||
3576 : | . reduce by rule 253 | ||
3577 : | |||
3578 : | |||
3579 : | state 225: | ||
3580 : | |||
3581 : | aexp : LET ldecs IN . exp_ps END | ||
3582 : | |||
3583 : | ID shift 49 | ||
3584 : | INT shift 48 | ||
3585 : | INT0 shift 47 | ||
3586 : | WORD shift 46 | ||
3587 : | REAL shift 45 | ||
3588 : | STRING shift 44 | ||
3589 : | CHAR shift 43 | ||
3590 : | CASE shift 41 | ||
3591 : | EQUALOP shift 39 | ||
3592 : | FN shift 37 | ||
3593 : | HASH shift 34 | ||
3594 : | IF shift 33 | ||
3595 : | LET shift 30 | ||
3596 : | OP shift 27 | ||
3597 : | RAISE shift 24 | ||
3598 : | WHILE shift 19 | ||
3599 : | ASTERISK shift 18 | ||
3600 : | LBRACE shift 17 | ||
3601 : | LBRACKET shift 16 | ||
3602 : | LPAREN shift 15 | ||
3603 : | VECTORSTART shift 13 | ||
3604 : | BEGINQ shift 12 | ||
3605 : | AQID shift 11 | ||
3606 : | |||
3607 : | ident goto 10 | ||
3608 : | int goto 9 | ||
3609 : | exp_ps goto 327 | ||
3610 : | exp goto 283 | ||
3611 : | app_exp goto 7 | ||
3612 : | aexp goto 6 | ||
3613 : | quote goto 5 | ||
3614 : | |||
3615 : | . error | ||
3616 : | |||
3617 : | |||
3618 : | state 226: | ||
3619 : | |||
3620 : | ldecs : ldec ldecs . (reduce by rule 182) | ||
3621 : | |||
3622 : | |||
3623 : | |||
3624 : | . reduce by rule 182 | ||
3625 : | |||
3626 : | |||
3627 : | state 227: | ||
3628 : | |||
3629 : | ldecs : LOCAL ldecs . IN ldecs END ldecs | ||
3630 : | |||
3631 : | IN shift 328 | ||
3632 : | |||
3633 : | |||
3634 : | . error | ||
3635 : | |||
3636 : | |||
3637 : | state 228: | ||
3638 : | |||
3639 : | ldecs : SEMICOLON ldecs . (reduce by rule 183) | ||
3640 : | |||
3641 : | |||
3642 : | |||
3643 : | . reduce by rule 183 | ||
3644 : | |||
3645 : | |||
3646 : | state 229: | ||
3647 : | |||
3648 : | exp : IF exp THEN . exp ELSE exp | ||
3649 : | |||
3650 : | ID shift 49 | ||
3651 : | INT shift 48 | ||
3652 : | INT0 shift 47 | ||
3653 : | WORD shift 46 | ||
3654 : | REAL shift 45 | ||
3655 : | STRING shift 44 | ||
3656 : | CHAR shift 43 | ||
3657 : | CASE shift 41 | ||
3658 : | EQUALOP shift 39 | ||
3659 : | FN shift 37 | ||
3660 : | HASH shift 34 | ||
3661 : | IF shift 33 | ||
3662 : | LET shift 30 | ||
3663 : | OP shift 27 | ||
3664 : | RAISE shift 24 | ||
3665 : | WHILE shift 19 | ||
3666 : | ASTERISK shift 18 | ||
3667 : | LBRACE shift 17 | ||
3668 : | LBRACKET shift 16 | ||
3669 : | LPAREN shift 15 | ||
3670 : | VECTORSTART shift 13 | ||
3671 : | BEGINQ shift 12 | ||
3672 : | AQID shift 11 | ||
3673 : | |||
3674 : | ident goto 10 | ||
3675 : | int goto 9 | ||
3676 : | exp goto 329 | ||
3677 : | app_exp goto 7 | ||
3678 : | aexp goto 6 | ||
3679 : | quote goto 5 | ||
3680 : | |||
3681 : | . error | ||
3682 : | |||
3683 : | |||
3684 : | state 230: | ||
3685 : | |||
3686 : | fctb : fctb AND . fctb | ||
3687 : | |||
3688 : | ID shift 53 | ||
3689 : | EQUALOP shift 39 | ||
3690 : | ASTERISK shift 18 | ||
3691 : | |||
3692 : | ident goto 131 | ||
3693 : | fctb goto 330 | ||
3694 : | |||
3695 : | . error | ||
3696 : | |||
3697 : | |||
3698 : | state 231: | ||
3699 : | |||
3700 : | fctb : ident fparamList . sigconstraint_op EQUALOP str | ||
3701 : | |||
3702 : | COLON shift 216 | ||
3703 : | COLONGT shift 215 | ||
3704 : | |||
3705 : | sigconstraint_op goto 331 | ||
3706 : | |||
3707 : | . reduce by rule 227 | ||
3708 : | |||
3709 : | |||
3710 : | state 232: | ||
3711 : | |||
3712 : | fctb : ident fsigconstraint_op . EQUALOP fct_exp | ||
3713 : | |||
3714 : | EQUALOP shift 332 | ||
3715 : | |||
3716 : | |||
3717 : | . error | ||
3718 : | |||
3719 : | |||
3720 : | state 233: | ||
3721 : | |||
3722 : | fsigconstraint_op : COLONGT . ident | ||
3723 : | |||
3724 : | ID shift 53 | ||
3725 : | EQUALOP shift 39 | ||
3726 : | ASTERISK shift 18 | ||
3727 : | |||
3728 : | ident goto 333 | ||
3729 : | |||
3730 : | . error | ||
3731 : | |||
3732 : | |||
3733 : | state 234: | ||
3734 : | |||
3735 : | fsigconstraint_op : COLON . ident | ||
3736 : | |||
3737 : | ID shift 53 | ||
3738 : | EQUALOP shift 39 | ||
3739 : | ASTERISK shift 18 | ||
3740 : | |||
3741 : | ident goto 334 | ||
3742 : | |||
3743 : | . error | ||
3744 : | |||
3745 : | |||
3746 : | state 235: | ||
3747 : | |||
3748 : | ldec : FUN tyvarseq fb . (reduce by rule 169) | ||
3749 : | |||
3750 : | |||
3751 : | |||
3752 : | . reduce by rule 169 | ||
3753 : | |||
3754 : | |||
3755 : | state 236: | ||
3756 : | |||
3757 : | fb' : clause BAR . fb' | ||
3758 : | |||
3759 : | ID shift 103 | ||
3760 : | INT shift 48 | ||
3761 : | INT0 shift 47 | ||
3762 : | WORD shift 101 | ||
3763 : | STRING shift 100 | ||
3764 : | CHAR shift 99 | ||
3765 : | OP shift 97 | ||
3766 : | WILD shift 95 | ||
3767 : | ASTERISK shift 79 | ||
3768 : | LBRACE shift 94 | ||
3769 : | LBRACKET shift 93 | ||
3770 : | LPAREN shift 141 | ||
3771 : | VECTORSTART shift 91 | ||
3772 : | |||
3773 : | id goto 90 | ||
3774 : | int goto 89 | ||
3775 : | apat goto 87 | ||
3776 : | apat' goto 86 | ||
3777 : | fb' goto 335 | ||
3778 : | apats goto 134 | ||
3779 : | clause goto 133 | ||
3780 : | |||
3781 : | . error | ||
3782 : | |||
3783 : | |||
3784 : | state 237: | ||
3785 : | |||
3786 : | clause : apats constraint . EQUALOP exp | ||
3787 : | |||
3788 : | EQUALOP shift 336 | ||
3789 : | |||
3790 : | |||
3791 : | . error | ||
3792 : | |||
3793 : | |||
3794 : | state 238: | ||
3795 : | |||
3796 : | constraint : COLON . ty | ||
3797 : | |||
3798 : | ID shift 161 | ||
3799 : | TYVAR shift 160 | ||
3800 : | LBRACE shift 159 | ||
3801 : | LPAREN shift 158 | ||
3802 : | |||
3803 : | tycon goto 157 | ||
3804 : | ty' goto 156 | ||
3805 : | tuple_ty goto 155 | ||
3806 : | ty goto 337 | ||
3807 : | |||
3808 : | . error | ||
3809 : | |||
3810 : | |||
3811 : | state 239: | ||
3812 : | |||
3813 : | fb : fb' AND . fb | ||
3814 : | |||
3815 : | ID shift 103 | ||
3816 : | INT shift 48 | ||
3817 : | INT0 shift 47 | ||
3818 : | WORD shift 101 | ||
3819 : | STRING shift 100 | ||
3820 : | CHAR shift 99 | ||
3821 : | LAZY shift 137 | ||
3822 : | OP shift 97 | ||
3823 : | WILD shift 95 | ||
3824 : | ASTERISK shift 79 | ||
3825 : | LBRACE shift 94 | ||
3826 : | LBRACKET shift 93 | ||
3827 : | LPAREN shift 141 | ||
3828 : | VECTORSTART shift 91 | ||
3829 : | |||
3830 : | id goto 90 | ||
3831 : | int goto 89 | ||
3832 : | apat goto 87 | ||
3833 : | apat' goto 86 | ||
3834 : | fb' goto 136 | ||
3835 : | fb goto 338 | ||
3836 : | apats goto 134 | ||
3837 : | clause goto 133 | ||
3838 : | |||
3839 : | . error | ||
3840 : | |||
3841 : | |||
3842 : | state 240: | ||
3843 : | |||
3844 : | fb : LAZY fb' . (reduce by rule 129) | ||
3845 : | fb : LAZY fb' . AND fb | ||
3846 : | |||
3847 : | AND shift 339 | ||
3848 : | |||
3849 : | |||
3850 : | . reduce by rule 129 | ||
3851 : | |||
3852 : | |||
3853 : | state 241: | ||
3854 : | |||
3855 : | rule : pat DARROW . exp | ||
3856 : | |||
3857 : | ID shift 49 | ||
3858 : | INT shift 48 | ||
3859 : | INT0 shift 47 | ||
3860 : | WORD shift 46 | ||
3861 : | REAL shift 45 | ||
3862 : | STRING shift 44 | ||
3863 : | CHAR shift 43 | ||
3864 : | CASE shift 41 | ||
3865 : | EQUALOP shift 39 | ||
3866 : | FN shift 37 | ||
3867 : | HASH shift 34 | ||
3868 : | IF shift 33 | ||
3869 : | LET shift 30 | ||
3870 : | OP shift 27 | ||
3871 : | RAISE shift 24 | ||
3872 : | WHILE shift 19 | ||
3873 : | ASTERISK shift 18 | ||
3874 : | LBRACE shift 17 | ||
3875 : | LBRACKET shift 16 | ||
3876 : | LPAREN shift 15 | ||
3877 : | VECTORSTART shift 13 | ||
3878 : | BEGINQ shift 12 | ||
3879 : | AQID shift 11 | ||
3880 : | |||
3881 : | ident goto 10 | ||
3882 : | int goto 9 | ||
3883 : | exp goto 340 | ||
3884 : | app_exp goto 7 | ||
3885 : | aexp goto 6 | ||
3886 : | quote goto 5 | ||
3887 : | |||
3888 : | . error | ||
3889 : | |||
3890 : | |||
3891 : | state 242: | ||
3892 : | |||
3893 : | match : rule BAR . match | ||
3894 : | |||
3895 : | ID shift 103 | ||
3896 : | INT shift 48 | ||
3897 : | INT0 shift 47 | ||
3898 : | WORD shift 101 | ||
3899 : | STRING shift 100 | ||
3900 : | CHAR shift 99 | ||
3901 : | OP shift 97 | ||
3902 : | WILD shift 95 | ||
3903 : | ASTERISK shift 79 | ||
3904 : | LBRACE shift 94 | ||
3905 : | LBRACKET shift 93 | ||
3906 : | LPAREN shift 141 | ||
3907 : | VECTORSTART shift 91 | ||
3908 : | |||
3909 : | id goto 90 | ||
3910 : | int goto 89 | ||
3911 : | match goto 341 | ||
3912 : | rule goto 139 | ||
3913 : | pat goto 138 | ||
3914 : | apat goto 87 | ||
3915 : | apat' goto 86 | ||
3916 : | apats goto 84 | ||
3917 : | |||
3918 : | . error | ||
3919 : | |||
3920 : | |||
3921 : | state 243: | ||
3922 : | |||
3923 : | eb : eb AND . eb | ||
3924 : | |||
3925 : | OP shift 144 | ||
3926 : | |||
3927 : | op_op goto 143 | ||
3928 : | eb goto 342 | ||
3929 : | |||
3930 : | . reduce by rule 8 | ||
3931 : | |||
3932 : | |||
3933 : | state 244: | ||
3934 : | |||
3935 : | eb : op_op ident . (reduce by rule 153) | ||
3936 : | eb : op_op ident . OF ty | ||
3937 : | eb : op_op ident . EQUALOP qid | ||
3938 : | |||
3939 : | EQUALOP shift 344 | ||
3940 : | OF shift 343 | ||
3941 : | |||
3942 : | |||
3943 : | . reduce by rule 153 | ||
3944 : | |||
3945 : | |||
3946 : | state 245: | ||
3947 : | |||
3948 : | ldec : DATATYPE db WITHTYPE . tb | ||
3949 : | |||
3950 : | TYVAR shift 107 | ||
3951 : | LPAREN shift 106 | ||
3952 : | |||
3953 : | tb goto 345 | ||
3954 : | tyvars goto 104 | ||
3955 : | |||
3956 : | . reduce by rule 139 | ||
3957 : | |||
3958 : | |||
3959 : | state 246: | ||
3960 : | |||
3961 : | db : db AND . db | ||
3962 : | |||
3963 : | TYVAR shift 107 | ||
3964 : | LAZY shift 147 | ||
3965 : | LPAREN shift 106 | ||
3966 : | |||
3967 : | tyvars goto 146 | ||
3968 : | db goto 346 | ||
3969 : | |||
3970 : | . reduce by rule 139 | ||
3971 : | |||
3972 : | |||
3973 : | state 247: | ||
3974 : | |||
3975 : | db : tyvars ident . EQUALOP dbrhs | ||
3976 : | |||
3977 : | EQUALOP shift 347 | ||
3978 : | |||
3979 : | |||
3980 : | . error | ||
3981 : | |||
3982 : | |||
3983 : | state 248: | ||
3984 : | |||
3985 : | db : LAZY tyvars . ident EQUALOP dbrhs | ||
3986 : | |||
3987 : | ID shift 53 | ||
3988 : | EQUALOP shift 39 | ||
3989 : | ASTERISK shift 18 | ||
3990 : | |||
3991 : | ident goto 348 | ||
3992 : | |||
3993 : | . error | ||
3994 : | |||
3995 : | |||
3996 : | state 249: | ||
3997 : | |||
3998 : | exp : CASE exp OF . match | ||
3999 : | |||
4000 : | ID shift 103 | ||
4001 : | INT shift 48 | ||
4002 : | INT0 shift 47 | ||
4003 : | WORD shift 101 | ||
4004 : | STRING shift 100 | ||
4005 : | CHAR shift 99 | ||
4006 : | OP shift 97 | ||
4007 : | WILD shift 95 | ||
4008 : | ASTERISK shift 79 | ||
4009 : | LBRACE shift 94 | ||
4010 : | LBRACKET shift 93 | ||
4011 : | LPAREN shift 141 | ||
4012 : | VECTORSTART shift 91 | ||
4013 : | |||
4014 : | id goto 90 | ||
4015 : | int goto 89 | ||
4016 : | match goto 349 | ||
4017 : | rule goto 139 | ||
4018 : | pat goto 138 | ||
4019 : | apat goto 87 | ||
4020 : | apat' goto 86 | ||
4021 : | apats goto 84 | ||
4022 : | |||
4023 : | . error | ||
4024 : | |||
4025 : | |||
4026 : | state 250: | ||
4027 : | |||
4028 : | ldec : ABSTYPE db WITHTYPE . tb WITH ldecs END | ||
4029 : | |||
4030 : | TYVAR shift 107 | ||
4031 : | LPAREN shift 106 | ||
4032 : | |||
4033 : | tb goto 350 | ||
4034 : | tyvars goto 104 | ||
4035 : | |||
4036 : | . reduce by rule 139 | ||
4037 : | |||
4038 : | |||
4039 : | state 251: | ||
4040 : | |||
4041 : | ldec : ABSTYPE db WITH . ldecs END | ||
4042 : | |||
4043 : | SEMICOLON shift 125 | ||
4044 : | ABSTYPE shift 42 | ||
4045 : | DATATYPE shift 40 | ||
4046 : | EXCEPTION shift 38 | ||
4047 : | FUN shift 36 | ||
4048 : | INFIX shift 32 | ||
4049 : | INFIXR shift 31 | ||
4050 : | LOCAL shift 124 | ||
4051 : | NONFIX shift 28 | ||
4052 : | OPEN shift 26 | ||
4053 : | OVERLOAD shift 25 | ||
4054 : | TYPE shift 21 | ||
4055 : | VAL shift 20 | ||
4056 : | |||
4057 : | fixity goto 4 | ||
4058 : | ldec goto 123 | ||
4059 : | ldecs goto 351 | ||
4060 : | |||
4061 : | . reduce by rule 181 | ||
4062 : | |||
4063 : | |||
4064 : | state 252: | ||
4065 : | |||
4066 : | aexp : ID DOT qid . (reduce by rule 55) | ||
4067 : | |||
4068 : | |||
4069 : | |||
4070 : | . reduce by rule 55 | ||
4071 : | |||
4072 : | |||
4073 : | state 253: | ||
4074 : | |||
4075 : | ty : ty ARROW . ty | ||
4076 : | |||
4077 : | ID shift 161 | ||
4078 : | TYVAR shift 160 | ||
4079 : | LBRACE shift 159 | ||
4080 : | LPAREN shift 158 | ||
4081 : | |||
4082 : | tycon goto 157 | ||
4083 : | ty' goto 156 | ||
4084 : | tuple_ty goto 155 | ||
4085 : | ty goto 352 | ||
4086 : | |||
4087 : | . error | ||
4088 : | |||
4089 : | |||
4090 : | state 254: | ||
4091 : | |||
4092 : | ty' : ty' tycon . (reduce by rule 23) | ||
4093 : | |||
4094 : | |||
4095 : | |||
4096 : | . reduce by rule 23 | ||
4097 : | |||
4098 : | |||
4099 : | state 255: | ||
4100 : | |||
4101 : | tuple_ty : ty' ASTERISK . tuple_ty | ||
4102 : | tuple_ty : ty' ASTERISK . ty' | ||
4103 : | |||
4104 : | ID shift 161 | ||
4105 : | TYVAR shift 160 | ||
4106 : | LBRACE shift 159 | ||
4107 : | LPAREN shift 158 | ||
4108 : | |||
4109 : | tycon goto 157 | ||
4110 : | ty' goto 354 | ||
4111 : | tuple_ty goto 353 | ||
4112 : | |||
4113 : | . error | ||
4114 : | |||
4115 : | |||
4116 : | state 256: | ||
4117 : | |||
4118 : | ty' : LPAREN ty0_pc . RPAREN tycon | ||
4119 : | |||
4120 : | RPAREN shift 355 | ||
4121 : | |||
4122 : | |||
4123 : | . error | ||
4124 : | |||
4125 : | |||
4126 : | state 257: | ||
4127 : | |||
4128 : | ty' : LPAREN ty . RPAREN | ||
4129 : | ty : ty . ARROW ty | ||
4130 : | ty0_pc : ty . COMMA ty | ||
4131 : | ty0_pc : ty . COMMA ty0_pc | ||
4132 : | |||
4133 : | ARROW shift 253 | ||
4134 : | COMMA shift 357 | ||
4135 : | RPAREN shift 356 | ||
4136 : | |||
4137 : | |||
4138 : | . error | ||
4139 : | |||
4140 : | |||
4141 : | state 258: | ||
4142 : | |||
4143 : | ty' : LBRACE tlabels . RBRACE | ||
4144 : | |||
4145 : | RBRACE shift 358 | ||
4146 : | |||
4147 : | |||
4148 : | . error | ||
4149 : | |||
4150 : | |||
4151 : | state 259: | ||
4152 : | |||
4153 : | tlabels : tlabel . COMMA tlabels | ||
4154 : | tlabels : tlabel . (reduce by rule 17) | ||
4155 : | |||
4156 : | COMMA shift 359 | ||
4157 : | |||
4158 : | |||
4159 : | . reduce by rule 17 | ||
4160 : | |||
4161 : | |||
4162 : | state 260: | ||
4163 : | |||
4164 : | tlabel : selector . COLON ty | ||
4165 : | |||
4166 : | COLON shift 360 | ||
4167 : | |||
4168 : | |||
4169 : | . error | ||
4170 : | |||
4171 : | |||
4172 : | state 261: | ||
4173 : | |||
4174 : | ty' : LBRACE RBRACE . (reduce by rule 20) | ||
4175 : | |||
4176 : | |||
4177 : | |||
4178 : | . reduce by rule 20 | ||
4179 : | |||
4180 : | |||
4181 : | state 262: | ||
4182 : | |||
4183 : | tycon : ID DOT . tycon | ||
4184 : | |||
4185 : | ID shift 161 | ||
4186 : | |||
4187 : | tycon goto 361 | ||
4188 : | |||
4189 : | . error | ||
4190 : | |||
4191 : | |||
4192 : | state 263: | ||
4193 : | |||
4194 : | ot_list : OBJL aexp ot_list . (reduce by rule 77) | ||
4195 : | |||
4196 : | |||
4197 : | |||
4198 : | . reduce by rule 77 | ||
4199 : | |||
4200 : | |||
4201 : | state 264: | ||
4202 : | |||
4203 : | exp_list : exp COMMA exp_list . (reduce by rule 81) | ||
4204 : | |||
4205 : | |||
4206 : | |||
4207 : | . reduce by rule 81 | ||
4208 : | |||
4209 : | |||
4210 : | state 265: | ||
4211 : | |||
4212 : | fsigb : fsigb . AND fsigb | ||
4213 : | fsigb : fsigb AND fsigb . (reduce by rule 235) | ||
4214 : | |||
4215 : | AND shift 168 | ||
4216 : | |||
4217 : | |||
4218 : | . reduce by rule 235 | ||
4219 : | |||
4220 : | |||
4221 : | state 266: | ||
4222 : | |||
4223 : | fsigb : ident fparamList EQUALOP . sign | ||
4224 : | |||
4225 : | ID shift 53 | ||
4226 : | EQUALOP shift 39 | ||
4227 : | SIG shift 320 | ||
4228 : | ASTERISK shift 18 | ||
4229 : | |||
4230 : | ident goto 319 | ||
4231 : | sign goto 362 | ||
4232 : | |||
4233 : | . error | ||
4234 : | |||
4235 : | |||
4236 : | state 267: | ||
4237 : | |||
4238 : | fparamList : LPAREN fparam . RPAREN | ||
4239 : | fparamList : LPAREN fparam . RPAREN fparamList | ||
4240 : | |||
4241 : | RPAREN shift 363 | ||
4242 : | |||
4243 : | |||
4244 : | . error | ||
4245 : | |||
4246 : | |||
4247 : | state 268: | ||
4248 : | |||
4249 : | spec_s : spec . spec_s | ||
4250 : | |||
4251 : | SEMICOLON shift 280 | ||
4252 : | DATATYPE shift 278 | ||
4253 : | EQTYPE shift 277 | ||
4254 : | EXCEPTION shift 276 | ||
4255 : | FUNCTOR shift 275 | ||
4256 : | INCLUDE shift 274 | ||
4257 : | SHARING shift 273 | ||
4258 : | STRUCTURE shift 272 | ||
4259 : | TYPE shift 271 | ||
4260 : | VAL shift 270 | ||
4261 : | |||
4262 : | spec_s goto 364 | ||
4263 : | spec goto 268 | ||
4264 : | |||
4265 : | . reduce by rule 187 | ||
4266 : | |||
4267 : | |||
4268 : | state 269: | ||
4269 : | |||
4270 : | fparam : spec_s . (reduce by rule 270) | ||
4271 : | |||
4272 : | |||
4273 : | |||
4274 : | . reduce by rule 270 | ||
4275 : | |||
4276 : | |||
4277 : | state 270: | ||
4278 : | |||
4279 : | spec : VAL . valspec | ||
4280 : | |||
4281 : | OP shift 144 | ||
4282 : | |||
4283 : | op_op goto 366 | ||
4284 : | valspec goto 365 | ||
4285 : | |||
4286 : | . reduce by rule 8 | ||
4287 : | |||
4288 : | |||
4289 : | state 271: | ||
4290 : | |||
4291 : | spec : TYPE . tyspec | ||
4292 : | |||
4293 : | TYVAR shift 107 | ||
4294 : | LPAREN shift 106 | ||
4295 : | |||
4296 : | tyvars goto 368 | ||
4297 : | tyspec goto 367 | ||
4298 : | |||
4299 : | . reduce by rule 139 | ||
4300 : | |||
4301 : | |||
4302 : | state 272: | ||
4303 : | |||
4304 : | spec : STRUCTURE . strspec | ||
4305 : | |||
4306 : | ID shift 53 | ||
4307 : | EQUALOP shift 39 | ||
4308 : | ASTERISK shift 18 | ||
4309 : | |||
4310 : | ident goto 370 | ||
4311 : | strspec goto 369 | ||
4312 : | |||
4313 : | . error | ||
4314 : | |||
4315 : | |||
4316 : | state 273: | ||
4317 : | |||
4318 : | spec : SHARING . sharespec | ||
4319 : | |||
4320 : | ID shift 117 | ||
4321 : | EQUALOP shift 39 | ||
4322 : | TYPE shift 374 | ||
4323 : | ASTERISK shift 18 | ||
4324 : | |||
4325 : | ident goto 116 | ||
4326 : | qid goto 373 | ||
4327 : | sharespec goto 372 | ||
4328 : | patheqn goto 371 | ||
4329 : | |||
4330 : | . error | ||
4331 : | |||
4332 : | |||
4333 : | state 274: | ||
4334 : | |||
4335 : | spec : INCLUDE . sign | ||
4336 : | spec : INCLUDE . ident idents | ||
4337 : | |||
4338 : | ID shift 53 | ||
4339 : | EQUALOP shift 39 | ||
4340 : | SIG shift 320 | ||
4341 : | ASTERISK shift 18 | ||
4342 : | |||
4343 : | ident goto 376 | ||
4344 : | sign goto 375 | ||
4345 : | |||
4346 : | . error | ||
4347 : | |||
4348 : | |||
4349 : | state 275: | ||
4350 : | |||
4351 : | spec : FUNCTOR . fctspec | ||
4352 : | |||
4353 : | ID shift 53 | ||
4354 : | EQUALOP shift 39 | ||
4355 : | ASTERISK shift 18 | ||
4356 : | |||
4357 : | ident goto 378 | ||
4358 : | fctspec goto 377 | ||
4359 : | |||
4360 : | . error | ||
4361 : | |||
4362 : | |||
4363 : | state 276: | ||
4364 : | |||
4365 : | spec : EXCEPTION . exnspec | ||
4366 : | |||
4367 : | ID shift 53 | ||
4368 : | EQUALOP shift 39 | ||
4369 : | ASTERISK shift 18 | ||
4370 : | |||
4371 : | ident goto 380 | ||
4372 : | exnspec goto 379 | ||
4373 : | |||
4374 : | . error | ||
4375 : | |||
4376 : | |||
4377 : | state 277: | ||
4378 : | |||
4379 : | spec : EQTYPE . tyspec | ||
4380 : | |||
4381 : | TYVAR shift 107 | ||
4382 : | LPAREN shift 106 | ||
4383 : | |||
4384 : | tyvars goto 368 | ||
4385 : | tyspec goto 381 | ||
4386 : | |||
4387 : | . reduce by rule 139 | ||
4388 : | |||
4389 : | |||
4390 : | state 278: | ||
4391 : | |||
4392 : | spec : DATATYPE . db | ||
4393 : | spec : DATATYPE . db WITHTYPE tb | ||
4394 : | |||
4395 : | TYVAR shift 107 | ||
4396 : | LAZY shift 147 | ||
4397 : | LPAREN shift 106 | ||
4398 : | |||
4399 : | tyvars goto 146 | ||
4400 : | db goto 382 | ||
4401 : | |||
4402 : | . reduce by rule 139 | ||
4403 : | |||
4404 : | |||
4405 : | state 279: | ||
4406 : | |||
4407 : | fparam : ID . COLON sign | ||
4408 : | |||
4409 : | COLON shift 383 | ||
4410 : | |||
4411 : | |||
4412 : | . error | ||
4413 : | |||
4414 : | |||
4415 : | state 280: | ||
4416 : | |||
4417 : | spec_s : SEMICOLON . spec_s | ||
4418 : | |||
4419 : | SEMICOLON shift 280 | ||
4420 : | DATATYPE shift 278 | ||
4421 : | EQTYPE shift 277 | ||
4422 : | EXCEPTION shift 276 | ||
4423 : | FUNCTOR shift 275 | ||
4424 : | INCLUDE shift 274 | ||
4425 : | SHARING shift 273 | ||
4426 : | STRUCTURE shift 272 | ||
4427 : | TYPE shift 271 | ||
4428 : | VAL shift 270 | ||
4429 : | |||
4430 : | spec_s goto 384 | ||
4431 : | spec goto 268 | ||
4432 : | |||
4433 : | . reduce by rule 187 | ||
4434 : | |||
4435 : | |||
4436 : | state 281: | ||
4437 : | |||
4438 : | exp_2c : exp COMMA exp_2c . (reduce by rule 78) | ||
4439 : | |||
4440 : | |||
4441 : | |||
4442 : | . reduce by rule 78 | ||
4443 : | |||
4444 : | |||
4445 : | state 282: | ||
4446 : | |||
4447 : | exp : exp . HANDLE match | ||
4448 : | exp : exp . ORELSE exp | ||
4449 : | exp : exp . ANDALSO exp | ||
4450 : | exp : exp . COLON ty | ||
4451 : | exp_2c : exp . COMMA exp_2c | ||
4452 : | exp_2c : exp . COMMA exp | ||
4453 : | exp_2c : exp COMMA exp . (reduce by rule 79) | ||
4454 : | |||
4455 : | HANDLE shift 58 | ||
4456 : | COLON shift 57 | ||
4457 : | COMMA shift 172 | ||
4458 : | ORELSE shift 56 | ||
4459 : | ANDALSO shift 55 | ||
4460 : | |||
4461 : | |||
4462 : | . reduce by rule 79 | ||
4463 : | |||
4464 : | |||
4465 : | state 283: | ||
4466 : | |||
4467 : | exp_ps : exp . (reduce by rule 38) | ||
4468 : | exp_ps : exp . SEMICOLON exp_ps | ||
4469 : | exp : exp . HANDLE match | ||
4470 : | exp : exp . ORELSE exp | ||
4471 : | exp : exp . ANDALSO exp | ||
4472 : | exp : exp . COLON ty | ||
4473 : | |||
4474 : | SEMICOLON shift 173 | ||
4475 : | HANDLE shift 58 | ||
4476 : | COLON shift 57 | ||
4477 : | ORELSE shift 56 | ||
4478 : | ANDALSO shift 55 | ||
4479 : | |||
4480 : | |||
4481 : | . reduce by rule 38 | ||
4482 : | |||
4483 : | |||
4484 : | state 284: | ||
4485 : | |||
4486 : | exp_ps : exp SEMICOLON exp_ps . (reduce by rule 39) | ||
4487 : | |||
4488 : | |||
4489 : | |||
4490 : | . reduce by rule 39 | ||
4491 : | |||
4492 : | |||
4493 : | state 285: | ||
4494 : | |||
4495 : | elabels : elabel COMMA elabels . (reduce by rule 36) | ||
4496 : | |||
4497 : | |||
4498 : | |||
4499 : | . reduce by rule 36 | ||
4500 : | |||
4501 : | |||
4502 : | state 286: | ||
4503 : | |||
4504 : | elabel : selector EQUALOP exp . (reduce by rule 35) | ||
4505 : | exp : exp . HANDLE match | ||
4506 : | exp : exp . ORELSE exp | ||
4507 : | exp : exp . ANDALSO exp | ||
4508 : | exp : exp . COLON ty | ||
4509 : | |||
4510 : | HANDLE shift 58 | ||
4511 : | COLON shift 57 | ||
4512 : | ORELSE shift 56 | ||
4513 : | ANDALSO shift 55 | ||
4514 : | |||
4515 : | |||
4516 : | . reduce by rule 35 | ||
4517 : | |||
4518 : | |||
4519 : | state 287: | ||
4520 : | |||
4521 : | exp : exp . HANDLE match | ||
4522 : | exp : exp . ORELSE exp | ||
4523 : | exp : exp . ANDALSO exp | ||
4524 : | exp : exp . COLON ty | ||
4525 : | exp : WHILE exp DO exp . (reduce by rule 47) | ||
4526 : | |||
4527 : | HANDLE shift 58 | ||
4528 : | COLON shift 57 | ||
4529 : | ORELSE shift 56 | ||
4530 : | ANDALSO shift 55 | ||
4531 : | |||
4532 : | |||
4533 : | . reduce by rule 47 | ||
4534 : | |||
4535 : | |||
4536 : | state 288: | ||
4537 : | |||
4538 : | vb : vb . AND vb | ||
4539 : | vb : vb AND vb . (reduce by rule 116) | ||
4540 : | |||
4541 : | AND shift 181 | ||
4542 : | |||
4543 : | |||
4544 : | . reduce by rule 116 | ||
4545 : | |||
4546 : | |||
4547 : | state 289: | ||
4548 : | |||
4549 : | ty : ty . ARROW ty | ||
4550 : | pat : pat COLON ty . (reduce by rule 83) | ||
4551 : | |||
4552 : | ARROW shift 253 | ||
4553 : | |||
4554 : | |||
4555 : | . reduce by rule 83 | ||
4556 : | |||
4557 : | |||
4558 : | state 290: | ||
4559 : | |||
4560 : | exp : exp . HANDLE match | ||
4561 : | exp : exp . ORELSE exp | ||
4562 : | exp : exp . ANDALSO exp | ||
4563 : | exp : exp . COLON ty | ||
4564 : | vb : pat EQUALOP exp . (reduce by rule 118) | ||
4565 : | |||
4566 : | HANDLE shift 58 | ||
4567 : | COLON shift 57 | ||
4568 : | ORELSE shift 56 | ||
4569 : | ANDALSO shift 55 | ||
4570 : | |||
4571 : | |||
4572 : | . reduce by rule 118 | ||
4573 : | |||
4574 : | |||
4575 : | state 291: | ||
4576 : | |||
4577 : | pat : pat . AS pat | ||
4578 : | pat : pat AS pat . (reduce by rule 82) | ||
4579 : | pat : pat . COLON ty | ||
4580 : | |||
4581 : | AS shift 185 | ||
4582 : | COLON shift 183 | ||
4583 : | |||
4584 : | |||
4585 : | . reduce by rule 82 | ||
4586 : | |||
4587 : | |||
4588 : | state 292: | ||
4589 : | |||
4590 : | apat' : VECTORSTART pat_list RBRACKET . (reduce by rule 101) | ||
4591 : | |||
4592 : | |||
4593 : | |||
4594 : | . reduce by rule 101 | ||
4595 : | |||
4596 : | |||
4597 : | state 293: | ||
4598 : | |||
4599 : | pat_list : pat COMMA . pat_list | ||
4600 : | |||
4601 : | ID shift 103 | ||
4602 : | INT shift 48 | ||
4603 : | INT0 shift 47 | ||
4604 : | WORD shift 101 | ||
4605 : | STRING shift 100 | ||
4606 : | CHAR shift 99 | ||
4607 : | OP shift 97 | ||
4608 : | WILD shift 95 | ||
4609 : | ASTERISK shift 79 | ||
4610 : | LBRACE shift 94 | ||
4611 : | LBRACKET shift 93 | ||
4612 : | LPAREN shift 141 | ||
4613 : | VECTORSTART shift 91 | ||
4614 : | |||
4615 : | id goto 90 | ||
4616 : | int goto 89 | ||
4617 : | pat goto 187 | ||
4618 : | apat goto 87 | ||
4619 : | apat' goto 86 | ||
4620 : | pat_list goto 385 | ||
4621 : | apats goto 84 | ||
4622 : | |||
4623 : | . error | ||
4624 : | |||
4625 : | |||
4626 : | state 294: | ||
4627 : | |||
4628 : | tyvarseq : LPAREN tyvar_pc RPAREN . (reduce by rule 141) | ||
4629 : | |||
4630 : | |||
4631 : | |||
4632 : | . reduce by rule 141 | ||
4633 : | |||
4634 : | |||
4635 : | state 295: | ||
4636 : | |||
4637 : | apat : LPAREN pat RPAREN . (reduce by rule 86) | ||
4638 : | |||
4639 : | |||
4640 : | |||
4641 : | . reduce by rule 86 | ||
4642 : | |||
4643 : | |||
4644 : | state 296: | ||
4645 : | |||
4646 : | apat : LPAREN pat COMMA . pat_list RPAREN | ||
4647 : | |||
4648 : | ID shift 103 | ||
4649 : | INT shift 48 | ||
4650 : | INT0 shift 47 | ||
4651 : | WORD shift 101 | ||
4652 : | STRING shift 100 | ||
4653 : | CHAR shift 99 | ||
4654 : | OP shift 97 | ||
4655 : | WILD shift 95 | ||
4656 : | ASTERISK shift 79 | ||
4657 : | LBRACE shift 94 | ||
4658 : | LBRACKET shift 93 | ||
4659 : | LPAREN shift 141 | ||
4660 : | VECTORSTART shift 91 | ||
4661 : | |||
4662 : | id goto 90 | ||
4663 : | int goto 89 | ||
4664 : | pat goto 187 | ||
4665 : | apat goto 87 | ||
4666 : | apat' goto 86 | ||
4667 : | pat_list goto 386 | ||
4668 : | apats goto 84 | ||
4669 : | |||
4670 : | . error | ||
4671 : | |||
4672 : | |||
4673 : | state 297: | ||
4674 : | |||
4675 : | apat : LPAREN pat BAR . or_pat_list RPAREN | ||
4676 : | |||
4677 : | ID shift 103 | ||
4678 : | INT shift 48 | ||
4679 : | INT0 shift 47 | ||
4680 : | WORD shift 101 | ||
4681 : | STRING shift 100 | ||
4682 : | CHAR shift 99 | ||
4683 : | OP shift 97 | ||
4684 : | WILD shift 95 | ||
4685 : | ASTERISK shift 79 | ||
4686 : | LBRACE shift 94 | ||
4687 : | LBRACKET shift 93 | ||
4688 : | LPAREN shift 141 | ||
4689 : | VECTORSTART shift 91 | ||
4690 : | |||
4691 : | id goto 90 | ||
4692 : | int goto 89 | ||
4693 : | pat goto 388 | ||
4694 : | apat goto 87 | ||
4695 : | apat' goto 86 | ||
4696 : | or_pat_list goto 387 | ||
4697 : | apats goto 84 | ||
4698 : | |||
4699 : | . error | ||
4700 : | |||
4701 : | |||
4702 : | state 298: | ||
4703 : | |||
4704 : | tyvar_pc : TYVAR COMMA . tyvar_pc | ||
4705 : | |||
4706 : | TYVAR shift 192 | ||
4707 : | |||
4708 : | tyvar_pc goto 389 | ||
4709 : | |||
4710 : | . error | ||
4711 : | |||
4712 : | |||
4713 : | state 299: | ||
4714 : | |||
4715 : | apat' : LBRACKET pat_list RBRACKET . (reduce by rule 99) | ||
4716 : | |||
4717 : | |||
4718 : | |||
4719 : | . reduce by rule 99 | ||
4720 : | |||
4721 : | |||
4722 : | state 300: | ||
4723 : | |||
4724 : | apat' : LBRACE plabels RBRACE . (reduce by rule 103) | ||
4725 : | |||
4726 : | |||
4727 : | |||
4728 : | . reduce by rule 103 | ||
4729 : | |||
4730 : | |||
4731 : | state 301: | ||
4732 : | |||
4733 : | plabels : plabel COMMA . plabels | ||
4734 : | |||
4735 : | ID shift 200 | ||
4736 : | INT shift 80 | ||
4737 : | DOTDOTDOT shift 199 | ||
4738 : | ASTERISK shift 79 | ||
4739 : | |||
4740 : | id goto 77 | ||
4741 : | selector goto 197 | ||
4742 : | plabel goto 196 | ||
4743 : | plabels goto 390 | ||
4744 : | |||
4745 : | . error | ||
4746 : | |||
4747 : | |||
4748 : | state 302: | ||
4749 : | |||
4750 : | plabel : selector EQUALOP . pat | ||
4751 : | |||
4752 : | ID shift 103 | ||
4753 : | INT shift 48 | ||
4754 : | INT0 shift 47 | ||
4755 : | WORD shift 101 | ||
4756 : | STRING shift 100 | ||
4757 : | CHAR shift 99 | ||
4758 : | OP shift 97 | ||
4759 : | WILD shift 95 | ||
4760 : | ASTERISK shift 79 | ||
4761 : | LBRACE shift 94 | ||
4762 : | LBRACKET shift 93 | ||
4763 : | LPAREN shift 141 | ||
4764 : | VECTORSTART shift 91 | ||
4765 : | |||
4766 : | id goto 90 | ||
4767 : | int goto 89 | ||
4768 : | pat goto 391 | ||
4769 : | apat goto 87 | ||
4770 : | apat' goto 86 | ||
4771 : | apats goto 84 | ||
4772 : | |||
4773 : | . error | ||
4774 : | |||
4775 : | |||
4776 : | state 303: | ||
4777 : | |||
4778 : | plabel : ID COLON . ty | ||
4779 : | plabel : ID COLON . ty AS pat | ||
4780 : | |||
4781 : | ID shift 161 | ||
4782 : | TYVAR shift 160 | ||
4783 : | LBRACE shift 159 | ||
4784 : | LPAREN shift 158 | ||
4785 : | |||
4786 : | tycon goto 157 | ||
4787 : | ty' goto 156 | ||
4788 : | tuple_ty goto 155 | ||
4789 : | ty goto 392 | ||
4790 : | |||
4791 : | . error | ||
4792 : | |||
4793 : | |||
4794 : | state 304: | ||
4795 : | |||
4796 : | plabel : ID AS . pat | ||
4797 : | |||
4798 : | ID shift 103 | ||
4799 : | INT shift 48 | ||
4800 : | INT0 shift 47 | ||
4801 : | WORD shift 101 | ||
4802 : | STRING shift 100 | ||
4803 : | CHAR shift 99 | ||
4804 : | OP shift 97 | ||
4805 : | WILD shift 95 | ||
4806 : | ASTERISK shift 79 | ||
4807 : | LBRACE shift 94 | ||
4808 : | LBRACKET shift 93 | ||
4809 : | LPAREN shift 141 | ||
4810 : | VECTORSTART shift 91 | ||
4811 : | |||
4812 : | id goto 90 | ||
4813 : | int goto 89 | ||
4814 : | pat goto 393 | ||
4815 : | apat goto 87 | ||
4816 : | apat' goto 86 | ||
4817 : | apats goto 84 | ||
4818 : | |||
4819 : | . error | ||
4820 : | |||
4821 : | |||
4822 : | state 305: | ||
4823 : | |||
4824 : | rvb : rvb . AND rvb | ||
4825 : | ldec : VAL REC tyvarseq rvb . (reduce by rule 167) | ||
4826 : | |||
4827 : | AND shift 306 | ||
4828 : | |||
4829 : | |||
4830 : | . reduce by rule 167 | ||
4831 : | |||
4832 : | |||
4833 : | state 306: | ||
4834 : | |||
4835 : | rvb : rvb AND . rvb | ||
4836 : | |||
4837 : | ID shift 81 | ||
4838 : | LAZY shift 206 | ||
4839 : | OP shift 205 | ||
4840 : | ASTERISK shift 79 | ||
4841 : | |||
4842 : | id goto 203 | ||
4843 : | rvb goto 394 | ||
4844 : | |||
4845 : | . error | ||
4846 : | |||
4847 : | |||
4848 : | state 307: | ||
4849 : | |||
4850 : | rvb : id constraint . EQUALOP exp | ||
4851 : | |||
4852 : | EQUALOP shift 395 | ||
4853 : | |||
4854 : | |||
4855 : | . error | ||
4856 : | |||
4857 : | |||
4858 : | state 308: | ||
4859 : | |||
4860 : | rvb : OP id . constraint EQUALOP exp | ||
4861 : | |||
4862 : | COLON shift 238 | ||
4863 : | |||
4864 : | constraint goto 396 | ||
4865 : | |||
4866 : | . reduce by rule 119 | ||
4867 : | |||
4868 : | |||
4869 : | state 309: | ||
4870 : | |||
4871 : | rvb : LAZY id . constraint EQUALOP exp | ||
4872 : | |||
4873 : | COLON shift 238 | ||
4874 : | |||
4875 : | constraint goto 397 | ||
4876 : | |||
4877 : | . reduce by rule 119 | ||
4878 : | |||
4879 : | |||
4880 : | state 310: | ||
4881 : | |||
4882 : | rvb : LAZY OP . id constraint EQUALOP exp | ||
4883 : | |||
4884 : | ID shift 81 | ||
4885 : | ASTERISK shift 79 | ||
4886 : | |||
4887 : | id goto 398 | ||
4888 : | |||
4889 : | . error | ||
4890 : | |||
4891 : | |||
4892 : | state 311: | ||
4893 : | |||
4894 : | vb : LAZY pat EQUALOP . exp | ||
4895 : | |||
4896 : | ID shift 49 | ||
4897 : | INT shift 48 | ||
4898 : | INT0 shift 47 | ||
4899 : | WORD shift 46 | ||
4900 : | REAL shift 45 | ||
4901 : | STRING shift 44 | ||
4902 : | CHAR shift 43 | ||
4903 : | CASE shift 41 | ||
4904 : | EQUALOP shift 39 | ||
4905 : | FN shift 37 | ||
4906 : | HASH shift 34 | ||
4907 : | IF shift 33 | ||
4908 : | LET shift 30 | ||
4909 : | OP shift 27 | ||
4910 : | RAISE shift 24 | ||
4911 : | WHILE shift 19 | ||
4912 : | ASTERISK shift 18 | ||
4913 : | LBRACE shift 17 | ||
4914 : | LBRACKET shift 16 | ||
4915 : | LPAREN shift 15 | ||
4916 : | VECTORSTART shift 13 | ||
4917 : | BEGINQ shift 12 | ||
4918 : | AQID shift 11 | ||
4919 : | |||
4920 : | ident goto 10 | ||
4921 : | int goto 9 | ||
4922 : | exp goto 399 | ||
4923 : | app_exp goto 7 | ||
4924 : | aexp goto 6 | ||
4925 : | quote goto 5 | ||
4926 : | |||
4927 : | . error | ||
4928 : | |||
4929 : | |||
4930 : | state 312: | ||
4931 : | |||
4932 : | apat' : ID DOT qid . (reduce by rule 92) | ||
4933 : | |||
4934 : | |||
4935 : | |||
4936 : | . reduce by rule 92 | ||
4937 : | |||
4938 : | |||
4939 : | state 313: | ||
4940 : | |||
4941 : | tb : tyvars ID EQUALOP . ty | ||
4942 : | |||
4943 : | ID shift 161 | ||
4944 : | TYVAR shift 160 | ||
4945 : | LBRACE shift 159 | ||
4946 : | LPAREN shift 158 | ||
4947 : | |||
4948 : | tycon goto 157 | ||
4949 : | ty' goto 156 | ||
4950 : | tuple_ty goto 155 | ||
4951 : | ty goto 400 | ||
4952 : | |||
4953 : | . error | ||
4954 : | |||
4955 : | |||
4956 : | state 314: | ||
4957 : | |||
4958 : | tb : tb . AND tb | ||
4959 : | tb : tb AND tb . (reduce by rule 136) | ||
4960 : | |||
4961 : | AND shift 211 | ||
4962 : | |||
4963 : | |||
4964 : | . reduce by rule 136 | ||
4965 : | |||
4966 : | |||
4967 : | state 315: | ||
4968 : | |||
4969 : | tyvars : LPAREN tyvar_pc RPAREN . (reduce by rule 138) | ||
4970 : | |||
4971 : | |||
4972 : | |||
4973 : | . reduce by rule 138 | ||
4974 : | |||
4975 : | |||
4976 : | state 316: | ||
4977 : | |||
4978 : | strb : strb . AND strb | ||
4979 : | strb : strb AND strb . (reduce by rule 268) | ||
4980 : | |||
4981 : | AND shift 213 | ||
4982 : | |||
4983 : | |||
4984 : | . reduce by rule 268 | ||
4985 : | |||
4986 : | |||
4987 : | state 317: | ||
4988 : | |||
4989 : | strb : ident sigconstraint_op EQUALOP . str | ||
4990 : | |||
4991 : | ID shift 117 | ||
4992 : | EQUALOP shift 39 | ||
4993 : | LET shift 404 | ||
4994 : | STRUCT shift 403 | ||
4995 : | ASTERISK shift 18 | ||
4996 : | |||
4997 : | ident goto 116 | ||
4998 : | qid goto 402 | ||
4999 : | str goto 401 | ||
5000 : | |||
5001 : | . error | ||
5002 : | |||
5003 : | |||
5004 : | state 318: | ||
5005 : | |||
5006 : | sign : sign . WHERE whspec | ||
5007 : | sigconstraint_op : COLONGT sign . (reduce by rule 229) | ||
5008 : | |||
5009 : | WHERE shift 405 | ||
5010 : | |||
5011 : | |||
5012 : | . reduce by rule 229 | ||
5013 : | |||
5014 : | |||
5015 : | state 319: | ||
5016 : | |||
5017 : | sign : ident . (reduce by rule 224) | ||
5018 : | |||
5019 : | |||
5020 : | |||
5021 : | . reduce by rule 224 | ||
5022 : | |||
5023 : | |||
5024 : | state 320: | ||
5025 : | |||
5026 : | sign : SIG . spec_s END | ||
5027 : | |||
5028 : | SEMICOLON shift 280 | ||
5029 : | DATATYPE shift 278 | ||
5030 : | EQTYPE shift 277 | ||
5031 : | EXCEPTION shift 276 | ||
5032 : | FUNCTOR shift 275 | ||
5033 : | INCLUDE shift 274 | ||
5034 : | SHARING shift 273 | ||
5035 : | STRUCTURE shift 272 | ||
5036 : | TYPE shift 271 | ||
5037 : | VAL shift 270 | ||
5038 : | |||
5039 : | spec_s goto 406 | ||
5040 : | spec goto 268 | ||
5041 : | |||
5042 : | . reduce by rule 187 | ||
5043 : | |||
5044 : | |||
5045 : | state 321: | ||
5046 : | |||
5047 : | sign : sign . WHERE whspec | ||
5048 : | sigconstraint_op : COLON sign . (reduce by rule 228) | ||
5049 : | |||
5050 : | WHERE shift 405 | ||
5051 : | |||
5052 : | |||
5053 : | . reduce by rule 228 | ||
5054 : | |||
5055 : | |||
5056 : | state 322: | ||
5057 : | |||
5058 : | sigb : sigb . AND sigb | ||
5059 : | sigb : sigb AND sigb . (reduce by rule 233) | ||
5060 : | |||
5061 : | AND shift 217 | ||
5062 : | |||
5063 : | |||
5064 : | . reduce by rule 233 | ||
5065 : | |||
5066 : | |||
5067 : | state 323: | ||
5068 : | |||
5069 : | sign : sign . WHERE whspec | ||
5070 : | sigb : ident EQUALOP sign . (reduce by rule 234) | ||
5071 : | |||
5072 : | WHERE shift 405 | ||
5073 : | |||
5074 : | |||
5075 : | . reduce by rule 234 | ||
5076 : | |||
5077 : | |||
5078 : | state 324: | ||
5079 : | |||
5080 : | ty : ty . ARROW ty | ||
5081 : | ldec : OVERLOAD ident COLON ty . AS exp_pa | ||
5082 : | |||
5083 : | ARROW shift 253 | ||
5084 : | AS shift 407 | ||
5085 : | |||
5086 : | |||
5087 : | . error | ||
5088 : | |||
5089 : | |||
5090 : | state 325: | ||
5091 : | |||
5092 : | qid : ID DOT qid . (reduce by rule 9) | ||
5093 : |