html-gram.sml

这是我们参加06年全国开源软件的竞赛作品

rest671) end
| (23,(_,(MlyValue.BodyContent BodyContent,_,BodyContent1right))::(_,(
MlyValue.START_BODY START_BODY,START_BODYleft as START_BODY1left,_))::
rest671) => let val result=MlyValue.BodyContent0((
HTMLAttrs.mkBODY(ctx START_BODYleft, START_BODY, BodyContent)))
 in (LrTable.NT 13,(result,START_BODY1left,BodyContent1right),rest671)
 end
| (24,(_,(MlyValue.BodyContent1 BodyContent1,_,BodyContent11right))::(
_,(MlyValue.TextWOScript TextWOScript,TextWOScript1left,_))::rest671)
 => let val result=MlyValue.BodyContent0((
mkBody(consText(TextWOScript, BodyContent1))))
 in (LrTable.NT 13,(result,TextWOScript1left,BodyContent11right),
rest671) end
| (25,(_,(MlyValue.BodyContent1 BodyContent1,_,BodyContent11right))::(
_,(MlyValue.BodyElement BodyElement,BodyElement1left,_))::rest671) => 
let val result=MlyValue.BodyContent0((
mkBody(consBlock(BodyElement, BodyContent1))))
 in (LrTable.NT 13,(result,BodyElement1left,BodyContent11right),
rest671) end
| (26,(_,(MlyValue.BodyContent1 BodyContent1,_,BodyContent11right))::(
_,(MlyValue.BlockWOIndex BlockWOIndex,BlockWOIndex1left,_))::rest671)
 => let val result=MlyValue.BodyContent0((
mkBody(consBlock(BlockWOIndex, BodyContent1))))
 in (LrTable.NT 13,(result,BlockWOIndex1left,BodyContent11right),
rest671) end
| (27,(_,(MlyValue.BodyContent1 BodyContent1,_,BodyContent11right))::_
::(_,(MlyValue.Paragraph Paragraph,Paragraph1left,_))::rest671) => 
let val result=MlyValue.BodyContent0((
mkBody(consBlock(Paragraph, BodyContent1))))
 in (LrTable.NT 13,(result,Paragraph1left,BodyContent11right),rest671)
 end
| (28,(_,(MlyValue.BodyContent2 BodyContent2,_,BodyContent21right))::(
_,(MlyValue.Paragraph Paragraph,Paragraph1left,_))::rest671) => let 
val result=MlyValue.BodyContent0((
mkBody(consBlock(Paragraph, BodyContent2))))
 in (LrTable.NT 13,(result,Paragraph1left,BodyContent21right),rest671)
 end
| (29,rest671) => let val result=MlyValue.BodyContent1(([]))
 in (LrTable.NT 14,(result,defaultPos,defaultPos),rest671) end
| (30,(_,(MlyValue.BodyContent1 BodyContent1,_,BodyContent11right))::(
_,(MlyValue.Text Text,Text1left,_))::rest671) => let val result=
MlyValue.BodyContent1((consText(Text, BodyContent1)))
 in (LrTable.NT 14,(result,Text1left,BodyContent11right),rest671) end
| (31,(_,(MlyValue.BodyContent1 BodyContent1,_,BodyContent11right))::(
_,(MlyValue.BodyElement BodyElement,BodyElement1left,_))::rest671) => 
let val result=MlyValue.BodyContent1((
consBlock(BodyElement, BodyContent1)))
 in (LrTable.NT 14,(result,BodyElement1left,BodyContent11right),
rest671) end
| (32,(_,(MlyValue.BodyContent1 BodyContent1,_,BodyContent11right))::(
_,(MlyValue.Block Block,Block1left,_))::rest671) => let val result=
MlyValue.BodyContent1((consBlock(Block, BodyContent1)))
 in (LrTable.NT 14,(result,Block1left,BodyContent11right),rest671) end
| (33,(_,(MlyValue.BodyContent1 BodyContent1,_,BodyContent11right))::_
::(_,(MlyValue.Paragraph Paragraph,Paragraph1left,_))::rest671) => 
let val result=MlyValue.BodyContent1((
consBlock(Paragraph, BodyContent1)))
 in (LrTable.NT 14,(result,Paragraph1left,BodyContent11right),rest671)
 end
