Improve the heuristic to find pretty names for the variables in the loops

1 files changed, 6 insertions, 0 deletions

diff --git a/compiler/PureUtils.ml b/compiler/PureUtils.ml
index a60bcd78..e86d2a78 100644
--- a/compiler/PureUtils.ml
+++ b/compiler/PureUtils.ml
@@ -57,6 +57,8 @@ let compute_primitive_value_ty (cv : primitive_value) : ty =
   | Char _ -> Char
   | String _ -> Str
 
+let var_get_id (v : var) : VarId.id = v.id
+
 let mk_typed_pattern_from_primitive_value (cv : primitive_value) : typed_pattern
     =
   let ty = compute_primitive_value_ty cv in
@@ -73,6 +75,10 @@ let mk_tag (msg : string) (next_e : texpression) : texpression =
   let ty = next_e.ty in
   { e; ty }
 
+let mk_mplace (var_id : E.VarId.id) (name : string option)
+    (projection : mprojection) : mplace =
+  { var_id; name; projection }
+
 (** Type substitution *)
 let ty_substitute (tsubst : TypeVarId.id -> ty) (ty : ty) : ty =
   let obj =