mlyacc/src/yacc-grm.sml

336 type result = string*Hdr.declData* ( Hdr.rule list )
412 HEADER1left,_))::rest671) => let val result=MlyValue.BEGIN(fn _ =>
418  in (LrTable.NT 0,(result,HEADER1left,G_RULE_LIST1right),rest671) end
421 val result=MlyValue.MPC_DECLS(fn _ => let val MPC_DECLS as MPC_DECLS1=
426  in (LrTable.NT 5,(result,MPC_DECLS1left,MPC_DECL1right),rest671) end
427 | (2,rest671) => let val result=MlyValue.MPC_DECLS(fn _ => (
432  in (LrTable.NT 5,(result,defaultPos,defaultPos),rest671) end
434 _,TERM1left,_))::rest671) => let val result=MlyValue.MPC_DECL(fn _ =>
443  in (LrTable.NT 4,(result,TERM1left,CONSTR_LIST1right),rest671) end
445 _,NONTERM1left,_))::rest671) => let val result=MlyValue.MPC_DECL(fn _
453  in (LrTable.NT 4,(result,NONTERM1left,CONSTR_LIST1right),rest671) end
455 MlyValue.PREC PREC1,PREC1left,_))::rest671) => let val result=
464  in (LrTable.NT 4,(result,PREC1left,ID_LIST1right),rest671) end
466  => let val result=MlyValue.MPC_DECL(fn _ => let val ID as ID1=ID1 ()
473  in (LrTable.NT 4,(result,START1left,ID1right),rest671) end
475 PERCENT_EOP1left,_))::rest671) => let val result=MlyValue.MPC_DECL(fn
483  in (LrTable.NT 4,(result,PERCENT_EOP1left,ID_LIST1right),rest671) end
485 KEYWORD1left,_))::rest671) => let val result=MlyValue.MPC_DECL(fn _
493  in (LrTable.NT 4,(result,KEYWORD1left,ID_LIST1right),rest671) end
495 PREFER1left,_))::rest671) => let val result=MlyValue.MPC_DECL(fn _ =>
503  in (LrTable.NT 4,(result,PREFER1left,ID_LIST1right),rest671) end
505 (_,CHANGE1left,_))::rest671) => let val result=MlyValue.MPC_DECL(fn _
513  in (LrTable.NT 4,(result,CHANGE1left,CHANGE_DECL1right),rest671) end
515 SUBST1left,_))::rest671) => let val result=MlyValue.MPC_DECL(fn _ =>
523  in (LrTable.NT 4,(result,SUBST1left,SUBST_DECL1right),rest671) end
525 NOSHIFT1left,_))::rest671) => let val result=MlyValue.MPC_DECL(fn _
533  in (LrTable.NT 4,(result,NOSHIFT1left,ID_LIST1right),rest671) end
535 PERCENT_HEADER1left,_))::rest671) => let val result=MlyValue.MPC_DECL(
543  in (LrTable.NT 4,(result,PERCENT_HEADER1left,PROG1right),rest671) end
545 PERCENT_TOKEN_SIG_INFO1left,_))::rest671) => let val result=
554  in (LrTable.NT 4,(result,PERCENT_TOKEN_SIG_INFO1left,PROG1right),
557  => let val result=MlyValue.MPC_DECL(fn _ => let val ID as ID1=ID1 ()
564  in (LrTable.NT 4,(result,NAME1left,ID1right),rest671) end
566 ))::(_,(_,PERCENT_ARG1left,_))::rest671) => let val result=
575  in (LrTable.NT 4,(result,PERCENT_ARG1left,TY1right),rest671) end
576 | (17,(_,(_,VERBOSE1left,VERBOSE1right))::rest671) => let val result=
583  in (LrTable.NT 4,(result,VERBOSE1left,VERBOSE1right),rest671) end
585 result=MlyValue.MPC_DECL(fn _ => (
591  in (LrTable.NT 4,(result,NODEFAULT1left,NODEFAULT1right),rest671) end
593 val result=MlyValue.MPC_DECL(fn _ => (
599  in (LrTable.NT 4,(result,PERCENT_PURE1left,PERCENT_PURE1right),
602 rest671) => let val result=MlyValue.MPC_DECL(fn _ => let val TY as TY1
611  in (LrTable.NT 4,(result,PERCENT_POS1left,TY1right),rest671) end
613 )::(_,(_,VALUE1left,_))::rest671) => let val result=MlyValue.MPC_DECL(
623  in (LrTable.NT 4,(result,VALUE1left,PROG1right),rest671) end
626 let val result=MlyValue.CHANGE_DECL(fn _ => let val CHANGE_DEC as
631  in (LrTable.NT 14,(result,CHANGE_DEC1left,CHANGE_DECL1right),rest671)
634 CHANGE_DEC1right))::rest671) => let val result=MlyValue.CHANGE_DECL(
638  in (LrTable.NT 14,(result,CHANGE_DEC1left,CHANGE_DEC1right),rest671)
641 MlyValue.ID_LIST ID_LIST1,ID_LIST1left,_))::rest671) => let val result
646  in (LrTable.NT 15,(result,ID_LIST1left,ID_LIST2right),rest671) end
649 val result=MlyValue.SUBST_DECL(fn _ => let val SUBST_DEC as SUBST_DEC1
654  in (LrTable.NT 12,(result,SUBST_DEC1left,SUBST_DECL1right),rest671)
657 ))::rest671) => let val result=MlyValue.SUBST_DECL(fn _ => let val
661  in (LrTable.NT 12,(result,SUBST_DEC1left,SUBST_DEC1right),rest671)
664 ,_))::rest671) => let val result=MlyValue.SUBST_DEC(fn _ => let val
669  in (LrTable.NT 13,(result,ID1left,ID2right),rest671) end
672 ) => let val result=MlyValue.CONSTR_LIST(fn _ => let val CONSTR_LIST
678  in (LrTable.NT 1,(result,CONSTR_LIST1left,TY1right),rest671) end
680 CONSTR_LIST1,CONSTR_LIST1left,_))::rest671) => let val result=
686  in (LrTable.NT 1,(result,CONSTR_LIST1left,ID1right),rest671) end
688 ,_))::rest671) => let val result=MlyValue.CONSTR_LIST(fn _ => let val
693  in (LrTable.NT 1,(result,ID1left,TY1right),rest671) end
695 result=MlyValue.CONSTR_LIST(fn _ => let val ID as ID1=ID1 ()
698  in (LrTable.NT 1,(result,ID1left,ID1right),rest671) end
700 MlyValue.ID ID1,ID1left,_))::rest671) => let val result=
710  in (LrTable.NT 9,(result,ID1left,RHS_LIST1right),rest671) end
713 let val result=MlyValue.G_RULE_LIST(fn _ => let val G_RULE_LIST as
718  in (LrTable.NT 10,(result,G_RULE_LIST1left,G_RULE1right),rest671) end
720  => let val result=MlyValue.G_RULE_LIST(fn _ => let val G_RULE as
724  in (LrTable.NT 10,(result,G_RULE1left,G_RULE1right),rest671) end
726  ID1,ID1left,_))::rest671) => let val result=MlyValue.ID_LIST(fn _ =>
731  in (LrTable.NT 2,(result,ID1left,ID_LIST1right),rest671) end
732 | (36,rest671) => let val result=MlyValue.ID_LIST(fn _ => (nil))
733  in (LrTable.NT 2,(result,defaultPos,defaultPos),rest671) end
736 rest671) => let val result=MlyValue.RHS_LIST(fn _ => let val ID_LIST
742  in (LrTable.NT 8,(result,ID_LIST1left,PROG1right),rest671) end
746 result=MlyValue.RHS_LIST(fn _ => let val RHS_LIST as RHS_LIST1=
753  in (LrTable.NT 8,(result,RHS_LIST1left,PROG1right),rest671) end
755 let val result=MlyValue.TY(fn _ => let val TYVAR as TYVAR1=TYVAR1 ()
758  in (LrTable.NT 16,(result,TYVAR1left,TYVAR1right),rest671) end
760 _))::(_,(_,LBRACE1left,_))::rest671) => let val result=MlyValue.TY(fn
764  in (LrTable.NT 16,(result,LBRACE1left,RBRACE1right),rest671) end
766 val result=MlyValue.TY(fn _ => ("{}"))
767  in (LrTable.NT 16,(result,LBRACE1left,RBRACE1right),rest671) end
769 val result=MlyValue.TY(fn _ => let val PROG as PROG1=PROG1 ()
772  in (LrTable.NT 16,(result,PROG1left,PROG1right),rest671) end
774  TY1,TY1left,_))::rest671) => let val result=MlyValue.TY(fn _ => let
779  in (LrTable.NT 16,(result,TY1left,QUAL_ID1right),rest671) end
781 rest671) => let val result=MlyValue.TY(fn _ => let val QUAL_ID as
785  in (LrTable.NT 16,(result,QUAL_ID1left,QUAL_ID1right),rest671) end
787 ,_))::rest671) => let val result=MlyValue.TY(fn _ => let val TY1=TY1
792  in (LrTable.NT 16,(result,TY1left,TY2right),rest671) end
794 ,_))::rest671) => let val result=MlyValue.TY(fn _ => let val TY1=TY1
799  in (LrTable.NT 16,(result,TY1left,TY2right),rest671) end
802 rest671) => let val result=MlyValue.RECORD_LIST(fn _ => let val
808  in (LrTable.NT 7,(result,RECORD_LIST1left,TY1right),rest671) end
810 LABEL1left,_))::rest671) => let val result=MlyValue.RECORD_LIST(fn _
815  in (LrTable.NT 7,(result,LABEL1left,TY1right),rest671) end
817 result=MlyValue.QUAL_ID(fn _ => let val ID as ID1=ID1 ()
820  in (LrTable.NT 6,(result,ID1left,ID1right),rest671) end
822 MlyValue.IDDOT IDDOT1,IDDOT1left,_))::rest671) => let val result=
827  in (LrTable.NT 6,(result,IDDOT1left,QUAL_ID1right),rest671) end
829 result=MlyValue.LABEL(fn _ => let val ID as ID1=ID1 ()
832  in (LrTable.NT 3,(result,ID1left,ID1right),rest671) end
834 result=MlyValue.LABEL(fn _ => let val INT as INT1=INT1 ()
837  in (LrTable.NT 3,(result,INT1left,INT1right),rest671) end
839 rest671) => let val result=MlyValue.G_RULE_PREC(fn _ => let val ID as
843  in (LrTable.NT 11,(result,PREC_TAG1left,ID1right),rest671) end
844 | (54,rest671) => let val result=MlyValue.G_RULE_PREC(fn _ => (NONE))
845  in (LrTable.NT 11,(result,defaultPos,defaultPos),rest671) end