From 566668e0b9613c53a196e265f96722ddf73f753b Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Sat, 1 Nov 2014 21:48:18 -0400 Subject: [PATCH] Adjust type of log-level? for recent changes --- .../typed-racket-lib/typed-racket/base-env/base-env.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt index da862824ed..cd20c42806 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -2807,7 +2807,7 @@ [log-message (cl->* (-> -Logger -Log-Level -String Univ -Void) (-> -Logger -Log-Level (Un (-val #f) -Symbol) -String Univ -Void))] -[log-level? (-> -Logger -Log-Level B)] +[log-level? (->opt -Logger -Log-Level [(-opt -Symbol)] B)] [log-receiver? (make-pred-ty -Log-Receiver)] [make-log-receiver (-> -Logger -Log-Level -Log-Receiver)]