Re: Spirit Sequential-or

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