>
> Hmm. I had assumed he meant to write a macro (or macrolet) to write the
> various predicates, not to make the various predicates into macros.
> This would make sense to me.
>
I thought he meant that if they were macros, then common subexpression
elimination would avoid redundant caar calculations -- is that right,
Rupert?
-s