> Stabbing in the dark a bit: > 1.) Exhaustion is not related to success or failure in any simple & > direct way, which sometimes confuses people focusing on a > particular subset of languages. For a balanced parenthesis > language, the parse is successful at X, if and only if it is > exhausted at X. For typical programming languages, however, > exhaustion always means failure. Of course, by definition, an > attempt to *continue* an exhausted parse always fails, > regardless of the grammar.
True. In this case I _seem_ to get the 'exhausted' one step to early, as I essentially complete the parse, and I do not try to continue at that point either. I guess I will see what the reports will tell me. > There's more here > <http://search.cpan.org/~jkegl/Marpa-R2-3.000000>. Thanks. > 2.) As a second suggestion, ordinarily I'd suggest using Marpa's > progress reports, but you're writing a new interface, so you > don't have them unless you write them yourself. I really > suggest you do that ASAP. Your users are certainly going to > need them anyway. They'll be great help in your debugging. And > by the time, you've debugged your parser, you'll have written > and debugged your progress reports. :-) And they'll be a great > help in visualizing what's happening in the parse. Writing the > progress reports, not last, but very early in development, is > how I did it. That makes sense. Checking my code I see that I did the low-level wrapping of the progress interface. I just never made higher-level accessors for it. That definitely goes at the top of the TODO list now. > Hope this helps! Thank you, and at least item (2) did. And hopefully having reports will also help with (1). -- So long, Andreas Kupries <[email protected]> <http://core.tcl.tk/akupries/> Tcl'2016, Nov 14-18, Houston, TX, USA. http://www.tcl.tk/community/tcl2016/ ------------------------------------------------------------------------------- -- You received this message because you are subscribed to the Google Groups "marpa parser" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
