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.

1 files changed, 1 insertions, 1 deletions

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;