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

Add type for `error-display-handler'

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2011-05-08 15:07:56 -04:00
parent 2f3e9fc655
commit 27aa3f7556
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/private/base-env.rkt
View File

@ -286,6 +286,8 @@
(make-arr (list Sym -String) (Un) #:rest Univ)
(make-arr (list -String) (Un) #:rest Univ)
(make-arr (list Sym) (Un)))))
[error-display-handler (-Param (-polydots (a) (-String Univ . -> . Univ))
(-polydots (a) (-String Univ . -> . Univ)))]
[namespace-variable-value (Sym [Univ (-opt (-> Univ)) -Namespace] . ->opt . Univ)]