Fix type of get-value in Slider%.

Reported by Tim Brown.
2016-09-07 08:51:44 -04:00 · 2016-09-07 08:51:44 -04:00 · 07911cd613
commit 07911cd613
parent abdc0e8ebc
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
@ -1072,7 +1072,7 @@
               [min-height (Option Natural) #:optional]
               [stretchable-width Any #:optional]
               [stretchable-height Any #:optional])
-         [get-value (-> Natural)]
+         [get-value (-> Fixnum)]
         [set-value (Integer -> Void)]))

 (define-type Choice%