Skip to content

Instantly share code, notes, and snippets.

@takikawa

takikawa/gist:5112262

Created March 7, 2013 22:04
Show Gist options
  • Save takikawa/5112262 to your computer and use it in GitHub Desktop.
Save takikawa/5112262 to your computer and use it in GitHub Desktop.
Download ZIP
Mutating the type?
Raw
gistfile1.rkt
$ racket -I typed/racket
Welcome to Racket v5.3.3.7.
-> (: g (All (a ...) (a ... a -> Void)))
-> (define (g . rst) (void))
-> g
- : (All (a ...) (a ... a -> Void))
#<procedure:g>
-> (: h (All (b ...) (b ... b -> Void)))
-> (define h g)
-> g
- : (All (b ...) (b ... b -> Void))
#<procedure:g>
-> h
- : (All (b ...) (b ... b -> Void))
#<procedure:g>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment