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. --- parser.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'parser.c') diff --git a/parser.c b/parser.c index a192cf82..a419ace6 100644 --- a/parser.c +++ b/parser.c @@ -896,7 +896,7 @@ static val read_eval_ret_last(val env, val counter, dyn_env = saved_dyn_env; if (!loading) - uw_dump_deferred_warnings(out_stream); + uw_release_deferred_warnings(); prinl(value, out_stream); return t; -- cgit v1.2.3