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. --- txr.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'txr.c') diff --git a/txr.c b/txr.c index 2c96d34f..b15d275a 100644 --- a/txr.c +++ b/txr.c @@ -978,7 +978,7 @@ int txr_main(int argc, char **argv) close_stream(parse_stream, nil); - uw_dump_deferred_warnings(std_error); + uw_release_deferred_warnings(); if (parser.errors) return EXIT_FAILURE; @@ -1019,7 +1019,7 @@ int txr_main(int argc, char **argv) close_stream(parse_stream, nil); - uw_dump_deferred_warnings(std_error); + uw_release_deferred_warnings(); if (!enter_repl) return result ? 0 : EXIT_FAILURE; -- cgit v1.2.3