From 83b5e50288425e981391b4bfcc20c6d18a75d36f Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Sun, 14 Oct 2012 17:19:35 -0400 Subject: [PATCH] Fix type of raise-range-error. original commit: 5bc108c7b108d1a9856a193f11be259fb69ad035 --- collects/typed-racket/base-env/base-env-indexing-abs.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 fe36da07..5b31d5d8 100644 --- a/collects/typed-racket/base-env/base-env-indexing-abs.rkt +++ b/collects/typed-racket/base-env/base-env-indexing-abs.rkt @@ -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))] ))