| (34,(_,(MlyValue.BodyContent2 BodyContent2,_,BodyContent21right))::(
_,(MlyValue.Paragraph Paragraph,Paragraph1left,_))::rest671) => let 
val result=MlyValue.BodyContent1((consBlock(Paragraph, BodyContent2)))
 in (LrTable.NT 14,(result,Paragraph1left,BodyContent21right),rest671)
 end
| (35,rest671) => let val result=MlyValue.BodyContent2(([]))
 in (LrTable.NT 15,(result,defaultPos,defaultPos),rest671) end
| (36,(_,(MlyValue.BodyContent1 BodyContent1,_,BodyContent11right))::(
_,(MlyValue.BodyElement BodyElement,BodyElement1left,_))::rest671) => 
let val result=MlyValue.BodyContent2((
consBlock(BodyElement, BodyContent1)))
 in (LrTable.NT 15,(result,BodyElement1left,BodyContent11right),
rest671) end
| (37,(_,(MlyValue.BodyContent1 BodyContent1,_,BodyContent11right))::(
_,(MlyValue.Block Block,Block1left,_))::rest671) => let val result=
MlyValue.BodyContent2((consBlock(Block, BodyContent1)))
 in (LrTable.NT 15,(result,Block1left,BodyContent11right),rest671) end
| (38,(_,(MlyValue.BodyContent1 BodyContent1,_,BodyContent11right))::_
::(_,(MlyValue.Paragraph Paragraph,Paragraph1left,_))::rest671) => 
let val result=MlyValue.BodyContent2((
consBlock(Paragraph, BodyContent1)))
 in (LrTable.NT 15,(result,Paragraph1left,BodyContent11right),rest671)
 end
| (39,(_,(MlyValue.BodyContent2 BodyContent2,_,BodyContent21right))::(
_,(MlyValue.Paragraph Paragraph,Paragraph1left,_))::rest671) => let 
val result=MlyValue.BodyContent2((consBlock(Paragraph, BodyContent2)))
 in (LrTable.NT 15,(result,Paragraph1left,BodyContent21right),rest671)
 end
| (40,(_,(_,_,END_H11right))::(_,(MlyValue.TextList TextList,_,_))::(_
,(MlyValue.START_H1 START_H1,START_H1left as START_H11left,_))::
rest671) => let val result=MlyValue.BodyElement((
HTMLAttrs.mkHn(1, ctx START_H1left, START_H1, TextList)))
 in (LrTable.NT 16,(result,START_H11left,END_H11right),rest671) end
| (41,(_,(_,_,END_H21right))::(_,(MlyValue.TextList TextList,_,_))::(_
,(MlyValue.START_H2 START_H2,START_H2left as START_H21left,_))::
rest671) => let val result=MlyValue.BodyElement((
HTMLAttrs.mkHn(2, ctx START_H2left, START_H2, TextList)))
 in (LrTable.NT 16,(result,START_H21left,END_H21right),rest671) end
| (42,(_,(_,_,END_H31right))::(_,(MlyValue.TextList TextList,_,_))::(_
,(MlyValue.START_H3 START_H3,START_H3left as START_H31left,_))::
rest671) => let val result=MlyValue.BodyElement((
HTMLAttrs.mkHn(3, ctx START_H3left, START_H3, TextList)))
 in (LrTable.NT 16,(result,START_H31left,END_H31right),rest671) end
| (43,(_,(_,_,END_H41right))::(_,(MlyValue.TextList TextList,_,_))::(_
,(MlyValue.START_H4 START_H4,START_H4left as START_H41left,_))::
rest671) => let val result=MlyValue.BodyElement((
HTMLAttrs.mkHn(4, ctx START_H4left, START_H4, TextList)))
 in (LrTable.NT 16,(result,START_H41left,END_H41right),rest671) end
