6 lines
116 B
Racket
6 lines
116 B
Racket
(module simple-poly typed-scheme
|
|
(: f (All (a) (a -> a)))
|
|
(define (f x) x)
|
|
(define: z : Any 2)
|
|
(provide f))
|