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
_________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
