Hello Kota!
In this paper, we proposed 'cut' operators as an extension
> to PEG. However, its semantics are different from Prolog's 'cut' in the
> point our 'cut' operators
> work *lexically* since Prolog-like 'cut semantics break composability of
> parsing expressions.
>
Would it be possible to get a copy of that paper?
I don't understand "composability of parsing expressions".
As to the syntactics, the current implementation of "cut" in Grako is
unlike the one in Prolog, because it just aborts backtracking at certain
points in the descent parser. Its aim is to report errors against as closer
to their lexical source , and thus more humanly understandable.
Maybe Grako shouldn't call it "cut"? I don't know!
My need for something to my concept of "cut" was because parsers (out of
the parser-generators I knew) would report a simple syntactical error
against the start of a structured ('IF', or 'WHILE' maybe) statement that
was dozens of lines before.
Cheers,
--
Juancarlo *Añez*
_______________________________________________
PEG mailing list
PEG@lists.csail.mit.edu
https://lists.csail.mit.edu/mailman/listinfo/peg
