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

Tighten fl+ and fl- types.

Browse Source
This commit is contained in:
Eric Dobson 2015-04-09 23:38:26 -07:00
parent c3c134780e
commit 811cd211e9
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -466,14 +466,16 @@
(list -FlZero -FlNan -PosFl -NonNegFl
-NegFl -NonPosFl -Fl))
(commutative-binop -NonNegFl -PosFl -PosFl)
(map binop (list -NonNegFl -NegFl -NonPosFl -Fl))
(-Fl -Fl . -> . -Fl))))
(map binop (list -NonNegFl -NegFl -NonPosFl -Fl)))))
(define fl--type
(fl-type-lambda
(from-cases (binop -FlZero)
(-NegFl (Un -NonNegFl -FlZero) . -> . -NegFl)
((Un -NonPosFl -FlZero) -PosFl . -> . -NegFl)
(-NegFl -NonNegFl . -> . -NegFl)
(-NonPosFl -PosFl . -> . -NegFl)
(-NonPosFl -NonNegFl . -> . -NonPosFl)
(-PosFl -NonPosFl . -> . -PosFl)
(-NonNegFl -NegFl . -> . -PosFl)
(-NonNegFl -NonPosFl . -> . -NonNegFl)
(binop -Fl))))
(define fl*-type
(fl-type-lambda