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

Fix type of `raise'.

Browse Source 
Closes PR 12525.

original commit: 7c1c0c96c0752c7747eb3dba5a30585f8de7ef13
This commit is contained in:
Sam Tobin-Hochstadt 2012-02-01 17:15:53 -05:00
parent b0afc358f3
commit 0460d91edb
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -34,7 +34,8 @@
;Section 9.2
[raise (Univ . -> . (Un))]
[raise (cl->* (Univ . -> . (Un))
(Univ Univ . -> . (Un)))]
[error
(cl->* (-> Sym (Un))