Add single flonums to TR random testing.

original commit: 4c19f273cd785929ef84d6c2020ffd3115fcb387
This commit is contained in:
Vincent St-Amour 2014-04-22 17:24:34 -04:00
parent d0f6cac951
commit fb70969f1a

View File

@ -22,7 +22,7 @@
[n real]
;; randomly generate F, not E, because literal numbers self-evaluate
;; (i.e. generates a useless test)
[E* n E F I]
[E* n E F S I]
;; racket/math
;; [E (degrees->radians E)
;; (radians->degrees E)
@ -81,6 +81,10 @@
(unsafe-fl- F* F*)
(unsafe-fl* F* F*)
(unsafe-fl/ F* F*)]
;; not many single-flonum-specific ops, so will mostly be used in E context
[S (real->single-flonum n)
(inexact->exact S)
(real->double-flonum S)]
;; more likely to be integers
[I* (exact-round n) I] ; TODO fix pre-processing to avoid cast
[I (* I* ...)