From 07911cd613ed484c25ca6a23f930fd00333fae48 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 7 Sep 2016 08:51:44 -0400 Subject: [PATCH] Fix type of `get-value` in `Slider%`. Reported by Tim Brown. --- 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 9a7ba0d2..8da238c9 100644 --- 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%