[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Issue: DEFINE-OPTIMIZER (Version 2)

This is looking better, but I personally would still want to see
a few things clarified before I could vote for it.

o Can you put declarations in the body?  I don't see any reason why not,
  except that the writeup doesn't say so.

o Can you define an optimizer for a macro as well as a function?  (If it
  were permitted, it might make the interaction between OPTIMIZE-EXPRESSION
  and MACROEXPAND kind of confusing.)

o I don't think OPTIMIZE-EXPRESSION-1 should apply an optimizer that
  has been defined for a function that is lexically shadowed (as by 
  an FLET or MACROLET) in the environment.  Can we say something
  specific about what happen in this situation, one way or the other?

Otherwise, I think the basic idea is fine.