Hi Doron: The "[]" in the first production are not terminals. (They should not be in bold red.) They indicate that the sequence_abbrev is optional, and omitting the sequence_abbre allows (a ##1 b, v = 1) as you expect. J.H. > > All, > > =20 > > I am looking at 16.7 and there are some syntactic restrictions on the > use of match item that I do not understand. > > If I understand correctly there are only two syntax productions that > allow adding match items: > > =20 > > | ( sequence_expr {, sequence_match_item } ) [ sequence_abbrev ] > > | first_match ( sequence_expr {, sequence_match_item} ) > > =20 > > So, one cannot write "(a ##1 b, v =3D 1)" but can write "(a ##1 b, v =3D 1) > [*1]" which is semantically equivalent. > > =20 > > As far as I understand, we can always use the [*1] to do add the match > item, so there is no semantic meaning to the syntactic restrictions.=20 > > =20 > > Does anyone remember a reason for that? Or is it something we > overlooked? > > =20 > > Thanks > > =20 > > Doron > > --------------------------------------------------------------------- > Intel Israel (74) Limited > > This e-mail and any attachments may contain confidential material for > the sole use of the intended recipient(s). Any review or distribution > by others is strictly prohibited. If you are not the intended > recipient, please contact the sender and delete all copies. > > --=20 > This message has been scanned for viruses and > dangerous content by MailScanner, and is > believed to be clean. > > > ------_=_NextPart_001_01C937E6.0D467CC8 > Content-Type: text/html; charset="us-ascii" > Content-Transfer-Encoding: quoted-printable > > <html xmlns:v=3D"urn:schemas-microsoft-com:vml" xmlns:o=3D"urn:schemas-micr= > osoft-com:office:office" xmlns:w=3D"urn:schemas-microsoft-com:office:word" = > xmlns=3D"http://www.w3.org/TR/REC-html40"> > > <head> > <meta http-equiv=3DContent-Type content=3D"text/html; charset=3Dus-ascii"> > <meta name=3DGenerator content=3D"Microsoft Word 11 (filtered medium)"> > <style> > <!-- > /* Font Definitions */ > @font-face > {font-family:"Simplified Arabic Fixed"; > panose-1:2 1 0 9 0 0 0 0 0 0;} > /* Style Definitions */ > p.MsoNormal, li.MsoNormal, div.MsoNormal > {margin:0in; > margin-bottom:.0001pt; > font-size:12.0pt; > font-family:"Times New Roman";} > a:link, span.MsoHyperlink > {color:blue; > text-decoration:underline;} > a:visited, span.MsoHyperlinkFollowed > {color:purple; > text-decoration:underline;} > span.EmailStyle17 > {mso-style-type:personal-compose; > font-family:Arial; > color:windowtext;} > @page Section1 > {size:8.5in 11.0in; > margin:1.0in 1.25in 1.0in 1.25in;} > div.Section1 > {page:Section1;} > --> > </style> > <!--[if gte mso 9]><xml> > <o:shapedefaults v:ext=3D"edit" spidmax=3D"1026" /> > </xml><![endif]--><!--[if gte mso 9]><xml> > <o:shapelayout v:ext=3D"edit"> > <o:idmap v:ext=3D"edit" data=3D"1" /> > </o:shapelayout></xml><![endif]--> > </head> > > <body lang=3DEN-US link=3Dblue vlink=3Dpurple> > > <div class=3DSection1> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'>All,<o:p></o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'><o:p> </o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'>I am looking at 16.7 and there are some syntactic > restrictions on the use of match item that I do not understand.<o:p></o:p><= > /span></font></p> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'>If I understand correctly there are only two syntax > productions that allow adding match items:<o:p></o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'><o:p> </o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblack face=3D"Times New Roman">= > <span > style=3D'font-size:10.0pt;color:black'>| </span></font><b><font size=3D1 co= > lor=3Dred > face=3D"Courier New"><span style=3D'font-size:9.0pt;font-family:"Courier Ne= > w"; > color:red;font-weight:bold'>( </span></font></b><font size=3D2 color=3Dblac= > k><span > style=3D'font-size:10.0pt;color:black'>sequence_expr {</span></font><b><font > size=3D1 color=3Dred face=3D"Courier New"><span style=3D'font-size:9.0pt;fo= > nt-family: > "Courier New";color:red;font-weight:bold'>, </span></font></b><font size=3D2 > color=3Dblack><span style=3D'font-size:10.0pt;color:black'>sequence_match_i= > tem } </span></font><b><font > size=3D1 color=3Dred face=3D"Courier New"><span style=3D'font-size:9.0pt;fo= > nt-family: > "Courier New";color:red;font-weight:bold'>) </span></font></b><font size=3D2 > color=3Dblack><span style=3D'font-size:10.0pt;color:black'>[ sequence_abbre= > v ]<o:p></o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D2 color=3Dblack face=3D"Times New Roman">= > <span > style=3D'font-size:10.0pt;color:black'>| </span></font><b><font size=3D1 co= > lor=3Dred > face=3D"Courier New"><span style=3D'font-size:9.0pt;font-family:"Courier Ne= > w"; > color:red;font-weight:bold'>first_match ( </span></font></b><font size=3D2 > color=3Dblack><span style=3D'font-size:10.0pt;color:black'>sequence_expr {<= > /span></font><b><font > size=3D1 color=3Dred face=3D"Courier New"><span style=3D'font-size:9.0pt;fo= > nt-family: > "Courier New";color:red;font-weight:bold'>, </span></font></b><font size=3D2 > color=3Dblack><span style=3D'font-size:10.0pt;color:black'>sequence_match_i= > tem} </span></font><b><font > size=3D1 color=3Dred face=3D"Courier New"><span style=3D'font-size:9.0pt;fo= > nt-family: > "Courier New";color:red;font-weight:bold'>)<o:p></o:p></span></font></b></p> > > <p class=3DMsoNormal><b><font size=3D1 color=3Dred face=3D"Courier New"><sp= > an > style=3D'font-size:9.0pt;font-family:"Courier New";color:red;font-weight:bo= > ld'><o:p> </o:p></span></font></b></p> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'>So, one cannot write “(a ##1 b, v =3D 1)” &n= > bsp;but > can write “(a ##1 b, v =3D 1) [*1]” which is semantically equiv= > alent.<o:p></o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'><o:p> </o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'>As far as I understand, we can always use the [*1] to do= > add > the match item, so there is no semantic meaning to the syntactic restrictio= > ns. <o:p></o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'><o:p> </o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'>Does anyone remember a reason for that? Or is it somethi= > ng > we overlooked?<o:p></o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'><o:p> </o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'>Thanks<o:p></o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'><o:p> </o:p></span></font></p> > > <p class=3DMsoNormal><font size=3D2 face=3DArial><span style=3D'font-size:1= > 0.0pt; > font-family:Arial'>Doron<o:p></o:p></span></font></p> > > </div> > > <pre>--------------------------------------------------------------------- > Intel Israel (74) Limited > > This e-mail and any attachments may contain confidential material for > the sole use of the intended recipient(s). Any review or distribution > by others is strictly prohibited. If you are not the intended > recipient, please contact the sender and delete all copies. > </pre></body> > > <br />--=20 > <br />This message has been scanned for viruses and > <br />dangerous content by > <a href=3D"http://www.mailscanner.info/"><b>MailScanner</b></a>, and is > <br />believed to be clean. > </html> > > ------_=_NextPart_001_01C937E6.0D467CC8-- > -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Mon Oct 27 07:29:25 2008
This archive was generated by hypermail 2.1.8 : Mon Oct 27 2008 - 07:30:25 PDT