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

Add type for raise-argument-error in TR.

Browse Source 
Closes PR13132.

original commit: d31005b380ceffce53315b91eeeff8655dd85e93
This commit is contained in:
Eric Dobson 2012-10-14 11:49:11 -07:00 committed by Vincent St-Amour
parent 3239a56aee
commit e3905c3500
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -325,6 +325,10 @@
[real->decimal-string (-Real [index-type] . ->opt . -String)]
[raise-argument-error
(cl->*
[-> Sym -String Univ (Un)]
[->* (list Sym -String index-type) Univ (Un)])]
[raise-type-error
(cl->*
[-> Sym -String Univ (Un)]