[plt-dev] Change to `check-expect' implementation

From: Michael Sperber (sperber at deinprogramm.de)
Date: Sat Jan 2 10:01:22 EST 2010

Sam TH <samth at ccs.neu.edu> writes:

> In the process of adding types for `check-expect', I realized that the
> expansion of the `test' form could be made much simpler, by simply
> expanding into a function that does the relevant work.  This also
> makes it much easier to typecheck.  I've attached a patch that does
> this - it passes all of the test-engine tests as well as the tests for
> the interaction between the stepper and `check-expect'.
> Is this ok to commit?

FWIW, looks good to me.

Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla

Posted on the dev mailing list.