1 Aug
2003
1 Aug
'03
12:23 a.m.
Rainer Deyke <yg-boost-users@m.gmane.org> 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