suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix type of log-message.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2012-12-30 22:08:00 -05:00
parent 9b6272674e
commit 0d01db8543
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-racket/base-env/base-env.rkt
View File

@ -2108,8 +2108,8 @@
[logger-name (-> -Logger (-opt Sym))] [logger-name (-> -Logger (-opt Sym))]
[current-logger (-Param -Logger -Logger)] [current-logger (-Param -Logger -Logger)]
[log-message (Un (-> -Logger -Log-Level -String Univ -Void) [log-message (cl->* (-> -Logger -Log-Level -String Univ -Void)
(-> -Logger -Log-Level (Un (-val #f) -Symbol) -String Univ -Void))] (-> -Logger -Log-Level (Un (-val #f) -Symbol) -String Univ -Void))]
[log-level? (-> -Logger -Log-Level B)] [log-level? (-> -Logger -Log-Level B)]
[log-receiver? (make-pred-ty -Log-Receiver)] [log-receiver? (make-pred-ty -Log-Receiver)]