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

10 lines
99 B
Racket

#;
(exn-pred 1)
#lang typed-scheme
(: f (Foo -> String))
(define (f x) (string-append x))
(f 1)