Hi Folks: I agree with Shalom. 2173, 2326, and 2327 add "case" as a property building construct within concurrent assertions. We already have "if-else", so this is primarily syntactic sugar. I do not think that these should be moved from SV-AC to the new sub-committee J.H. > Hi, > > > I think we should add to the list for this new committee (Erik) > > > > 9. 2173 > > 10. 2326 > > 11. 2327 > > Is this Erik's personal request or an SV-AC request? > Who decides what issues the new sub-committee deals with? > > I don't think these are related to checkers or assertions in procedural > code, so I would be reluctant to have the new sub-committee deal with > these as well. I think it would be a diversion and a dilution of the > work, which is going to be hard enough even without these additional > issues. > > (It would be nice if this new sub-committee had a short name. It's > awkward saying "the new techical sub-committee" alll the time...) > > Thanks, > 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. > > -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Mon Apr 7 06:51:59 2008
This archive was generated by hypermail 2.1.8 : Mon Apr 07 2008 - 06:52:51 PDT