[racket] testing in P4P

From: Shriram Krishnamurthi (sk at cs.brown.edu)
Date: Sun Sep 19 20:45:43 EDT 2010

I've added a construct equivalent to check-expect:

  test: <expr> =? <expr>

is equivalent to

  (check-expect <expr> <expr>)

You can see examples.rkt rewritten to use it almost everywhere.

No support yet for check-within, etc.  Tell me if those are a priority.

Posted on the users mailing list.