typed-racket/typed-racket-test/succeed/pr14823.rkt
2015-11-09 17:16:08 -06:00

7 lines
91 B
Racket

#lang typed/racket/base
(: f : Real Number)
(define (f x)
(+ 1 (expt 1.0 x)))
(f 0)