diff options
| author | Alasdair | 2020-09-28 15:57:17 +0100 |
|---|---|---|
| committer | Alasdair | 2020-09-28 15:57:17 +0100 |
| commit | 6dbd0facf0962d869d0c3957f668b035a4a6605c (patch) | |
| tree | 7c78c4388024e1dffa34b677f42d97cc4dc807d2 /src/constant_fold.ml | |
| parent | cf42208a74138a32393073fef574c24bd73a27fc (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.ml | 2 |
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 |
