Skip to content

Instantly share code, notes, and snippets.

@samth
Forked from takikawa/typed-marks.rkt
Created November 5, 2012 21:24
Show Gist options
  • Save samth/4020414 to your computer and use it in GitHub Desktop.
Save samth/4020414 to your computer and use it in GitHub Desktop.
TR
#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)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment