Re: byte-opt.el addition - optimize list of compile-time constants

[Stefan Monnier]

> (disassemble 
>   (lambda nil 
>     `(:a 1 :b 2 
>       :c ,#'(lambda nil (when (eq (following-char) ?\n) (forward-char 1))))))
[...]
> second place, byte-optimize-pure-func is called, but the optimization
> fails because a (function ...) form appears inside the arguments to
> list, which does not count as byte-compile-constp.  This is the other

Hmm... we should probably update byte-compile-constp to accept
(function ...) just like it accepts (quote ...).

> problem I mentioned earlier - at the point at which the
> 'byte-optimizer function for list is called, the inner function has
> not yet been compiled, contrary to the general principle that the byte
> optimizer operates depth-first.

The "byte-optimizer" has two phases: one done before byte-compilation and
one after.  The byte-optimize-pure-func is done before.

As for your particular problem, there's an easier solution:

    (defun foo-aux nil (when (eq (following-char) ?\n) (forward-char 1))
    ...
    (lambda nil
      '(:a 1 :b 2 :c foo-aux))


-- Stefan