From 7c43e6d876986316bea0a99f83b5750d0e47f09b Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 18 Dec 2015 11:21:04 -0600 Subject: [PATCH] fix contract-related errors in framework/splash --- gui-lib/framework/splash.rkt | 18 +++++++++++------- 1 file changed, 11 insertions(+), 7 deletions(-) diff --git a/gui-lib/framework/splash.rkt b/gui-lib/framework/splash.rkt index c0f0aa41..8c95fbef 100644 --- a/gui-lib/framework/splash.rkt +++ b/gui-lib/framework/splash.rkt @@ -13,12 +13,14 @@ [get-splash-canvas (-> (is-a?/c canvas%))] [get-splash-eventspace (-> eventspace?)] [get-splash-paint-callback (-> procedure?)] - [set-splash-paint-callback (-> (-> (is-a?/c dc<%>) - exact-nonnegative-integer? - exact-nonnegative-integer? - exact-nonnegative-integer? - exact-nonnegative-integer? - any) + [set-splash-paint-callback (-> (or/c (-> (is-a?/c dc<%>) + exact-nonnegative-integer? + exact-nonnegative-integer? + exact-nonnegative-integer? + exact-nonnegative-integer? + any) + (-> (is-a?/c dc<%>) + any)) void?)] [start-splash (->* ((or/c path-string? @@ -152,7 +154,9 @@ [else (parameterize ([current-eventspace splash-eventspace]) (queue-callback - recompute-bitmap/refresh))])) + recompute-bitmap/refresh))]) + + (void)) (define (set-splash-progress-bar?! b?) (on-splash-eventspace/ret