Skip to content

Instantly share code, notes, and snippets.

@takikawa
Created November 5, 2012 21:00
Show Gist options
  • Save takikawa/4020314 to your computer and use it in GitHub Desktop.
Save takikawa/4020314 to your computer and use it in GitHub Desktop.
TR
#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)
#lang racket
(require "typed-marks.rkt")
(has-contract? mark) ; #f
(has-contract? f) ; #t
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment