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

More types for raise-* functions.

Browse Source
This commit is contained in:
Vincent St-Amour 2012-10-14 15:34:21 -04:00
parent d31005b380
commit 3a8f4c24d9
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/typed-racket/base-env/base-env-indexing-abs.rkt
View File

@ -333,6 +333,14 @@
(cl->* (cl->*
[-> Sym -String Univ (Un)] [-> Sym -String Univ (Un)]
[->* (list Sym -String index-type) Univ (Un)])] [->* (list Sym -String index-type) Univ (Un)])]
[raise-result-error
(cl->*
[->* (list Sym -String Univ) Univ (Un)]
[->* (list Sym -String index-type Univ) Univ (Un)])]
[raise-arguments-error
(->* (list Sym -String) Univ (Un))]
[raise-range-error
(->opt Sym -String -String index-type Univ index-type index-type [index-type] (Un))]
)) ))