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

7 lines
141 B
Racket

#;
(exn-pred (regexp-quote "in: (define (f x y z) (+ y z))"))
#lang typed/racket
(: f (-> Number Number Number))
(define (f x y z) (+ y z))