aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2019-03-17 09:43:52 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2019-03-17 09:43:52 -0700
commit264a38a31eb5d1197a8a0e7370686f087fb3e566 (patch)
tree76e1dcdc6b35c3dd2d2e81ca3fccf5731e47845e
parent780b981654dfdb070d82aa984c9e18f276ff48b3 (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.txt3
1 files changed, 2 insertions, 1 deletions
diff --git a/spec.txt b/spec.txt
index 2f01257..f3921c6 100644
--- a/spec.txt
+++ b/spec.txt
@@ -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: