EOF

[jamievicary]

It would be good to be able to write "EOF" to stop parsing at a given point in a file.

[ericfinster]

I could add this, but do we really need it? You can always just comment out the part of the file you don't want to parse....

[jamievicary]

If a big input file is causing a mysterious error, a nice way to diagnose it would be to put an "EOF" at the beginning of the file, and gradually move it down until the error appears. If there is an easy way to comment/decomment a big section of a file then I'd be happy with that, but I don't know how to do that in my editor (vscode). Note that the part of the file being commented/decommented may itself contain genuine comments.

…

On Tue, Nov 19, 2019 at 4:49 PM Eric Finster ***@***.***> wrote: I could add this, but do we really need it? You can always just comment out the part of the file you don't want to parse.... — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub <#1?email_source=notifications&email_token=ACQ4OHUJ57ILYAIUJSUMWZDQUQKINA5CNFSM4JOFW3HKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEEO4MTA#issuecomment-555599436>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ACQ4OHWB37GVDBYXAUHO6ZLQUQKINANCNFSM4JOFW3HA> .