TR

typed-marks.rkt

#lang typed/racket

;; the generated contract for this is
;;
;;    (define-values:102 (generated-contract4:103)
;;     (#%app:104
;;      continuation-mark-key/c/proc:105
;;      (#%app:106 flat-named-contract 'Integer exact-integer?)))
;;
;; which looks correct, but it's not getting wrapped on export
(: mark (Continuation-Mark-Key Integer))
(define mark (make-continuation-mark-key))

(: x Integer)
(define x 3)

(: f (Integer -> Integer))
(define (f x) (+ 1 x))

(provide mark)
(provide x)
(provide f)

use

#lang racket

(require "typed-marks.rkt")
(has-contract? mark) ; #f
(has-contract? f)    ; #t