Hi Harvey J. Stein, > > This may be stupid and lead nowhere, but have you tried > > > > (declaim (ftype (function () double-float) one-normal-rand)) > > > > (defun one-normal-rand () ...) > > Isn't (declare (values (double-float))) inside the function supposed > to have the same effect?
No because you can redefine the function. The top level declaimation is a promise to the compiler that any redefinition of the function will always return a double-float. Whether the compiler acts on this information to improve efficiency is another matter, as you have discovered. Regards, Adam
