Norman Gray

Thanks for clarifying. In case it's useful when thinking about the docs, my mental model, when writing what I did, was that when I arrive at `EOF` using `input()`, I'm...

Thanks for the suggestion. I tried adding that rule: ```` { fprintf(stderr, "EOF!\n"); yyterminate(); } ```` But this produces the same result, apparently without the `` rule being matched. Adding...

Just for info/future-googlebait: the workaround in my real case was _not_ to use `input()`! I was able to get the same effect by matching the entire thing to be examined...