eval: handle top-level incrementally.

Like in some other Lisp dialects, evaluation of top-level
forms should deal with forms like:

  (progn (defmacro a () 42) (a))

where the (a) will correctly reference the macro earlier
in the progn.

* eval.c (eval_only_s, compile_only_s): New symbol variables.
(expand_eval): New static function, based on previous code of
eval_intrinsic.
(eval_intrinsic): Rewritten to perform incremental
macroexpand, similarly to compile-file, and recurse. If a
form, after macro-expansion, is a progn, eval-only or
compile-only, then its constituents are individually evaluated
through expand_eval as separate forms: each one is fully
expanded and evaluated before the next one is processed. If
the form isn't a progn, eval-only or compile-only, then it is
treated as a single expansion and evaluation.
(eval_init): Initialize new symbol variables and use their
values in registering their respective operators.

0 files changed, 0 insertions, 0 deletions