Allen Li writes: > On Sun, Jan 28, 2024 at 1:40 PM Philip Kaludercic > wrote: >> >> Allen Li writes: >> > >> > That works for me, though it's possible that someone may want errors >> > recompiling user packages surfaced directly. >> >> That is why I used `with-demoted-errors', which propagates errors if >> `debug-on-error' is non-nil. Or do you mean permanently and >> specifically related to this issue, e.g. in form of a user option. > > My bad, yes, `with-demoted-errors' sounds fine to me. At the risk of > repeating myself, > I don't have a use case for surfacing the errors, but I think some > other users might. OK, then this is the patch I propse: