jsiek / deduce

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
59 stars 3 forks source link

comments can work at the end of files now #1

Closed HalflingHelper closed 2 months ago

HalflingHelper commented 2 months ago

Files with a comment as the last line weren't parsing correctly. Example

import Nat
print 5
// This breaks the code!

I removed the requirement of a newline, since the regex handles this just fine.

All tests are passing (at least on linux), but I can't see windows being too much of an issue, since the \r would just be consumed as part of the comment.