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

Expand type of fl/.

Browse Source
This commit is contained in:
Eric Dobson 2015-04-09 23:43:12 -07:00
parent c50b6291e2
commit d288b14244
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -488,7 +488,8 @@
(define fl/-type
(fl-type-lambda
(from-cases (-FlZero -Fl . -> . -FlZero)
(-PosFl -PosFl . -> . -NonNegFl) ; possible underflow
;; we don't have Pos Pos -> Pos, possible underflow
(-NonNegFl -NonNegFl . -> . -NonNegFl)
(commutative-binop -PosFl -NegFl -NonPosFl)
(-NegFl -NegFl . -> . -NonNegFl)
(binop -Fl))))