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

Cleanup fl* type.

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

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

@ -481,7 +481,6 @@
(fl-type-lambda
(from-cases (binop -FlZero)
;; we don't have Pos Pos -> Pos, possible underflow
(binop -PosFl -NonNegFl)
(binop -NonNegFl)
(commutative-binop -NegFl -PosFl -NonPosFl)
(binop -NegFl -NonNegFl)