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

On Dec 17, 2009, at 1:47 PM, Sam TH wrote:

> 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?

Okay with me.

John

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2484 bytes
Desc: not available
URL: <http://lists.racket-lang.org/dev/archive/attachments/20091217/b35c6045/attachment.p7s>