[racket] check-fact would be nice...

From: Adam Shaw (adamshaw at cs.uchicago.edu)
Date: Thu Oct 13 19:43:38 EDT 2011

Forgive me if the following already exists in Racket, but I would appreciate if something like

(check-fact <bool-exp>)

(or check-pred, check-truth, whatever) as an alternative to

(check-expect <bool-exp> true)

Seems like it would be a reasonable addition.

Cheers - Adam
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20111013/fa306433/attachment.html>

Posted on the users mailing list.