[racket] Is it possible to use contract-profile in Typed Racket?

From: Greg Hendershott (greghendershott at gmail.com)
Date: Mon Mar 3 21:03:02 EST 2014

> I pushed `contract-profile-thunk' a few days ago, to solve precisely
> that problem. Since it's a function, it can be `require/typed' (with
> type `(-> (-> Any) Any)', for example).
> If you're not running from HEAD, you can add its definition to an
> untyped file:
>     (define (contract-profile-thunk f)
>       (contract-profile (f)))

Perfect; thanks!

Posted on the users mailing list.