Hi, just a short question regarding testing in typed racket - might it be that I can use
#lang typed/racket (require typed/rackunit) to write "simple checks" with check-equal? etc., but that test-case. test-suite etc. are not intended for general usage yet (although they seem to be provided in typed/rackunit/main)? (E.g. for test-case, I get an error like "parameterize: bad syntax in: (parameterize ((current-check-handler raise) (current-check-around check-around)))"). I'm just asking because if I knew that those things aren't ready yet, but will be provided some time, I would prefer temporarily removing the "surrounding forms" and just having a set of check-equal?'s to running/trying to run the tests with no-check. Many thanks in advance, Sigrid _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users