From 4bc20819e940171856c292fa0ed34b73e0451c99 Mon Sep 17 00:00:00 2001 From: bdeket Date: Wed, 29 Jul 2020 19:53:02 +0200 Subject: [PATCH] Bring type in line with documentation/implementation --- typed-racket-more/typed/racket/private/gui-types.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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%)))]