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

8 lines
180 B
Racket

#lang typed-scheme
(: f3 (case-lambda (Integer * -> Integer) (Number * -> Number)))
(define (f3 x y) (+ x y))
(: f2 (case-lambda (Number * -> Number)))
(define (f2 x y) (+ x y))