| (44,(_,(_,_,END_H51right))::(_,(MlyValue.TextList TextList,_,_))::(_
,(MlyValue.START_H5 START_H5,START_H5left as START_H51left,_))::
rest671) => let val result=MlyValue.BodyElement((
HTMLAttrs.mkHn(5, ctx START_H5left, START_H5, TextList)))
 in (LrTable.NT 16,(result,START_H51left,END_H51right),rest671) end
| (45,(_,(_,_,END_H61right))::(_,(MlyValue.TextList TextList,_,_))::(_
,(MlyValue.START_H6 START_H6,START_H6left as START_H61left,_))::
rest671) => let val result=MlyValue.BodyElement((
HTMLAttrs.mkHn(6, ctx START_H6left, START_H6, TextList)))
 in (LrTable.NT 16,(result,START_H61left,END_H61right),rest671) end
| (46,(_,(_,_,END_ADDRESS1right))::(_,(MlyValue.AddressContent1 
AddressContent1,_,_))::(_,(_,START_ADDRESS1left,_))::rest671) => let 
val result=MlyValue.BodyElement((HTML.ADDRESS(mkBlock AddressContent1)
))
 in (LrTable.NT 16,(result,START_ADDRESS1left,END_ADDRESS1right),
rest671) end
| (47,rest671) => let val result=MlyValue.AddressContent1(([]))
 in (LrTable.NT 17,(result,defaultPos,defaultPos),rest671) end
| (48,(_,(MlyValue.AddressContent1 AddressContent1,_,
AddressContent11right))::(_,(MlyValue.Text Text,Text1left,_))::rest671
) => let val result=MlyValue.AddressContent1((
consText(Text, AddressContent1)))
 in (LrTable.NT 17,(result,Text1left,AddressContent11right),rest671)
 end
| (49,(_,(MlyValue.AddressContent1 AddressContent1,_,
AddressContent11right))::_::(_,(MlyValue.Paragraph Paragraph,
Paragraph1left,_))::rest671) => let val result=
MlyValue.AddressContent1((consBlock(Paragraph, AddressContent1)))
 in (LrTable.NT 17,(result,Paragraph1left,AddressContent11right),
rest671) end
| (50,(_,(MlyValue.AddressContent2 AddressContent2,_,
AddressContent21right))::(_,(MlyValue.Paragraph Paragraph,
Paragraph1left,_))::rest671) => let val result=
MlyValue.AddressContent1((consBlock(Paragraph, AddressContent2)))
 in (LrTable.NT 17,(result,Paragraph1left,AddressContent21right),
rest671) end
| (51,rest671) => let val result=MlyValue.AddressContent2(([]))
 in (LrTable.NT 18,(result,defaultPos,defaultPos),rest671) end
| (52,(_,(MlyValue.AddressContent1 AddressContent1,_,
AddressContent11right))::_::(_,(MlyValue.Paragraph Paragraph,
Paragraph1left,_))::rest671) => let val result=
MlyValue.AddressContent2((consBlock(Paragraph, AddressContent1)))
 in (LrTable.NT 18,(result,Paragraph1left,AddressContent11right),
rest671) end
| (53,(_,(MlyValue.AddressContent2 AddressContent2,_,
AddressContent21right))::(_,(MlyValue.Paragraph Paragraph,
Paragraph1left,_))::rest671) => let val result=
MlyValue.AddressContent2((consBlock(Paragraph, AddressContent2)))
 in (LrTable.NT 18,(result,Paragraph1left,AddressContent21right),
rest671) end
| (54,(_,(MlyValue.List List,List1left,List1right))::rest671) => let 
val result=MlyValue.BlockWOIndex((List))
 in (LrTable.NT 19,(result,List1left,List1right),rest671) end
| (55,(_,(MlyValue.Preformatted Preformatted,Preformatted1left,
Preformatted1right))::rest671) => let val result=MlyValue.BlockWOIndex
((Preformatted))
 in (LrTable.NT 19,(result,Preformatted1left,Preformatted1right),
rest671) end
| (56,(_,(_,_,END_DIV1right))::(_,(MlyValue.BodyContent BodyContent,_,
_))::(_,(MlyValue.START_DIV START_DIV,START_DIVleft as START_DIV1left,
_))::rest671) => let val result=MlyValue.BlockWOIndex((
HTMLAttrs.mkDIV(ctx START_DIVleft, START_DIV, BodyContent)))
 in (LrTable.NT 19,(result,START_DIV1left,END_DIV1right),rest671) end
