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

Refine type of min.

Browse Source 
Closes PR14896.
This commit is contained in:
Vincent St-Amour 2015-12-31 14:32:18 -06:00
parent 32fb50b4ce
commit 40e7c969ab
2 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1225,6 +1225,10 @@
(map varop (list -PosByte -Byte -PosIndex -Index -PosFixnum -NonNegFixnum))
(commutative-case -NegFixnum -Fixnum)
(commutative-case -NonPosFixnum -Fixnum)
(commutative-case -PosByte -PosInt)
(commutative-case -Byte -Nat)
(commutative-case -PosFixnum -PosInt)
(commutative-case -NonNegFixnum -Nat)
(map varop (list -NegFixnum -NonPosFixnum -Fixnum -PosInt -Nat))
(commutative-case -NegInt -Int)
(commutative-case -NonPosInt -Int)

2
typed-racket-test/succeed/pr14896.rkt Normal file
View File

@ -0,0 +1,2 @@
#lang typed/racket
(ann (min 255 (max 0 (ann 0 Integer))) Byte)