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

Fix type of raise-range-error.

Browse Source 
original commit: 5bc108c7b108d1a9856a193f11be259fb69ad035
This commit is contained in:
Vincent St-Amour 2012-10-14 17:19:35 -04:00
parent a1e803ad7f
commit 83b5e50288
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -340,7 +340,7 @@
[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))]
(-> Sym -String -String index-type Univ index-type index-type (Un index-type (-val #f)) (Un))]
))