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, 2 insertions, 2 deletions

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;