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

From: Vincent St-Amour (stamourv at ccs.neu.edu)
Date: Tue Aug 24 16:59:18 EDT 2010

Good catch. I just pushed a fix.

Vincent


At Tue, 24 Aug 2010 15:39:30 -0400,
Jon Zeppieri wrote:
> 
> [1  <multipart/alternative (7bit)>]
> [1.1  <text/plain; ISO-8859-1 (7bit)>]
> 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
> [1.2  <text/html; ISO-8859-1 (quoted-printable)>]
> 
> [2  <text/plain; us-ascii (7bit)>]
> _________________________________________________
>   For list-related administrative tasks:
>   http://lists.racket-lang.org/listinfo/users


Posted on the users mailing list.