suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix types in typed/file/gif

Browse Source 
Thanks to WarGrey Gyoudmon Ju for reporting the bug

Please merge to v6.0.1
(cherry picked from commit 8c1206c063)
This commit is contained in:
Asumu Takikawa 2014-04-08 22:45:47 -04:00 committed by Ryan Culpepper
parent 0d3fe94dc0
commit 6f03f6214b
1 changed files with 11 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
pkgs/typed-racket-pkgs/typed-racket-more/typed/file/gif.rkt
View File

@ -4,13 +4,15 @@
(require/opaque-type GIF-Stream gif-stream? file/gif) (require/opaque-type GIF-Stream gif-stream? file/gif)
(require/typed/provide file/gif (define-type GIF-Colormap (Listof (Vector Integer Integer Integer)))
[gif-start ( Output-Port Number Number Number (U #f (Listof (Vectorof Number))) -> Void )]
[gif-add-image ( GIF-Stream Number Number Number Number Boolean (U #f Number) String -> Void )]
[gif-add-control ( GIF-Stream Symbol Boolean Number (U #f Number) -> Void)]
[gif-add-loop-control ( GIF-Stream Number -> Void )]
[gif-add-comment ( GIF-Stream String -> Void )]
[gif-end ( GIF-Stream -> Void )]
[quantize ( String -> (values String (Listof (Vectorof Number)) (U #f (Vectorof Number))))])
(provide gif-stream? GIF-Stream) (require/typed/provide file/gif
[gif-start ( Output-Port Integer Integer Integer (U #f GIF-Colormap) -> GIF-Stream )]
[gif-add-image ( GIF-Stream Integer Integer Integer Integer Any (U #f GIF-Colormap) Bytes -> Void )]
[gif-add-control ( GIF-Stream (U 'any 'keep 'restore-bg 'restore-prev) Any Integer (U #f Integer) -> Void)]
[gif-add-loop-control ( GIF-Stream Integer -> Void )]
[gif-add-comment ( GIF-Stream Bytes -> Void )]
[gif-end ( GIF-Stream -> Void )]
[quantize ( Bytes -> (values Bytes GIF-Colormap (U #f Integer)))])
(provide gif-stream? GIF-Stream GIF-Colormap)