[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
scratch/handler-bind 869192bd7ba 7/7: Move batch backtrace code to `top_
From: |
Stefan Monnier |
Subject: |
scratch/handler-bind 869192bd7ba 7/7: Move batch backtrace code to `top_level_2` |
Date: |
Thu, 21 Dec 2023 09:43:42 -0500 (EST) |
branch: scratch/handler-bind
commit 869192bd7ba200aaa049d031dac74f95f6930a28
Author: Stefan Monnier <monnier@iro.umontreal.ca>
Commit: Stefan Monnier <monnier@iro.umontreal.ca>
Move batch backtrace code to `top_level_2`
Move ad-hoc code meant to ease debugging of bootstrap (and batch mode)
to `top_level_2` so it doesn't pollute `signal_or_quit`.
* src/lisp.h (pop_handler): Declare.
* src/keyboard.c (top_level_2): Setup an error handler to call
`debug-early` when noninteractive.
* src/eval.c (pop_handler): Not static any more.
(signal_or_quit): Remove special case for noninteractive use.
(syms_of_eval): Declare `Qdebug_early__handler`.
* lisp/emacs-lisp/debug-early.el (debug-early-backtrace): Weed out
frames below `debug-early`.
(debug-early--handler): New function.
---
lisp/emacs-lisp/debug-early.el | 7 ++++++-
src/eval.c | 22 +++-------------------
src/keyboard.c | 13 ++++++++++++-
src/lisp.h | 1 +
4 files changed, 22 insertions(+), 21 deletions(-)
diff --git a/lisp/emacs-lisp/debug-early.el b/lisp/emacs-lisp/debug-early.el
index e393daee879..03c66fba358 100644
--- a/lisp/emacs-lisp/debug-early.el
+++ b/lisp/emacs-lisp/debug-early.el
@@ -68,7 +68,8 @@ of the build process."
(funcall prin1 (car args))
(setq args (cdr args)))
(princ " ")))
- (princ ")\n")))))))
+ (princ ")\n")))
+ #'debug-early))))
(defalias 'debug-early
#'(lambda (&rest args)
@@ -94,4 +95,8 @@ available before `debug' was usable.)"
(prin1 (cdr (car (cdr args)))) ; The error data.
(debug-early-backtrace)))
+(defalias 'debug-early--handler
+ #'(lambda (err)
+ (if backtrace-on-error-noninteractive (debug-early 'error err))))
+
;;; debug-early.el ends here.
diff --git a/src/eval.c b/src/eval.c
index e00886afbc8..22dd93be8b6 100644
--- a/src/eval.c
+++ b/src/eval.c
@@ -317,6 +317,7 @@ call_debugger (Lisp_Object arg)
/* Interrupting redisplay and resuming it later is not safe under
all circumstances. So, when the debugger returns, abort the
interrupted redisplay by going back to the top-level. */
+ /* FIXME: Move this to the redisplay code? */
if (debug_while_redisplaying
&& !EQ (Vdebugger, Qdebug_early))
Ftop_level ();
@@ -1192,7 +1193,7 @@ usage: (catch TAG BODY...) */)
#define clobbered_eassert(E) verify (sizeof (E) != 0)
-static void
+void
pop_handler (void)
{
handlerlist = handlerlist->next;
@@ -1884,24 +1885,6 @@ signal_or_quit (Lisp_Object error_symbol, Lisp_Object
data, bool keyboard_quit)
return Qnil;
}
- /* If we're in batch mode, print a backtrace unconditionally to help
- with debugging. Make sure to use `debug-early' unconditionally
- to not interfere with ERT or other packages that install custom
- debuggers. */
- /* FIXME: This could be turned into a `handler-bind` at toplevel? */
- if (!debugger_called && !NILP (error_symbol)
- && (NILP (clause) || EQ (clause, Qerror))
- && noninteractive && backtrace_on_error_noninteractive
- && NILP (Vinhibit_debugger)
- && !NILP (Ffboundp (Qdebug_early)))
- {
- max_ensure_room (&max_lisp_eval_depth, lisp_eval_depth, 100);
- specpdl_ref count = SPECPDL_INDEX ();
- specbind (Qdebugger, Qdebug_early);
- call_debugger (list2 (Qerror, Fcons (error_symbol, data)));
- unbind_to (count, Qnil);
- }
-
/* If an error is signaled during a Lisp hook in redisplay, write a
backtrace into the buffer *Redisplay-trace*. */
/* FIXME: Turn this into a `handler-bind` installed during redisplay? */
@@ -4364,6 +4347,7 @@ before making `inhibit-quit' nil. */);
DEFSYM (QCdocumentation, ":documentation");
DEFSYM (Qdebug, "debug");
DEFSYM (Qdebug_early, "debug-early");
+ DEFSYM (Qdebug_early__handler, "debug-early--handler");
DEFVAR_LISP ("inhibit-debugger", Vinhibit_debugger,
doc: /* Non-nil means never enter the debugger.
diff --git a/src/keyboard.c b/src/keyboard.c
index 81605e75ba2..c6cc9f5c06f 100644
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -1163,7 +1163,18 @@ command_loop_2 (Lisp_Object handlers)
static Lisp_Object
top_level_2 (void)
{
- return Feval (Vtop_level, Qnil);
+ /* If we're in batch mode, print a backtrace unconditionally when
+ encountering an error, to help with debugging. */
+ bool setup_handler = noninteractive;
+ if (setup_handler)
+ push_handler (Fcons (Fcons (Qerror, Qdebug_early__handler), Qnil),
+ HANDLER);
+
+ Lisp_Object res = Feval (Vtop_level, Qnil);
+
+ if (setup_handler)
+ pop_handler ();
+ return res;
}
static Lisp_Object
diff --git a/src/lisp.h b/src/lisp.h
index ee7ceb8e250..057462f5ec8 100644
--- a/src/lisp.h
+++ b/src/lisp.h
@@ -4604,6 +4604,7 @@ extern Lisp_Object internal_condition_case_n
extern Lisp_Object internal_catch_all (Lisp_Object (*) (void *), void *,
Lisp_Object (*) (enum nonlocal_exit, Lisp_Object));
extern struct handler *push_handler (Lisp_Object, enum handlertype)
ATTRIBUTE_RETURNS_NONNULL;
+extern void pop_handler (void);
extern struct handler *push_handler_nosignal (Lisp_Object, enum handlertype);
extern void specbind (Lisp_Object, Lisp_Object);
extern void record_unwind_protect (void (*) (Lisp_Object), Lisp_Object);
- branch scratch/handler-bind created (now 869192bd7ba), Stefan Monnier, 2023/12/21
- scratch/handler-bind 30aa70bcb19 2/7: (eval-expression): Fix bug#67196, Stefan Monnier, 2023/12/21
- scratch/handler-bind dcc65766ab2 6/7: startup.el: Use `handler-bind` to implement `--debug-init`, Stefan Monnier, 2023/12/21
- scratch/handler-bind 57cc24291b1 3/7: edebug.el: Use `handler-bind` instead of `signal-hook-function`, Stefan Monnier, 2023/12/21
- scratch/handler-bind 7252f6b4894 5/7: tramp.el: Use `handler-bind` instead of `signal-hook-function`, Stefan Monnier, 2023/12/21
- scratch/handler-bind 034f453c176 1/7: New special form `handler-bind`, Stefan Monnier, 2023/12/21
- scratch/handler-bind 5db1edc50d4 4/7: ert.el: Use `handler-bind` to record backtraces, Stefan Monnier, 2023/12/21
- scratch/handler-bind 869192bd7ba 7/7: Move batch backtrace code to `top_level_2`,
Stefan Monnier <=