From f06ce2dbb7ab5985b734d768fa238f35c59df84a 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 original commit: 566668e0b9613c53a196e265f96722ddf73f753b --- .../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 da862824..cd20c428 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)]