diff options
author | Son Ho | 2022-12-17 12:54:53 +0100 |
---|---|---|
committer | Son HO | 2023-02-03 11:21:46 +0100 |
commit | 01a95c7da8cc0c937d94e6a9bc753d2ceb163c17 (patch) | |
tree | 4f5c21c393829e5192c13d5eb272a28dc9f97d9e /compiler/Config.ml | |
parent | e92d5bc74fe735717bfd8ec65c70335831bf85da (diff) |
Implement a micro-pass to simplify the let-bindings followed by a return
Diffstat (limited to '')
-rw-r--r-- | compiler/Config.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Config.ml b/compiler/Config.ml index b37d4a84..0b8ee574 100644 --- a/compiler/Config.ml +++ b/compiler/Config.ml @@ -266,7 +266,7 @@ let unfold_monadic_let_bindings = ref false we later filter the useless *forward* calls in the micro-passes, where it is more natural to do. - See the comments for {!PureMicroPasses.expression_contains_child_call_in_all_paths} + See the comments for {!Aeneas.PureMicroPasses.expression_contains_child_call_in_all_paths} for additional explanations. *) let filter_useless_monadic_calls = ref true |