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

More types for raise-* functions.

Browse Source 
original commit: 3a8f4c24d909ea47ee1e71b79c824d8f7c12548c
This commit is contained in:
Vincent St-Amour 2012-10-14 15:34:21 -04:00
parent e3905c3500
commit 9b65e0df92
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->*
[-> Sym -String 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))]
))