From c3511192e7e7108173946994ce914af3469bc9a7 Mon Sep 17 00:00:00 2001 From: Keryan Didier Date: Mon, 7 Dec 2020 18:53:59 +0100 Subject: added new lambda construct Lmutvar (#9954) --- middle_end/closure/closure.ml | 2 +- middle_end/flambda/closure_conversion.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'middle_end') 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 -> -- cgit v1.2.1