Re: [Spirit Qi %] (x%y) not semantically equivalent to (x >> *(y >> x))

On Wed, 25 May 2016 19:44:19 +0200
Frank Hein <[email protected]> wrote:

> Hello, 
> 
> I am quite new to Spirit. Great work. :) 
> 
> I found that (x %y) is not semantically equal to (x >> *(y >> x)).
> The documentation says otherwise.
> I'd consider this a bug. Otherwise documentation would have to be
> changed at several places.
> Below is a fully working example.
>

The expressions are semantically equal, as demonstrated in your
program. All of the generated parsers accept an identical set of inputs.
However, this example shows that the attributes exposed by the parsers
differ, and this is accurately documented too. So, the documentation is
correct AFAIK, but perhaps someone with a better grasp of formal parsing
terminology could correct me. And maybe an explanation of the
differences between language semantics and attributes could be added
somewhere?

Lee

------------------------------------------------------------------------------
What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
patterns at an interface-level. Reveals which users, apps, and protocols are 
consuming the most bandwidth. Provides multi-vendor support for NetFlow, 
J-Flow, sFlow and other flows. Make informed decisions using capacity 
planning reports. https://ad.doubleclick.net/ddm/clk/305295220;132659582;e