makia wrote:yes, i know that ... but then there is no huge impact in real programs if you can only optimize literal arguments ?
Nope. For example, SBCL uses a compiler-macro to optimize MAKE-INSTANCE when the class argument and all the keywords (not keyword argument values) are constant. There are many, many kinds of functions that can be optimized if one or two of the arguments are constants. FORMAT is another good example.