From a85d6b34134a4c71ffb93fb26a914724635313a4 Mon Sep 17 00:00:00 2001 From: pompolic <pompolic@special-circumstanc.es> Date: Fri, 12 Nov 2021 21:38:31 +0100 Subject: [PATCH] Clarify the clarification --- gdb-port/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gdb-port/README.md b/gdb-port/README.md index c76c0f4..7e5528d 100644 --- a/gdb-port/README.md +++ b/gdb-port/README.md @@ -60,7 +60,7 @@ Stopping at `a_b` and invoking `hammer-parse-step 2` two times would result in t b, b_2 ``` -(Skipping over `a` and `b_2` once.) +(Skipping over `a` and the first application of `b_2`.) This is not equivalent to advancing the input stream by `[number]` bytes, rather, it is equivalent to running until the next `[number]` pushes on the parser stack. See also `hammer-parser-backtrace`. -- GitLab