typed-racket/typed-racket-test/succeed/pr14702.rkt
2014-12-16 10:07:25 -05:00

2 lines
61 B
Racket

#lang typed/racket
(define (f [x : Integer]) : Integer (f x))