From c8e5b8caeeb243f3b325820bec8a828b39b30f58 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Sun, 30 Dec 2012 22:08:00 -0500 Subject: [PATCH] Fix type of `log-message`. original commit: 0d01db8543d3a05d858243c697687e15dd925206 --- collects/typed-racket/base-env/base-env.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/typed-racket/base-env/base-env.rkt b/collects/typed-racket/base-env/base-env.rkt index ec0f00dd..3b679464 100644 --- a/collects/typed-racket/base-env/base-env.rkt +++ b/collects/typed-racket/base-env/base-env.rkt @@ -2108,8 +2108,8 @@ [logger-name (-> -Logger (-opt Sym))] [current-logger (-Param -Logger -Logger)] -[log-message (Un (-> -Logger -Log-Level -String Univ -Void) - (-> -Logger -Log-Level (Un (-val #f) -Symbol) -String Univ -Void))] +[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-receiver? (make-pred-ty -Log-Receiver)]