diff --git a/typed-racket-more/typed/racket/private/gui-types.rkt b/typed-racket-more/typed/racket/private/gui-types.rkt index 896a80ae1..199385a34 100644 --- a/typed-racket-more/typed/racket/private/gui-types.rkt +++ b/typed-racket-more/typed/racket/private/gui-types.rkt @@ -65,7 +65,7 @@ Real) (List Bytes Integer Integer))) [get-argb-pixels - (->* [Real Real Exact-Nonnegative-Integer Exact-Nonnegative-Integer Bytes] + (->* [Exact-Nonnegative-Integer Exact-Nonnegative-Integer Exact-Nonnegative-Integer Exact-Nonnegative-Integer Bytes] [Any Any #:unscaled? Any] Void)] [get-backing-scale (-> Positive-Real)] @@ -481,7 +481,7 @@ (Class #:implements DC<%> (init [bitmap (Option (Instance Bitmap%))]) [get-argb-pixels - (->* [Real Real Exact-Nonnegative-Integer Exact-Nonnegative-Integer Bytes] + (->* [Exact-Nonnegative-Integer Exact-Nonnegative-Integer Exact-Nonnegative-Integer Bytes] [Any Any] Void)] [get-bitmap (-> (Option (Instance Bitmap%)))]