typed-racket/typed-racket-test/succeed/pr14217.rkt
2015-09-07 13:26:34 -05:00

6 lines
79 B
Racket

#lang typed/racket
(: foo (-> Integer AnyValues))
(define (foo x)
x)
(foo 5)