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

Frank Hein <[email protected]>
Newsgroups gmane.comp.parsers.spirit.general
Message-ID <[email protected]>
This would mean that qi::lit was semanitically equivalent with qi::string (under certain (usage) conditions).  This should be mentioned somewhere in docs. 

When talking about qi semantics I mean what attributes do I get. Same attributes, same semantics. I think we do not talk about same thing here. 

You are right. I am not talking about semantics of the parsed language but about the semantics of qi itself. What does  a programmer expect to get if you use a particular idiom?

I expect to get a string when i use the string parser explicitly. 

Frank

Frank Hein

Geschäftsführer
maxence business consulting gmbh 

phone +49-(0)-2133-2599-0
fax +49-(0)-2133-2599-29
cell +49-(0)-151-54 74 29 89
internet [email protected]
skype fhmaxence

Am Weißen Stein 1
Stürzelbergcenter
D - 41541 Dormagen 
Sitz der Gesellschaft: Dormagen
Handelsregister: HRB 8966, Neuss
Geschäftsführer: Dipl.-Inform. Frank Hein
www.maxence.de

Von meinem iPhone gesendet

> Am 27.05.2016 um 05:07 schrieb Lee Clagett <[email protected]>:
> 
> 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
> _______________________________________________
> Spirit-general mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/spirit-general
>

------------------------------------------------------------------------------
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

_______________________________________________
Spirit-general mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/spirit-general
smime.p7s (application/pkcs7-signature, 5.1 KB) - not displayed
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.