search

antalsz / hs-to-coq

Convert Haskell source code to Coq source code
https://hs-to-coq.readthedocs.io
MIT License
279 stars 27 forks source link

Edit files without trailing line breaks parser #143

Open euisuny opened 4 years ago

euisuny commented 4 years ago

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