diff options
author | Son Ho | 2022-02-08 17:51:04 +0100 |
---|---|---|
committer | Son Ho | 2022-02-08 17:51:04 +0100 |
commit | 1e6f3fb7d8ac8e72ca38f08d7e4be5c835e3443a (patch) | |
tree | 5959874115481303a6f662ec4c1244307f1ee089 /src/PureMicroPasses.ml | |
parent | b583d18a8336b137b445cc01b713767f354168f4 (diff) |
Make progress on implementing support for types and functions like
Option and Vec
Diffstat (limited to '')
-rw-r--r-- | src/PureMicroPasses.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/PureMicroPasses.ml b/src/PureMicroPasses.ml index ceee71dd..5ac2af4e 100644 --- a/src/PureMicroPasses.ml +++ b/src/PureMicroPasses.ml @@ -730,7 +730,11 @@ let eliminate_box_functions (_ctx : trans_ctx) (def : fun_def) : fun_def = | _ -> failwith "Unreachable" in arg.e - | A.BoxFree, _ -> (mk_value_expression unit_rvalue None).e) + | A.BoxFree, _ -> (mk_value_expression unit_rvalue None).e + | ( ( A.Replace | A.VecNew | A.VecPush | A.VecInsert | A.VecLen + | A.VecIndex | A.VecIndexMut ), + _ ) -> + super#visit_Call env call) | _ -> super#visit_Call env call end in |