TR

typed-marks.rkt

#lang racket
(module m 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)
  )

(module m2 racket
  (require (submod ".." m))
  mark)