[racket-dev] Single-flonum-ness not preserved in racket/math functions

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