search

zydeco-lang / zydeco

a proof-of-concept programming language based on Call-by-push-value
Other
49 stars 3 forks source link

Error Reporting not Working #13

Closed maxsnew closed 1 year ago

maxsnew commented 1 year ago

I pushed a WIP example program (https://github.com/zydeco-lang/zydeco/commit/01d6bc260792d4fa1959c3b601ca55bed45981f1) 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.

LighghtEeloo commented 1 year ago

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.

LighghtEeloo commented 1 year ago

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.

LighghtEeloo commented 1 year ago

I agree that it's a bit surprising though; changed the behavior of main to accept nameless tests (propose to call them lambda tests)

LighghtEeloo commented 1 year ago

Added the total test count to further indicate how many tests were actually performed.

LighghtEeloo commented 1 year ago

Addressed in edfada0 and 2425dfa.

LighghtEeloo commented 1 year ago

@maxsnew Are these commit responses good enough to close the issue?

maxsnew commented 1 year ago

There's still some behavior I don't like but we can discuss/make a more informative tracking issue for that later.