<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">Do any of you have any advice for getting a function like this to type-check?<div><div><font face="Courier New">#lang typed/racket</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">(: check-int : (All (a) (case-> [a -> a]</font></div><div><font face="Courier New"> [Any -> Integer])))</font></div><div><font face="Courier New">(define (check-int int)</font></div><div><font face="Courier New"> (unless (exact-integer? int)</font></div><div><font face="Courier New"> (error 'check-int "expected Integer, given ~v" int))</font></div><div><font face="Courier New"> int)</font></div><div><div><font face="Courier New"><br></font></div><div><font face="Courier New">;. Type Checker: type mismatch</font></div><div><font face="Courier New">; expected: a</font></div><div><font face="Courier New">; given: Integer in: int</font></div></div></div><div><br></div><div><br></div></body></html>