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

Make Bottom generalize to Any instead of Integer.

Browse Source 
original commit: 265603ed694375d3b355b976e5ec05fbe10a03e5
This commit is contained in:
Eric Dobson 2013-07-20 17:18:27 -07:00
parent efae022df0
commit 18c85de02c
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/generalize.rkt
View File

@ -20,6 +20,7 @@
[(Value: '()) (-lst Univ)]
[(Value: 0) -Int]
[(List: ts) (-lst (apply Un ts))]
[(? (lambda (t) (subtype t -Bottom))) Univ]
[(? (lambda (t) (subtype t -Int))) -Int]
[(? (lambda (t) (subtype t -Rat))) -Rat]
[(? (lambda (t) (subtype t -Flonum))) -Flonum]

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

@ -1692,6 +1692,7 @@
(tc-l #"foo" -Bytes)
[tc-l () (-val null)]
[tc-l (3 . 4) (-pair -PosByte -PosByte)]
[tc-l #hash() (make-Hashtable Univ Univ)]
[tc-l #hash((1 . 2) (3 . 4)) (make-Hashtable -Integer -Integer)]
[tc-l #hasheq((a . q) (b . w)) (make-Hashtable -Symbol -Symbol)])
[tc-l #hash{[:a . :b]}