Improve type annotation of (get-backing-scale) (#424)

2016-09-09 04:23:40 +08:00 · 2016-09-09 04:23:40 +08:00 · e706928a77
commit e706928a77
parent 07911cd613
1 changed files with 1 additions and 1 deletions
--- 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)]