Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bugfix: Output ast for --ddump-initial-ast #848

Open
wants to merge 1 commit into
base: sail2
Choose a base branch
from
Open

Bugfix: Output ast for --ddump-initial-ast #848

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions src/lib/frontend.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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;
Expand Down
Loading