diff options
author | John MacFarlane <jgm@berkeley.edu> | 2019-03-17 09:43:52 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2019-03-17 09:43:52 -0700 |
commit | 264a38a31eb5d1197a8a0e7370686f087fb3e566 (patch) | |
tree | 76e1dcdc6b35c3dd2d2e81ca3fccf5731e47845e | |
parent | 780b981654dfdb070d82aa984c9e18f276ff48b3 (diff) |
Improve documentation of parsing strategy.
Note that `openers_bottom` needs to be indexed to
delimiter run lengths as well as types.
Closes #563.
-rw-r--r-- | spec.txt | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -9481,7 +9481,8 @@ just above `stack_bottom` (or the first element if `stack_bottom` is NULL). We keep track of the `openers_bottom` for each delimiter -type (`*`, `_`). Initialize this to `stack_bottom`. +type (`*`, `_`) and delimiter length (modulo 3). Initialize +this to `stack_bottom`. Then we repeat the following until we run out of potential closers: |