From f7673a44ecb497f9d9496bb5a3b2217b8a9fe74c Mon Sep 17 00:00:00 2001
From: Jedidiah Barber
What is the condition? Exactly as described above for direct left recursion. Through comparing recursion counts with the amount of unconsumed input we determine that a result of no successful -parse can be calculated, and that the result is valid for reuse for any deeper recursion of the same combinator at that input position.
+parse can be calculated, and that the result is valid for reuse for any deeper recursion of the same +combinator at that input position.From that can be derived: