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, 0 deletions

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);