suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Improve type of `in-range'.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2011-12-19 19:40:35 -05:00
parent 26c0ef99ef
commit 81bb8a5ea3
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-racket/base-env/base-special-env.rkt
View File

@ -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))