- (* Only care if a type-error is raised *)
- let env = Env.set_val env var (Value.Var {ty = Type.Int}) in
+ let (loop, env) = Env.loop_begin env in
+ let level = Env.level_get env in
+ (* Assuming all escape, for now *)
+ let access = Translate.alloc_local ~level ~escapes:true in
+ let env = Env.set_val env var (Value.Var {ty = Type.Int; access}) in
+ (* Only care if an error is raised *)