At Tue, 05 Jun 2012 15:45:09 -0600, Neil Toronto wrote: > Vincent, is there a quick way for me to test whether the types I give > the new functions are sound?
I recently added redex-based random testing for TR's float types. It's in collects/tests/typed-racket/tr-random-testing.rkt. Currently, it only tests flonum (i.e. double precision) operations and types, but it should be easy to expand to single-flonums. Vincent _________________________ Racket Developers list: http://lists.racket-lang.org/dev
