New --debug-expansion option.

* txr.c (opt_dbg_expansion): New global variable.
(help): Print summary for --debug-expansion.
(txr_main): Recognize new option and set flag.

* parser.y (parse_once): Suppress debug stepping around parser
if opt_dbg_expansion is false.

* txr.1 (opt_dbg_expansion): Declared.

* txr.1: Documented new option.

1 files changed, 10 insertions, 0 deletions

diff --git a/parser.y b/parser.y
index b22a7280..7fb42fec 100644
--- a/parser.y
+++ b/parser.y
@@ -52,6 +52,8 @@
 #include "gc.h"
 #include "args.h"
 #include "cadr.h"
+#include "debug.h"
+#include "txr.h"
 #include "parser.h"
 
 static val sym_helper(parser_t *parser, wchar_t *lexeme, val meta_allowed);
@@ -1556,12 +1558,17 @@ void yybadtoken(parser_t *parser, int tok, val context)
 int parse_once(val stream, val name, parser_t *parser)
 {
   int res = 0;
+#if CONFIG_DEBUG_SUPPORT
+  debug_state_t ds = debug_set_state(opt_dbg_expansion ? 0 : -1,
+                                     opt_dbg_expansion);
+#endif
 
   parser_common_init(parser);
 
   parser->stream = stream;
   parser->name = name;
 
+
   uw_catch_begin(cons(error_s, nil), esym, eobj);
 
   res = yyparse(parser->scanner, parser);
@@ -1573,6 +1580,9 @@ int parse_once(val stream, val name, parser_t *parser)
 
   uw_unwind {
     parser_cleanup(parser);
+#if CONFIG_DEBUG_SUPPORT
+    debug_restore_state(ds);
+#endif
   }
 
   uw_catch_end;