expander: tighten up syntax checking.

* eval.c (eval_exception): New parameter distinguishes whether
this function is called from expansion time. If so, it behaves
similarly to the compile-error funtion in error.tl: if
a recursive load is in effect, a there is no error handler,
then deferred warnings are dumped to standard error, followed
by the error message. Then the exception is thrown.
(eval_error, eval_warn): Pass zero to eval_exception to
indicate that this is not expansion time.
(expand_error, missing_arg_error, excess_args_error,
no_dot_check, syn_check): New static functions.
(me_def_variable, me_each, me_for, me_gen, me_gun, me_delay,
me_when, me_unless, me_while_until, me_whie_until_star,
me_equot, me_case, me_dotimes, me_lcons, me_mlet,
me_load_time, me_l1_val, me_l1_setq, me_assert): Add syntactic
checks to built-in macros.
(do_expand): Add syntactic checks for a number of special
operators.

* unwind.c (catch_frame_s): New symbol variable.
(uw_late_init): Initialize catch_frame_s and use that in
registering the catch-frame structure.

* unwind.c (catch_frame_s): Declared.

1 files changed, 4 insertions, 2 deletions

diff --git a/unwind.c b/unwind.c
index 13089c3c..0815a885 100644
--- a/unwind.c
+++ b/unwind.c
@@ -65,6 +65,8 @@ static val args_s, form_s;
 static val sys_cont_s, sys_cont_poison_s;
 static val sys_cont_free_s, sys_capture_cont_s;
 
+val catch_frame_s;
+
 static val frame_type, catch_frame_type, handle_frame_type;
 static val fcall_frame_type, eval_frame_type, expand_frame_type;
 
@@ -1286,10 +1288,10 @@ void uw_late_init(void)
   sys_cont_s = intern(lit("cont"), system_package);
   sys_cont_poison_s = intern(lit("cont-poison"), system_package);
   sys_cont_free_s = intern(lit("cont-free"), system_package);
+  catch_frame_s = intern(lit("catch-frame"), user_package);
   frame_type = make_struct_type(intern(lit("frame"), user_package),
                                 nil, nil, nil, nil, nil, nil, nil);
-  catch_frame_type = make_struct_type(intern(lit("catch-frame"),
-                                             user_package),
+  catch_frame_type = make_struct_type(catch_frame_s,
                                       frame_type, nil,
                                       list(types_s, desc_s, jump_s, nao),
                                       nil, nil, nil, nil);