Re: Compilation to native

[Richard Stallman]

    The loop _is_ purely computational.

I was fooled by the indentation, which makes it appear
that the call to current-time-string is inside the loop.
See?

    (defun silly-loop (n)
      "Return time before and after N iterations of a loop."
      (let ((t1 (current-time-string)))
        (while (> (setq n (1- n))
                              0))
            (list t1 (current-time-string))))

Anyway, such a small speedup is not worth the trouble.
Compilation of CCL may be worth while.  Or optimization
of the CCL interpreter may be possible.