From e706928a771e6d0388043ed0882989a3239796f5 Mon Sep 17 00:00:00 2001 From: WarGrey Gyoudmon Ju Date: Fri, 9 Sep 2016 04:23:40 +0800 Subject: [PATCH] Improve type annotation of (get-backing-scale) (#424) --- typed-racket-more/typed/racket/private/gui-types.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-more/typed/racket/private/gui-types.rkt b/typed-racket-more/typed/racket/private/gui-types.rkt index 8da238c9..4655560e 100644 --- a/typed-racket-more/typed/racket/private/gui-types.rkt +++ b/typed-racket-more/typed/racket/private/gui-types.rkt @@ -68,7 +68,7 @@ (->* [Real Real Exact-Nonnegative-Integer Exact-Nonnegative-Integer Bytes] [Any Any #:unscaled? Any] Void)] - [get-backing-scale (-> Nonnegative-Real)] + [get-backing-scale (-> Positive-Real)] [get-depth (-> Exact-Nonnegative-Integer)] [get-handle (-> Any)] [get-height (-> Exact-Positive-Integer)]