Add the full suite of fl and unsafe-fl operations to Typed Scheme

Correct an error in documentation of flmin and flmax -- they were documented as taking a single argument when in fact they take two.

svn: r18604
This commit is contained in:
Noel Welsh 2010-03-23 12:24:50 +00:00
parent cf017110a9
commit 7c55242179
2 changed files with 32 additions and 7 deletions

View File

@ -905,8 +905,8 @@ but constrained to consume @tech{flonums}. The result is always a
@defproc[(fl> [a inexact-real?][b inexact-real?]) boolean?]
@defproc[(fl<= [a inexact-real?][b inexact-real?]) boolean?]
@defproc[(fl>= [a inexact-real?][b inexact-real?]) boolean?]
@defproc[(flmin [a inexact-real?]) inexact-real?]
@defproc[(flmax [a inexact-real?]) inexact-real?]
@defproc[(flmin [a inexact-real?][b inexact-real?]) inexact-real?]
@defproc[(flmax [a inexact-real?][b inexact-real?]) inexact-real?]
)]{
Like @scheme[=], @scheme[<], @scheme[>], @scheme[<=], @scheme[>=],

View File

@ -161,19 +161,30 @@
;; unsafe numeric ops
[unsafe-flabs fl-unop]
[unsafe-flsqrt fl-unop]
[unsafe-fl+ fl-op]
[unsafe-fl- fl-op]
[unsafe-fl* fl-op]
[unsafe-fl/ fl-op]
[unsafe-fl= fl-comp]
[unsafe-fl<= fl-comp]
[unsafe-fl>= fl-comp]
[unsafe-fl> fl-comp]
[unsafe-fl< fl-comp]
[unsafe-flmin fl-op]
[unsafe-flmax fl-op]
[unsafe-flround fl-unop]
[unsafe-flfloor fl-unop]
[unsafe-flceiling fl-unop]
[unsafe-fltruncate fl-unop]
[unsafe-flsin fl-unop]
[unsafe-flcos fl-unop]
[unsafe-fltan fl-unop]
[unsafe-flatan fl-unop]
[unsafe-flasin fl-unop]
[unsafe-flacos fl-unop]
[unsafe-fllog fl-unop]
[unsafe-flexp fl-unop]
[unsafe-flsqrt fl-unop]
[unsafe-fx+ fx-op]
[unsafe-fx- fx-intop]
@ -226,7 +237,6 @@
;; safe flonum ops
[flabs fl-unop]
[flsqrt fl-unop]
[fl+ fl-op]
[fl- fl-op]
[fl* fl-op]
@ -236,6 +246,21 @@
[fl>= fl-comp]
[fl> fl-comp]
[fl< fl-comp]
[flmin fl-op]
[flmax fl-op]
[flround fl-unop]
[flfloor fl-unop]
[flceiling fl-unop]
[fltruncate fl-unop]
[flsin fl-unop]
[flcos fl-unop]
[fltan fl-unop]
[flatan fl-unop]
[flasin fl-unop]
[flacos fl-unop]
[fllog fl-unop]
[flexp fl-unop]
[flsqrt fl-unop]
;; safe flvector ops