blog | oilshell.org

Nondeterminism and "Prestructuring" the Input

Example of non-determinism with re2c

do done donex

Write up some example code?

Another point:

• "Pre-structuring" with {a,b}, foo=, foo[
  • Lit_RBrace
  • reducing the amount of lookahead
  • parser performs arbitrary turing-complete logic to decide whether to use the pre-structure or not.
  • Lit_Tilde ? I think this one might not be totally done. echo ~andy vs. echo ~andy[
    • arbitrary lookahead?
    • TODO: Look at tildedetect

By default, kind Lit means -- concatenate into literal echo {},~ echo foo=bar

echo for for echo in a

however we don't want to put them in Lit_Chars, because we want to minimize "rewriting/parsing" of tokens. Tokens are generally-reorer

however when those symbols appear in specific parsing contexts, we rewrite them we.