From 2c4d870ce98b425d07b136e12ba782cfc8e23367 Mon Sep 17 00:00:00 2001 From: Kaz Kylheku Date: Fri, 10 Feb 2017 14:09:34 -0800 Subject: Better way for releasing deferred warnings. We should be re-throwing deferred warnings as ordinary warnings, not dumping them to a stream. * eval.c (eval_exception): Use uw_release_deferred_warnings instead of uw_dupm_deferred_warnings. (load): Likewise. * parser.c (read_eval_ret_last): Likewise. * txr.c (txr_main): Likewise. * unwind.c (uw_release_deferred_warnings): New function. * unwind.h (uw_release_deferred_warnings): Declared. * txr.1: Documented release-deferred-warnings and updated documentation for dump-deferred-warnings. --- unwind.h | 1 + 1 file changed, 1 insertion(+) (limited to 'unwind.h') diff --git a/unwind.h b/unwind.h index 30da0146..aeac00d6 100644 --- a/unwind.h +++ b/unwind.h @@ -130,6 +130,7 @@ noreturn val uw_errorf(val fmt, ...); noreturn val uw_errorfv(val fmt, struct args *args); val uw_defer_warning(val args); val uw_dump_deferred_warnings(val stream); +val uw_release_deferred_warnings(void); val uw_purge_deferred_warning(val tag); val uw_register_tentative_def(val tag); val uw_tentative_def_exists(val tag); -- cgit v1.2.3