From 81bb8a5ea3c9ab578f0a604262fa325cb1de39dc Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 19 Dec 2011 19:40:35 -0500 Subject: [PATCH] Improve type of `in-range'. --- collects/typed-racket/base-env/base-special-env.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/typed-racket/base-env/base-special-env.rkt b/collects/typed-racket/base-env/base-special-env.rkt index 2d0ee75a36..9cab8a88e4 100644 --- a/collects/typed-racket/base-env/base-special-env.rkt +++ b/collects/typed-racket/base-env/base-special-env.rkt @@ -73,7 +73,8 @@ (-> Univ (-seq a b) (seq-vals (list a b))))))] ;; in-range [(make-template-identifier 'in-range 'racket/private/for) - (cl->* (-PosFixnum -Fixnum [-Nat] . ->opt . (-seq -PosFixnum)) + (cl->* (-Byte [-Byte -Byte] . ->opt . (-seq -Byte)) + (-PosFixnum -Fixnum [-Nat] . ->opt . (-seq -PosFixnum)) (-NonNegFixnum [-Fixnum -Nat] . ->opt . (-seq -NonNegFixnum)) (-Fixnum [-Fixnum -Int] . ->opt . (-seq -Fixnum)) (-PosInt -Int [-Nat] . ->opt . (-seq -PosInt))