| (57,(_,(_,_,END_CENTER1right))::(_,(MlyValue.BodyContent BodyContent
,_,_))::(_,(_,START_CENTER1left,_))::rest671) => let val result=
MlyValue.BlockWOIndex((HTML.CENTER BodyContent))
 in (LrTable.NT 19,(result,START_CENTER1left,END_CENTER1right),rest671
) end
| (58,(_,(_,_,END_BLOCKQUOTE1right))::(_,(MlyValue.BodyContent 
BodyContent,_,_))::(_,(_,START_BLOCKQUOTE1left,_))::rest671) => let 
val result=MlyValue.BlockWOIndex((HTML.BLOCKQUOTE BodyContent))
 in (LrTable.NT 19,(result,START_BLOCKQUOTE1left,END_BLOCKQUOTE1right)
,rest671) end
| (59,(_,(_,_,END_FORM1right))::(_,(MlyValue.BodyContent BodyContent,_
,_))::(_,(MlyValue.START_FORM START_FORM,START_FORMleft as 
START_FORM1left,_))::rest671) => let val result=MlyValue.BlockWOIndex(
(HTMLAttrs.mkFORM(ctx START_FORMleft, START_FORM, BodyContent)))
 in (LrTable.NT 19,(result,START_FORM1left,END_FORM1right),rest671)
 end
| (60,(_,(MlyValue.TAG_HR TAG_HR,TAG_HRleft as TAG_HR1left,
TAG_HR1right))::rest671) => let val result=MlyValue.BlockWOIndex((
HTMLAttrs.mkHR(ctx TAG_HRleft, TAG_HR)))
 in (LrTable.NT 19,(result,TAG_HR1left,TAG_HR1right),rest671) end
| (61,(_,(_,_,END_TABLE1right))::(_,(MlyValue.TableRowList 
TableRowList,_,_))::(_,(MlyValue.optCaption optCaption,_,_))::(_,(
MlyValue.START_TABLE START_TABLE,START_TABLEleft as START_TABLE1left,_
))::rest671) => let val result=MlyValue.BlockWOIndex((
HTMLAttrs.mkTABLE(
		    ctx START_TABLEleft, START_TABLE,
		    {caption = optCaption, body = TableRowList})
		
))
 in (LrTable.NT 19,(result,START_TABLE1left,END_TABLE1right),rest671)
 end
| (62,(_,(MlyValue.BlockWOIndex BlockWOIndex,BlockWOIndex1left,
BlockWOIndex1right))::rest671) => let val result=MlyValue.Block((
BlockWOIndex))
 in (LrTable.NT 20,(result,BlockWOIndex1left,BlockWOIndex1right),
rest671) end
| (63,(_,(MlyValue.TAG_ISINDEX TAG_ISINDEX,TAG_ISINDEXleft as 
TAG_ISINDEX1left,TAG_ISINDEX1right))::rest671) => let val result=
MlyValue.Block((
let val stuff =
		    HTMLAttrs.mkISINDEX (ctx TAG_ISINDEXleft, TAG_ISINDEX)
		  in HTML.ISINDEX stuff end
		
))
 in (LrTable.NT 20,(result,TAG_ISINDEX1left,TAG_ISINDEX1right),rest671
) end
| (64,(_,(MlyValue.TextList TextList,_,TextList1right))::(_,(
MlyValue.START_P START_P,START_Pleft as START_P1left,_))::rest671) => 
let val result=MlyValue.Paragraph((
HTMLAttrs.mkP(ctx START_Pleft, START_P, TextList)))
 in (LrTable.NT 21,(result,START_P1left,TextList1right),rest671) end
| (65,(_,(_,_,END_UL1right))::(_,(MlyValue.ListItemList ListItemList,_
,_))::(_,(MlyValue.START_UL START_UL,START_ULleft as START_UL1left,_))
::rest671) => let val result=MlyValue.List((
HTMLAttrs.mkUL(ctx START_ULleft, START_UL, ListItemList)))
 in (LrTable.NT 22,(result,START_UL1left,END_UL1right),rest671) end
