Support run-fail testspec

Open calvis opened this issue 13 years ago • 1 comments

We want to mark tests that are expected to fail at runtime, by design.

While we're at it, we should have a compile-fail testspec to make sure we reject all the programs we should.

Apr 28 '12 17:04 calvis

Let me elaborate what is needed to make this happen -- this will require a little error customization on our part. We'll need to make a few of our own Scheme conditions, so that we can distinguish between the kind of errors thrown by our compiler (bad syntax we caught), thrown because of our compiler (unmatched datum in our match clauses), and those thrown at runtime (I think this just comes from the return status).

Jun 05 '12 19:06 calvis