meta data for this page
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
up_to_here [2020/10/08 20:22] – revusky | up_to_here [2020/12/23 10:09] – [The up-to-here marker in parsing productions] revusky | ||
---|---|---|---|
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: |