| 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. |
|
![[logo]](/logo.png){kind=logo}