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.