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

Simplify flexp type.

Browse Source
This commit is contained in:
Eric Dobson 2015-04-09 23:59:12 -07:00
parent 142b52918c
commit fc4e216fc2
1 changed files with 1 additions and 2 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

@ -558,8 +558,7 @@
(define flexp-type
(fl-type-lambda
(from-cases (-NonNegFl . -> . -PosFl)
(-NegFl . -> . -NonNegFl)
(-Fl . -> . -Fl)))) ; nan is the only non nonnegative case (returns nan)
(-Fl . -> . -NonNegFl))))
(define flsqrt-type
(fl-type-lambda
(from-cases (map unop (list -FlPosZero -FlNegZero -FlZero