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

Tighten fxmin and fxmax.

Browse Source 
Replace Zero case with all NonNegative or NonPositive values.
This commit is contained in:
Eric Dobson 2015-04-09 23:23:41 -07:00
parent 93b538b694
commit 424658f6ab
1 changed files with 10 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -318,9 +318,11 @@
(define fxmin-type
(lambda ()
(fx-from-cases
(binop -Zero)
(binop -One)
(commutative-binop -Zero (Un -Zero -One) -Zero)
(-> -Nat -NonPosInt -NonPosFixnum : -true-filter : (-arg-path 1))
(-> -NonPosInt -Nat -NonPosFixnum : -true-filter : (-arg-path 0))
(-> -Zero -Int -NonPosFixnum)
(-> -Int -Zero -NonPosFixnum)
(commutative-binop -PosByte -PosInt -PosByte)
(commutative-binop -Byte -Nat -Byte)
(commutative-binop -PosIndex -PosInt -PosIndex)
@ -333,8 +335,11 @@
(define fxmax-type
(lambda ()
(fx-from-cases
(binop -Zero)
(commutative-binop -One (Un -Zero -One) -One)
(-> -NonPosInt -Nat -NonNegFixnum : -true-filter : (-arg-path 1))
(-> -Nat -NonPosInt -NonNegFixnum : -true-filter : (-arg-path 0))
(-> -Zero -Int -NonNegFixnum)
(-> -Int -Zero -NonNegFixnum)
(commutative-binop -PosByte -Byte -PosByte)
(binop -Byte)
(commutative-binop -PosIndex -Index -PosIndex)