From 66a6f5b714442809012d5e89938253a8175640c9 Mon Sep 17 00:00:00 2001 From: William Wang Date: Sat, 19 Oct 2024 15:22:17 +0000 Subject: [PATCH] Bugfix: Output ast for --ddump-initial-ast --- src/lib/frontend.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/src/lib/frontend.ml b/src/lib/frontend.ml index a862519f7..798c58eca 100644 --- a/src/lib/frontend.ml +++ b/src/lib/frontend.ml @@ -57,6 +57,7 @@ let opt_reformat : string option ref = ref None let finalize_ast asserts_termination ctx env ast = Lint.warn_unmodified_variables ast; + if !opt_ddump_initial_ast then Pretty_print_sail.output_ast stdout (Type_check.strip_ast ast); let ast = Scattered.descatter ast in let side_effects = Effects.infer_side_effects asserts_termination ast in if !opt_ddump_side_effect then Effects.dump_effects side_effects;