summaryrefslogtreecommitdiff
path: root/src/constant_fold.ml
diff options
context:
space:
mode:
authorAlasdair2020-09-28 15:57:17 +0100
committerAlasdair2020-09-28 15:57:17 +0100
commit6dbd0facf0962d869d0c3957f668b035a4a6605c (patch)
tree7c78c4388024e1dffa34b677f42d97cc4dc807d2 /src/constant_fold.ml
parentcf42208a74138a32393073fef574c24bd73a27fc (diff)
Refactor: Rename 'a defs to 'a ast
Change internal terminology so we more clearly distinguish between a list of definitions 'defs' and functions that take an entire abstract syntax trees 'ast'.
Diffstat (limited to 'src/constant_fold.ml')
-rw-r--r--src/constant_fold.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/constant_fold.ml b/src/constant_fold.ml
index 1c273df1..c9314002 100644
--- a/src/constant_fold.ml
+++ b/src/constant_fold.ml
@@ -302,7 +302,7 @@ let rec rewrite_constant_function_calls' fixed target ast =
rewriters_base with
rewrite_exp = (fun _ -> rw_exp fixed target ok not_ok istate)
} in
- let ast = rewrite_defs_base rw_defs ast in
+ let ast = rewrite_ast_base rw_defs ast in
(* We keep iterating until we have no more re-writes to do *)
if !rewrite_count > 0
then rewrite_constant_function_calls' fixed target ast