cmdline: use handler instead of catch for errors.

Errors encountered when parsing or evaluating a source file
should be handled using a handler rather than a catch, so that
the unwind stack is available to the error reporting function.
This anticipates being able to dump a backtrace.

* txr.c (parse_once_noerr, read_eval_stream_noerr): Adjust
to reduced argument count in ignerr_func_body macro.

* unwind.c (uw_trace_error): New function.

* unwind.h (uw_trace_error): Declared.
(ignerr_func_body): Revised to establish a handler in addition
to the catch. The catch now doesn't do anything other than
provide an intercepting exit point; the error_trace call is
moved into the handler, and so it executes in a context where
unwinding hasn't happened yet.

1 files changed, 12 insertions, 5 deletions

diff --git a/unwind.h b/unwind.h
index 0dfeea17..edf079ee 100644
--- a/unwind.h
+++ b/unwind.h
@@ -145,6 +145,7 @@ val uw_find_frame(val extype, val frtype);
 val uw_find_frames(val extype, val frtype);
 val uw_invoke_catch(val catch_frame, val sym, struct args *);
 val uw_muffle_warning(val exc, struct args *);
+val uw_trace_error(val ctx, val exc, struct args *);
 val uw_capture_cont(val tag, val fun, val ctx_form);
 void uw_push_cont_copy(uw_frame_t *, mem_t *ptr,
                        void (*copy)(mem_t *ptr, int parent));
@@ -274,13 +275,19 @@ noreturn val type_mismatch(val, ...);
                             #EXPR       \
                             " failed")
 
-#define ignerr_func_body(type, init, expr, exsym,       \
-                         exargs, stream, prefix)        \
+#define ignerr_func_body(type, init, expr,              \
+                         stream, prefix)                \
+   val (_s_y_m_s) = cons(error_s, nil);                 \
    type (_r_e_t) = (init);                              \
-   uw_catch_begin (cons(error_s, nil), exsym, exargs);  \
+   uw_frame_t _h_n_d;                                   \
+   uw_catch_begin (_s_y_m_s, _e_x, _e_x_a);             \
+   uw_push_handler(&_h_n_d, _s_y_m_s,                   \
+                   func_f1v(cons(stream, prefix),       \
+                            uw_trace_error));           \
    _r_e_t = expr;                                       \
-   uw_catch(exsym, exargs)                              \
-   error_trace(exsym, exargs, stream, prefix);          \
+   uw_pop_frame(&_h_n_d);                               \
+   uw_catch(_e_x, _e_x_a);                              \
+   (void) _e_x_a;                                       \
    uw_unwind { }                                        \
    uw_catch_end;                                        \
    return _r_e_t;