Michael Sperber <xxxxxx@informatik.uni-tuebingen.de> writes:

> >>>>> "felix" == felix  <xxxxxx@call-with-current-continuation.org> writes:
>
> felix> It's absolutely unnecessary to specify which C-level forms are macros,
> felix> or which are functions. Leave that to the implementors, and allow all
> felix> the forms to be macros instead.
>
> That certainly was our intention.  Do we overspecify anything by
> saying "Note that most functionality on the C side is implemented by
> macros."?

Um, in C a user definitely has cause to care.  Importantly, a function
can be used far more flexibly.  Allowing all the forms to be macros is
a pain.

Also, be sure to specify that, if they are macros, they must evaluate
their arguments exactly once.