[Haskell-cafe] Parser left recursion

[Dominique Devriese]

2013/2/26 Martin Drautzburg <Martin.Drautzburg at web.de>:
> I wonder if I can enforce the nonNr property somehow, i.e. enforce the rule
> "will not consider the same nonterminal again without having consumed any
> input".

You might be interested in this paper:

  Danielsson, Nils Anders. "Total parser combinators." ACM Sigplan
Notices. Vol. 45. No. 9. ACM, 2010.

Regards,
Dominique