Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/src/compiler/Parse/parse/ml.grm.desc
ViewVC logotype

Annotation of /sml/trunk/src/compiler/Parse/parse/ml.grm.desc

Parent Directory Parent Directory | Revision Log 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 :