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

Fix type of range

Browse Source
This commit is contained in:
AlexKnauth 2014-07-16 21:32:16 -04:00 committed by Vincent St-Amour
parent 40e9ac2c15
commit 10fb8f8178
3 changed files with 11 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env-indexing-abs.rkt
View File

@ -215,12 +215,12 @@
[range (cl->* (-> (Un -Zero -NegInt) -Null)
(-> -One (-lst* -One))
[range (cl->* (-> -NonPosReal -Null)
(-> -One (-lst* -Zero))
(-> -Byte (-lst -Byte))
(-> -Index (-lst -Index))
(-> -Fixnum (-lst -Fixnum))
(-> -Real (-lst -Int))
(-> -Fixnum (-lst -NonNegFixnum))
(-> -Real (-lst -Nat))
(->opt -PosInt -Byte [-Int] (-lst -PosByte))
(->opt -Nat -Byte [-Int] (-lst -Byte))
(->opt -PosInt -Index [-Int] (-lst -PosIndex))

4
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-special-env.rkt
View File

@ -69,8 +69,8 @@
[(make-template-identifier 'in-range 'racket/private/for)
(cl->* (-> -Byte (-seq -Byte))
(-> -Index (-seq -Index))
(-> -Fixnum (-seq -Fixnum))
(-> -Real (-seq -Int))
(-> -Fixnum (-seq -NonNegFixnum))
(-> -Real (-seq -Nat))
(->opt -PosInt -Byte [-Int] (-seq -PosByte))
(->opt -Nat -Byte [-Int] (-seq -Byte))
(->opt -PosInt -Index [-Int] (-seq -PosIndex))

5
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
View File

@ -464,7 +464,12 @@
[tc-e (vector-immutable 2 "3" #t) (make-HeterogeneousVector (list -Integer -String -Boolean))]
[tc-e (make-vector 4 1) (-vec -Integer)]
[tc-e (build-vector 4 (lambda (x) 1)) (-vec -Integer)]
[tc-e (range 0) -Null]
[tc-e (range 1) (-lst* -Zero)]
[tc-e (range 4) (-lst -Byte)]
[tc-e (range (ann 10 : Index)) (-lst -Index)]
[tc-e (range (ann 10 : Fixnum)) (-lst -NonNegFixnum)]
[tc-e (range (ann 10.0 : Real)) (-lst -Nat)]
[tc-e (range 2 4 1) (-lst -PosByte)]
[tc-e (range 0 4 1) (-lst -Byte)]
[tc-e (range 0.0 4/2 0.5) (-lst -Flonum)]