hs-to-coq
hs-to-coq copied to clipboard
Edit files without trailing line breaks parser
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