I perhaps was too round-about in the way I stated it -- the next
developer's version will have an LATM meta-grammar for the SLIF. -- jeffrey
On 02/15/2014 12:08 PM, Ruslan Shvedov wrote:
On Sat, Feb 15, 2014 at 9:37 PM, Jeffrey Kegler
<[email protected]
<mailto:[email protected]>> wrote:
In my working version, the meta-grammar now runs LATM, with no
issues. This change probably won't make it into the next indexed
release, but will make it into the one after.
I've added global forgiveness to some of my grammars and they work the
same, so same thing here.
The difference between changing the default for the meta-grammar
(and therefore for the parsing of all SLIF DSL) and changing the
general default, is that the meta-grammar is a specific grammar,
so I know how lexing works on it and can think out the issues. It
also has a large test suite. Changing the general default is more
problematic.
To be clear, the difference here is changing the parsing of the
SLIF DSL to be LATM and changing the parsing of all the grammars
described by that DSL. Changing the SLIF's meta-grammar is
changing the default for one grammar whose implementation I
control. That I will do. Changing the parsing of all of the
grammars described by the SLIF DSL's means changing the way
grammars which I do not know of, and whose implementation I do not
control, are parsed. That's considerably more dangerous, and I
don't think I'll do it.
As mentioned, changing to LATM means that some grammars which
failed to parse in the past, now will parse. This sounds at worst
harmless, and it usually is, in fact, no worse than harmless. But
there are cases where you *want* the grammar to fail, so there
actually is some risk involved in silently changing failed parses
to successful ones. Hence my caution.
All valid points; still, can't help thinking a developer version with
LATM metagrammar would be a good thing to allow testing and gather
feedback.
-- jeffrey
On 02/15/2014 11:17 AM, Ruslan Shvedov wrote:
Finally, something I'm not sure about: a developer version with
meta grammar converted to forgiving to let people test against it
and see if and how exactly it is (in)compatible.
--
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]
<mailto:marpa-parser%[email protected]>.
For more options, visit https://groups.google.com/groups/opt_out.
--
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/groups/opt_out.
--
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/groups/opt_out.
