[racket] Maybe a mistake in typed/file/gif.rkt

From: Asumu Takikawa (asumu at ccs.neu.edu)
Date: Tue Apr 8 22:48:41 EDT 2014

On 2014-03-28 22:23:01 +0800, WarGrey Gyoudmon Ju wrote:
>    *Type mismatch of (gif-start)
>    * [gif-start ( Output-Port Number Number Number (U #f (Listof (Vectorof
>    Number))) -> Void )]
>    It should return GIF-Stream.

Thanks for catching this! (and sorry it took so long to respond)

This should be fixed in git HEAD now.


Posted on the users mailing list.