| (66,(_,(_,_,END_OL1right))::(_,(MlyValue.ListItemList ListItemList,_
,_))::(_,(MlyValue.START_OL START_OL,START_OLleft as START_OL1left,_))
::rest671) => let val result=MlyValue.List((
HTMLAttrs.mkOL(ctx START_OLleft, START_OL, ListItemList)))
 in (LrTable.NT 22,(result,START_OL1left,END_OL1right),rest671) end
| (67,(_,(_,_,END_DIR1right))::(_,(MlyValue.ListItemList ListItemList,
_,_))::(_,(MlyValue.START_DIR START_DIR,START_DIRleft as 
START_DIR1left,_))::rest671) => let val result=MlyValue.List((
HTMLAttrs.mkDIR(ctx START_DIRleft, START_DIR, ListItemList)))
 in (LrTable.NT 22,(result,START_DIR1left,END_DIR1right),rest671) end
| (68,(_,(_,_,END_MENU1right))::(_,(MlyValue.ListItemList ListItemList
,_,_))::(_,(MlyValue.START_MENU START_MENU,START_MENUleft as 
START_MENU1left,_))::rest671) => let val result=MlyValue.List((
HTMLAttrs.mkMENU(ctx START_MENUleft, START_MENU, ListItemList)))
 in (LrTable.NT 22,(result,START_MENU1left,END_MENU1right),rest671)
 end
| (69,(_,(_,_,END_DL1right))::(_,(MlyValue.DLItemList DLItemList,_,_))
::(_,(MlyValue.START_DL START_DL,START_DLleft as START_DL1left,_))::
rest671) => let val result=MlyValue.List((
HTMLAttrs.mkDL(
		  ctx START_DLleft, START_DL,
		  groupDefListContents DLItemList)
		
))
 in (LrTable.NT 22,(result,START_DL1left,END_DL1right),rest671) end
| (70,rest671) => let val result=MlyValue.ListItemList(([]))
 in (LrTable.NT 23,(result,defaultPos,defaultPos),rest671) end
| (71,(_,(MlyValue.ListItemList ListItemList,_,ListItemList1right))::(
_,(MlyValue.ListItem ListItem,ListItem1left,_))::rest671) => let val 
result=MlyValue.ListItemList((ListItem :: ListItemList))
 in (LrTable.NT 23,(result,ListItem1left,ListItemList1right),rest671)
 end
| (72,(_,(_,_,EndLI1right))::(_,(MlyValue.Flow1 Flow1,_,_))::(_,(
MlyValue.START_LI START_LI,START_LIleft as START_LI1left,_))::rest671)
 => let val result=MlyValue.ListItem((
HTMLAttrs.mkLI(ctx START_LIleft, START_LI, mkBlock Flow1)))
 in (LrTable.NT 24,(result,START_LI1left,EndLI1right),rest671) end
| (73,rest671) => let val result=MlyValue.DLItemList(([]))
 in (LrTable.NT 25,(result,defaultPos,defaultPos),rest671) end
| (74,(_,(MlyValue.DLItemList DLItemList,_,DLItemList1right))::(_,(
MlyValue.DLItem DLItem,DLItem1left,_))::rest671) => let val result=
MlyValue.DLItemList((DLItem :: DLItemList))
 in (LrTable.NT 25,(result,DLItem1left,DLItemList1right),rest671) end
| (75,(_,(_,_,EndDT1right))::(_,(MlyValue.TextList TextList,_,_))::(_,
(_,START_DT1left,_))::rest671) => let val result=MlyValue.DLItem((
DL_tag TextList))
 in (LrTable.NT 26,(result,START_DT1left,EndDT1right),rest671) end
| (76,(_,(_,_,EndDD1right))::(_,(MlyValue.Flow1 Flow1,_,_))::(_,(_,
START_DD1left,_))::rest671) => let val result=MlyValue.DLItem((
DL_item(mkBlock Flow1)))
 in (LrTable.NT 26,(result,START_DD1left,EndDD1right),rest671) end
