typed-racket/typed-racket-test/fail/inexact-complex.rkt
2014-12-16 10:07:25 -05:00

10 lines
142 B
Racket

#;
(exn-pred 2)
#lang typed/scheme
(ann 1+2i Inexact-Complex)
(: f (Real -> Inexact-Complex))
(define (f x)
(* x 2.0)) ; x can be exact 0