Hi Johan, It is back in its place according to your recommendations Doron >>-----Original Message----- >>From: Johan M?rtensson [mailto:johan.martensson@jasper-da.com] >>Sent: Wednesday, January 16, 2008 10:46 AM >>To: Bustan, Doron >>Cc: sv-ac@eda.org >>Subject: Re: [sv-ac] 1932 >> >>Hi Doron, >> >>I still think next should have higher precedence that until and |-> for >>the reasons I stated before. It turns out apparently that in a >>shift-reduce parser for an LR1 language >> >>next r |=> s >> >>will be parsed with the grouping 'next (r |=> s)' whatever the relative >>presedences of next and |=>. >> >>Relative precedences are only used by the parser when there is a >>shift-reduce conflict which is not the case here. >> >>This is the reason why the Verific parser will parse >> >>a ##1 b throughout s >> >>as >> >>a ##1 (b throughout s) >> >>although '##1' has higher precedence than 'throughout'. >> >>Therefore I see no reason for giving next a lower precedence than |=> >>and there are reasons for giving it a higher one. >> >>Best Regards, >> >>Johan >> >>On Tue, Jan 15, 2008 at 12:51:24PM +0200, Bustan, Doron wrote: >>> Hi, >>> >>> >>> >>> I upload the updated versions of 1932. I think it is ready for vote. >>> >>> >>> >>> 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. >>> >>> -- >>> This message has been scanned for viruses and >>> dangerous content by MailScanner, and is >>> believed to be clean. >>> >> >> >> >> >>-- >>------------------------------------------------------------ >>Johan Mårtensson Office: +46 31 7451913 >>Jasper Design Automation Mobile: +46 703749681 >>Kvarnbergsgatan 2 Fax: +46 31 7451914 >>411 05 Gothenburg, Sweden Skype ID: johanmartensson >>------------------------------------------------------------ -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Wed Jan 16 01:24:43 2008
This archive was generated by hypermail 2.1.8 : Wed Jan 16 2008 - 01:24:55 PST