>>>>> "Harvey" == Harvey J Stein <[EMAIL PROTECTED]> writes:
Harvey> How do I do something like:
Harvey> (declare (type (double-float
LEAST-POSITIVE-NORMALIZED-DOUBLE-FLOAT
Harvey> (- 1d0 double-float-epsilon))
Harvey> x1))
Harvey> I can't do it with declare because it's a special form, and
according
Harvey> to CLTL2, proclaim has different semantics. Am I really forced to
Harvey> expand the two numbers before passing them to declare?
(declare (type (double-float #.least-positive-normalized-double-float
#.(- 1d0 double-float-epsilon))
x1))
Should do it. Or maybe you want declaim. It's not clear what the
context is.
Do you really need such precise bounds? I would probably just use
(double-float (0d0) (1d0)).
Ray
