summaryrefslogtreecommitdiff
path: root/src/optimize.ml
diff options
context:
space:
mode:
authorAlasdair2020-09-29 16:23:40 +0100
committerAlasdair2020-09-29 16:32:24 +0100
commit7441db19749fb7fb9383b6361dfbd99547e53486 (patch)
tree779f90dbe139bce648540d517be84b156d92319e /src/optimize.ml
parent6dbd0facf0962d869d0c3957f668b035a4a6605c (diff)
Refactor: Change AST type from a union to a struct
Diffstat (limited to 'src/optimize.ml')
-rw-r--r--src/optimize.ml4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/optimize.ml b/src/optimize.ml
index 8c456a1b..fccf0f3a 100644
--- a/src/optimize.ml
+++ b/src/optimize.ml
@@ -65,7 +65,7 @@ let split_at_function id defs =
| Some (pre_defs, def, post_defs) ->
Some (List.rev pre_defs, def, post_defs)
-let recheck (Defs defs) =
+let recheck ({ defs; _} as ast) =
let defs = Type_check.check_with_envs Type_check.initial_env defs in
let rec find_optimizations = function
@@ -112,4 +112,4 @@ let recheck (Defs defs) =
| [] -> []
in
- Defs (find_optimizations defs)
+ { ast with defs = find_optimizations defs }