Do any of you have any advice for getting a function like this to type-check? #lang typed/racket
(: check-int : (All (a) (case-> [a -> a]
[Any -> Integer])))
(define (check-int int)
(unless (exact-integer? int)
(error 'check-int "expected Integer, given ~v" int))
int)
;. Type Checker: type mismatch
; expected: a
; given: Integer in: int
____________________ Racket Users list: http://lists.racket-lang.org/users
