diff --git a/collects/racket/snip/private/contract.rkt b/collects/racket/snip/private/contract.rkt index 31522137c5..9d5c9f3a03 100644 --- a/collects/racket/snip/private/contract.rkt +++ b/collects/racket/snip/private/contract.rkt @@ -124,10 +124,6 @@ (set-weight-off (->m (or/c 'base font-weight/c) void?)) (set-weight-on (->m (or/c 'base font-weight/c) void?)))) -(define (arity-1-procedure? x) - (and (procedure? x) - (procedure-arity-includes? x 1))) - (define style-list%/c (class/c (basic-style (->m (is-a?/c style<%>))) @@ -138,7 +134,7 @@ (forget-notification (->m any/c void?)) (index-to-style (->m exact-nonnegative-integer? (or/c (is-a?/c style<%>) false/c))) (new-named-style (->m string? (is-a?/c style<%>) (is-a?/c style<%>))) - (notify-on-change (->m arity-1-procedure? any/c)) + (notify-on-change (->m (-> (or/c (is-a?/c style<%>) false/c) any) any/c)) (number (->m exact-nonnegative-integer?)) (replace-named-style (->m string? (is-a?/c style<%>) (is-a?/c style<%>))) (style-to-index (->m (is-a?/c style<%>) (or/c exact-nonnegative-integer? false/c)))))