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

From: Greg Hendershott (greghendershott at gmail.com)
Date: Mon Mar 3 20:26:07 EST 2014

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

    #lang typed/racket
    (define (x)
      #t)
    (require contract-profile)
    (contract-profile (x))

Gives:

    ; Type Checker: Error in macro expansion -- insufficient type
information to typecheck. please add more type annotations
    ;   in: (contract-profile (x))

Even though `contract-profile` is syntax not a function I tried:

    (require/typed contract-profile [contract-profile (Any ... -> Any)])

but that gives:

    ; contract-profile: use does not match pattern: (contract-profile body ...)
    ;   in: contract-profile

And ditto for `(Any Any ... -> Any)` and `(Any -> Any)`, `(whatever -> Void)`.

I also checked and there's no typed/contract-profile.

?

Thanks.

Posted on the users mailing list.