From 3a8f4c24d909ea47ee1e71b79c824d8f7c12548c Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Sun, 14 Oct 2012 15:34:21 -0400 Subject: [PATCH] More types for raise-* functions. --- collects/typed-racket/base-env/base-env-indexing-abs.rkt | 8 ++++++++ 1 file changed, 8 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 f1832a51b1..fe36da07ee 100644 --- a/collects/typed-racket/base-env/base-env-indexing-abs.rkt +++ b/collects/typed-racket/base-env/base-env-indexing-abs.rkt @@ -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))] ))