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

Fix type of log-message.

Browse Source 
original commit: 0d01db8543d3a05d858243c697687e15dd925206
This commit is contained in:
Sam Tobin-Hochstadt 2012-12-30 22:08:00 -05:00
parent ffd81f136f
commit c8e5b8caee
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))]
[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)]