Re: [Boost-Users] Re: Spirit Sequential-or

From: Joel de Guzman (djowel_at_[hidden])
Date: 2003-07-31 19:23:00

Rainer Deyke <yg-boost-users_at_[hidden]> wrote:
> Bruno Martínez wrote:
>> Hi boosters,
>>
>> In operators.html (a || b) is said to be equivalent to (a | b | a >>
>> b), but, if I understand precedence correctly, it should be
>> equivalent to (a >> b | a | b). I'm just learning Spirit, so this may
>> probably be my mistake, right?
>
> Actually it's equivalent to (a >> !b | b).  The difference being that any
> semantic action on 'a' will only be executed once.

You are right! Thanks for noticing that! I didn't really give it
much thought. I'll update the docs.

--
Joel de Guzman
joel at boost-consulting.com
http://www.boost-consulting.com
http://spirit.sf.net