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

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?
-- 
sam th
samth at ccs.neu.edu
-------------- next part --------------
A non-text attachment was scrubbed...
Name: test-engine.diff
Type: text/x-patch
Size: 2554 bytes
Desc: not available
URL: <http://lists.racket-lang.org/dev/archive/attachments/20091217/aa150877/attachment.bin>