Error Reporting not Working
maxsnew opened this issue · 7 comments
I pushed a WIP example program (01d6bc2) but when I attempt to run it I just get the "Conclusion: 0 errors" message. Which still happens even if I put a bunch of undefined free variables in it.
It's necessary to add a trailing @@@ in our test case files for the evaluator to correctly detect the test case. An optional name can be provided after @@@ which will show up during the test.
The behavior is actually documented in README; rephrased to make it more obvious.
Also planning to draft docs/syntax.md for a cheatsheet style quick reference.
I agree that it's a bit surprising though; changed the behavior of main to accept nameless tests (propose to call them lambda tests)
Added the total test count to further indicate how many tests were actually performed.
@maxsnew Are these commit responses good enough to close the issue?
There's still some behavior I don't like but we can discuss/make a more informative tracking issue for that later.