hs-to-coq icon indicating copy to clipboard operation
hs-to-coq copied to clipboard

Edit files without trailing line breaks parser

Open euisuny opened this issue 5 years ago • 0 comments

Edit files ~without trailing whiteline gives a parsing error~:

In particular, it seems like edit files that do not have any trailing whitespace character gives a parsing error.

Printed error message: Could not parse edits: unexpected end of file

euisuny avatar Feb 13 '20 20:02 euisuny