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

Remove invalid singleton return types.

Browse Source 
NaN doesn't inhabit these types, but can be produced there.

original commit: 1215fb6cec8ed7e6559e279a46fc7d2be0bfd403
This commit is contained in:
Vincent St-Amour 2012-08-03 12:32:13 -04:00
parent 90741c2747
commit 642e310bbe
1 changed files with 8 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
collects/typed-racket/base-env/base-env-numeric.rkt
View File

@ -445,7 +445,9 @@
(define fl+-type
(lambda ()
(from-cases (map (lambda (t) (commutative-binop t -FlonumZero t))
all-flonum-types)
;; not all float types. singleton types are ruled out, since NaN can arise
(list -FlonumZero -FlonumNan -PosFlonum -NonNegFlonum
-NegFlonum -NonPosFlonum -Flonum))
(commutative-binop -NonNegFlonum -PosFlonum -PosFlonum)
(map binop (list -NonNegFlonum -NegFlonum -NonPosFlonum -Flonum))
(-Flonum -Flonum . -> . -Flonum))))
@ -458,10 +460,7 @@
(binop -Flonum))))
(define fl*-type
(lambda ()
(from-cases (map binop (list -FlonumPosZero -FlonumNegZero))
(commutative-binop -FlonumNegZero -FlonumPosZero -FlonumNegZero)
(binop -FlonumNegZero -FlonumPosZero)
(binop -FlonumZero)
(from-cases (binop -FlonumZero)
;; we don't have Pos Pos -> Pos, possible underflow
(binop -PosFlonum -NonNegFlonum)
(binop -NonNegFlonum)
@ -470,10 +469,7 @@
(binop -Flonum))))
(define fl/-type
(lambda ()
(from-cases (-FlonumPosZero -PosFlonum . -> . -FlonumPosZero)
(-FlonumPosZero -NegFlonum . -> . -FlonumNegZero)
(-FlonumNegZero -PosFlonum . -> . -FlonumNegZero)
(-FlonumNegZero -NegFlonum . -> . -FlonumPosZero)
(from-cases (-FlonumZero -Flonum . -> . -FlonumZero)
(-PosFlonum -PosFlonum . -> . -NonNegFlonum) ; possible underflow
(commutative-binop -PosFlonum -NegFlonum -NonPosFlonum)
(-NegFlonum -NegFlonum . -> . -NonNegFlonum)
@ -1754,9 +1750,9 @@
(varop (Un -PosRat -NegRat) -PosRat)
(varop -Rat -NonNegRat)
;; also supports inexact integers
(commutative-case -FlonumZero -Real -FlonumPosZero)
(commutative-case -SingleFlonumZero -Real -SingleFlonumPosZero)
(commutative-case -InexactRealZero -Real -InexactRealPosZero)
(commutative-case -FlonumZero -Real -FlonumZero)
(commutative-case -SingleFlonumZero -Real -SingleFlonumZero)
(commutative-case -InexactRealZero -Real -InexactRealZero)
(varop (Un -PosFlonum -NegFlonum) -PosFlonum)
(varop -Flonum -NonNegFlonum)
(commutative-case (Un -PosFlonum -NegFlonum) (Un -PosReal -NegReal) -PosFlonum)