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

Fix type for read-bitmap

Browse Source 
Closes PR 14729

original commit: e50e2eaa57033e09dd563d2ddd73608c9a96d3be
This commit is contained in:
Asumu Takikawa 2014-10-08 01:57:22 -04:00
parent f32844253d
commit 6d7dee7b9d
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/draw.rkt
View File

@ -54,6 +54,9 @@
Radial-Gradient%
Region%))
(begin-for-syntax
(define -LoadFileKind (parse-type #'LoadFileKind)))
(type-environment
[the-brush-list (make-Instance (parse-type #'Brush-List%))]
[the-pen-list (make-Instance (parse-type #'Pen-List%))]
@ -62,8 +65,11 @@
(->optkey -PosInt -PosInt [Univ] #:backing-scale -Real #f
(make-Instance (parse-type #'Bitmap%)))]
[read-bitmap
(->opt (Un -Pathlike) [-Symbol (Un (make-Instance (parse-type #'Color%)) (-val #f)) Univ]
(make-Instance (parse-type #'Bitmap%)))]
(->optkey (Un -Pathlike -Input-Port)
[-LoadFileKind (Un (make-Instance (parse-type #'Color%)) (-val #f)) Univ]
#:backing-scale -Real #f
#:try-@2x? Univ #f
(make-Instance (parse-type #'Bitmap%)))]
[make-color
(->optkey -Byte -Byte -Byte
[-Real]