[racket] Typed Racket: file-position has incorrect type

From: Jon Zeppieri (zeppieri at gmail.com)
Date: Tue Aug 24 15:39:30 EDT 2010

file-position should be typed as:

(case-lambda (Port -> Exact-Nonnegative-Integer) (Port
Exact-Nonnegative-Integer -> Void))

... but it has type:

(Port -> Exact-Nonnegative-Integer)

-Jon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20100824/8ef68812/attachment.html>

Posted on the users mailing list.