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

6 lines
68 B
Racket

#;
(exn-pred 1)
#lang typed/scheme
(ann (log 2.0) Inexact-Complex)