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

racket/flonum: add `flexpt'

Browse Source 
original commit: 9a41129c69cd18cfe901a26d1bee0ebe45cde1a9
This commit is contained in:
Matthew Flatt 2012-05-07 20:39:38 -06:00
parent 3cd50aade1
commit 63e411b474
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -564,6 +564,11 @@
(from-cases (map unop (list -FlonumPosZero -FlonumNegZero -FlonumZero
-NonNegFlonum ; we don't have positive case, possible underflow
-Flonum))))) ; anything negative returns nan
(define flexpt-type
(lambda ()
;; could be more precise...
(from-cases (-Flonum -Flonum . -> . -Flonum))))
(define fx->fl-type
(lambda ()
(fx-from-cases
@ -645,7 +650,8 @@
[unsafe-flasin flasin ]
[unsafe-flacos flacos]
[unsafe-fllog fllog]
[unsafe-flexp flexp])))
[unsafe-flexp flexp]
[unsafe-flexpt flexpt])))
(define phase (namespace-base-phase (namespace-anchor->namespace anchor)))
(for-each
@ -1881,6 +1887,7 @@
[fllog (fllog-type)]
[flexp (flexp-type)]
[flsqrt (flsqrt-type)]
[flexpt (flexpt-type)]
[->fl (fx->fl-type)]
[fx->fl (fx->fl-type)]
[fl->fx (fl->fx-type)]