From: Rainer Deyke (yg-boost-users_at_[hidden])
Date: 2003-07-31 00:44:19
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.
-- Rainer Deyke - rainerd_at_[hidden] - http://eldwood.com