From e3905c35005fa773cfa18e161a64e2092b570d9b Mon Sep 17 00:00:00 2001
From: Eric Dobson <eric.n.dobson@gmail.com>
Date: Sun, 14 Oct 2012 11:49:11 -0700
Subject: [PATCH] Add type for raise-argument-error in TR.

Closes PR13132.

original commit: d31005b380ceffce53315b91eeeff8655dd85e93
---
 collects/typed-racket/base-env/base-env-indexing-abs.rkt | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/collects/typed-racket/base-env/base-env-indexing-abs.rkt b/collects/typed-racket/base-env/base-env-indexing-abs.rkt
index 76610aea..f1832a51 100644
--- 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)]