Sun Aug 19 20:00:19 CEST 2007
side-effect free macros
i was thinking: if macros are side-effect free, constants can be
eliminated. because it's always possible to see if a macro is just a
constant: execute it, and if the result is '((qw <value>)) it is!
the only thing you would need constants for is to 'uncompile'.
another thing: what about making the partial evaluator reference
macros if it can be guaranteed the macros perform only computations
that can be completely reduced to values?
i need to disentangle this a bit..