From 505e981046f66d716958aec418375045f0b9cd90 Mon Sep 17 00:00:00 2001 From: Michael Filonenko Date: Sun, 27 Jan 2013 14:03:36 -0700 Subject: [PATCH] extflonums An extflonum is like a flonum, but with 80-bit precision and not a number in the sense of `number?': only operations such as `extfl+' work on extflonums, and only on platforms where extflonums can be implemented by hardware without interefering with flonums (i.e., on platforms where SSE instructions are used for double-precision floats). [Patch provided by Michael Filonenko and revised by Matthew.] The compiler tracks information about bindings that are known to hold extflonums, but the JIT does not yet exploit this information to unbox them (except as intermediate results). original commit: 17b8092641b245caf77bfb6ac29b525995a7bfea --- collects/scribble/racket.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/scribble/racket.rkt b/collects/scribble/racket.rkt index 8f08943c..61650307 100644 --- a/collects/scribble/racket.rkt +++ b/collects/scribble/racket.rkt @@ -5,6 +5,7 @@ "private/manual-sprop.rkt" "private/on-demand.rkt" file/convertible + racket/extflonum (for-syntax racket/base)) (provide define-code @@ -262,7 +263,8 @@ (char? v) (regexp? v) (byte-regexp? v) - (boolean? v))) + (boolean? v) + (extflonum? v))) value-color] [(identifier? c) (cond