| (77,rest671) => let val result=MlyValue.Flow1(([]))
 in (LrTable.NT 27,(result,defaultPos,defaultPos),rest671) end
| (78,(_,(MlyValue.Flow1 Flow1,_,Flow11right))::(_,(MlyValue.Text Text
,Text1left,_))::rest671) => let val result=MlyValue.Flow1((
consText(Text, Flow1)))
 in (LrTable.NT 27,(result,Text1left,Flow11right),rest671) end
| (79,(_,(MlyValue.Flow1 Flow1,_,Flow11right))::(_,(MlyValue.Block 
Block,Block1left,_))::rest671) => let val result=MlyValue.Flow1((
consBlock(Block, Flow1)))
 in (LrTable.NT 27,(result,Block1left,Flow11right),rest671) end
| (80,(_,(MlyValue.Flow1 Flow1,_,Flow11right))::_::(_,(
MlyValue.Paragraph Paragraph,Paragraph1left,_))::rest671) => let val 
result=MlyValue.Flow1((consBlock(Paragraph, Flow1)))
 in (LrTable.NT 27,(result,Paragraph1left,Flow11right),rest671) end
| (81,(_,(MlyValue.Flow2 Flow2,_,Flow21right))::(_,(MlyValue.Paragraph
 Paragraph,Paragraph1left,_))::rest671) => let val result=
MlyValue.Flow1((consBlock(Paragraph, Flow2)))
 in (LrTable.NT 27,(result,Paragraph1left,Flow21right),rest671) end
| (82,rest671) => let val result=MlyValue.Flow2(([]))
 in (LrTable.NT 28,(result,defaultPos,defaultPos),rest671) end
| (83,(_,(MlyValue.Flow1 Flow1,_,Flow11right))::(_,(MlyValue.Block 
Block,Block1left,_))::rest671) => let val result=MlyValue.Flow2((
consBlock(Block, Flow1)))
 in (LrTable.NT 28,(result,Block1left,Flow11right),rest671) end
| (84,(_,(MlyValue.Flow1 Flow1,_,Flow11right))::_::(_,(
MlyValue.Paragraph Paragraph,Paragraph1left,_))::rest671) => let val 
result=MlyValue.Flow2((consBlock(Paragraph, Flow1)))
 in (LrTable.NT 28,(result,Paragraph1left,Flow11right),rest671) end
| (85,(_,(MlyValue.Flow2 Flow2,_,Flow21right))::(_,(MlyValue.Paragraph
 Paragraph,Paragraph1left,_))::rest671) => let val result=
MlyValue.Flow2((consBlock(Paragraph, Flow2)))
 in (LrTable.NT 28,(result,Paragraph1left,Flow21right),rest671) end
| (86,rest671) => let val result=MlyValue.ntVOID(())
 in (LrTable.NT 29,(result,defaultPos,defaultPos),rest671) end
| (87,(_,(_,END_LI1left,END_LI1right))::rest671) => let val result=
MlyValue.ntVOID(())
 in (LrTable.NT 29,(result,END_LI1left,END_LI1right),rest671) end
| (88,rest671) => let val result=MlyValue.ntVOID(())
 in (LrTable.NT 30,(result,defaultPos,defaultPos),rest671) end
| (89,(_,(_,END_DT1left,END_DT1right))::rest671) => let val result=
MlyValue.ntVOID(())
 in (LrTable.NT 30,(result,END_DT1left,END_DT1right),rest671) end
| (90,rest671) => let val result=MlyValue.ntVOID(())
 in (LrTable.NT 31,(result,defaultPos,defaultPos),rest671) end
| (91,(_,(_,END_DD1left,END_DD1right))::rest671) => let val result=
MlyValue.ntVOID(())
 in (LrTable.NT 31,(result,END_DD1left,END_DD1right),rest671) end
| (92,(_,(_,_,END_PRE1right))::(_,(MlyValue.TextList TextList,_,_))::(
_,(MlyValue.START_PRE START_PRE,START_PREleft as START_PRE1left,_))::
rest671) => let val result=MlyValue.Preformatted((
H