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

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