Hi Shalom, I agree with you on this point. Such a change does not appear to alter the allowed syntax in any way. I'm ok letting the Editor make the change. Neil Bresticker, Shalom wrote: > Hi, > > In 18.5.1 (Syntax 18-3) and A.2.11: > > trans_range_list ::= > trans_item > | trans_item [ [* repeat_range ] ] > | trans_item [ [-> repeat_range ] ] > | trans_item [ [= repeat_range ] ] > > where the outer brackets are black and the inner ones are red. > That is, the outer brackets mean that the contents are optional. > But then it reduces to the first alternative, simple trans_item. > So I think all the outer brackets are redundant. > > > 18.5.1 says, > "Consecutive repetitions of transitions are specified using (see Annex > F):" > While this syntax is formally defined in Annex F, that is in the context > of assertions. While the meaning may be similar, I am not sure it is > identical and that the formal description there is accurate and relevant > to transitions also. Even if it is, I am not sure it is helpful to give > that xref here. > > Regards, > Shalom > --------------------------------------------------------------------- > 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. > > -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue Apr 15 14:04:57 2008
This archive was generated by hypermail 2.1.8 : Tue Apr 15 2008 - 14:05:40 PDT