User Tools

Site Tools


up_to_here

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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:
 </code> </code>
  
-This means that we scan up to (and including) the "bar" token when the expansion at a [[choice point]] starts with ''Foobar''.+This means that we scan up to (and including) the "bar" token when the expansion at a [[choice points|choice point]] starts with ''Foobar''.
  
 Now, the choice construct above can be written simply as: Now, the choice construct above can be written simply as:
up_to_here.txt ยท Last modified: 2020/12/23 10:09 by revusky