Add type for raise-argument-error in TR.

Closes PR13132.
2012-10-14 11:49:11 -07:00 · 2012-10-14 11:49:11 -07:00 · d31005b380
commit d31005b380
parent 788b046549
1 changed files with 4 additions and 0 deletions
--- a/collects/typed-racket/base-env/base-env-indexing-abs.rkt
+++ b/collects/typed-racket/base-env/base-env-indexing-abs.rkt
@ -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)]