This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
up_to_here [2020/10/08 20:22] revusky |
up_to_here [2020/12/23 10:09] (current) revusky [The up-to-here marker in parsing productions] |
||
---|---|---|---|
Line 67: | Line 67: | ||
</ | </ | ||
- | This means that we scan up to (and including) the " | + | This means that we scan up to (and including) the " |
Now, the choice construct above can be written simply as: | Now, the choice construct above can be written simply as: |