From 9b65e0df924649514c6b51e4c7ba4f60040a58b8 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. original commit: 3a8f4c24d909ea47ee1e71b79c824d8f7c12548c --- 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 f1832a51..fe36da07 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))] ))