Refactor propagation of contexts in evaluator.

The context form arguments become just context objects in
various places. When a context form is actually needed, or the
context's symbolic name, they must be retrieved via functions
applied to a context.

* debug.c (debug): form argument is now a context. Use
the ctx_form function to retrieve the form.

* debug.h (debug_check): Rename form parameter to ctx.

* eval.c (ctx_form, ctx_name): New functions.
(eval_error): Leftmost parameter is a context now.
Use ctx_form API to obtain the context form from
this object, from which the source location info
can then be retrieved as before.
(abbrev_ctx): Function removed.
(bind_args, bindings_helper, fbindings_helper): Convert
ctx_form argument to
ctx, and use the API to access name or form.
(do_eval, do_eval_args, eval, eval_args_lisp1,
eval_lisp1, eval_progn, eval_prog1): ctx_form param
renamed to ctx.
(funcall_interp): Pass the original interpreted
function as the context to bind_args, not the
extracted code. When ctx_name sees this object, it
will compute the function name, which was not possible
from the code being used as the context. This
is the big reason for all these changes.

* eval.h (eval_error): Declaration updated.
(ctx_form, ctx_name): Declared.

1 files changed, 2 insertions, 2 deletions

diff --git a/debug.h b/debug.h
index 3ae18cab..a2806779 100644
--- a/debug.h
+++ b/debug.h
@@ -54,10 +54,10 @@ typedef struct {
     goto debug_return_out;              \
   } while (0)
 
-INLINE val debug_check(val form, val bindings, val data, val line,
+INLINE val debug_check(val ctx, val bindings, val data, val line,
                        val pos, val base)
 {
-  return (opt_debugger) ? debug(form, bindings, data, line, pos, base) : nil;
+  return (opt_debugger) ? debug(ctx, bindings, data, line, pos, base) : nil;
 }
 
 debug_state_t debug_set_state(int depth, int step);