diff options
author | Keryan Didier <keryan.didier@ocamlpro.com> | 2020-12-07 18:53:59 +0100 |
---|---|---|
committer | Keryan Didier <keryan.didier@ocamlpro.com> | 2021-01-07 14:58:58 +0100 |
commit | c3511192e7e7108173946994ce914af3469bc9a7 (patch) | |
tree | 76b9675a38c15c4c08ef82d1c50a3e97ccb96922 /middle_end | |
parent | 78321e6ac59e18a54cd9209aa57012f8b47908c9 (diff) | |
download | ocaml-c3511192e7e7108173946994ce914af3469bc9a7.tar.gz |
added new lambda construct Lmutvar (#9954)
Diffstat (limited to 'middle_end')
-rw-r--r-- | middle_end/closure/closure.ml | 2 | ||||
-rw-r--r-- | middle_end/flambda/closure_conversion.ml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/middle_end/closure/closure.ml b/middle_end/closure/closure.ml index a51768216c..65f60ef370 100644 --- a/middle_end/closure/closure.ml +++ b/middle_end/closure/closure.ml @@ -861,7 +861,7 @@ let close_var env id = let rec close ({ backend; fenv; cenv ; mutable_vars } as env) lam = let module B = (val backend : Backend_intf.S) in match lam with - | Lvar id -> + | Lvar id | Lmutvar id -> close_approx_var env id | Lconst cst -> let str ?(shared = true) cst = diff --git a/middle_end/flambda/closure_conversion.ml b/middle_end/flambda/closure_conversion.ml index 8c731a9faa..14261b4874 100644 --- a/middle_end/flambda/closure_conversion.ml +++ b/middle_end/flambda/closure_conversion.ml @@ -170,7 +170,7 @@ let lambda_const_int i : Lambda.structured_constant = let rec close t env (lam : Lambda.lambda) : Flambda.t = match lam with - | Lvar id -> + | Lvar id | Lmutvar id -> begin match Env.find_var_exn env id with | var -> Var var | exception Not_found -> |