fixed scoping in For loop

This commit is contained in:
Moritz Gmeiner 2024-08-27 18:31:23 +02:00
commit fdf392b53f

View file

@ -125,6 +125,7 @@ let rec interpret_stmt (env : environment) (stmt_node : stmt_node) : (unit, runt
| Error e -> Error e | Error e -> Error e
else Ok () else Ok ()
| For { init; cond; update; body } -> | For { init; cond; update; body } ->
let env = Env.enter env in
let* _ = init |> Option.map (interpret_stmt env) |> Option.value ~default:(Ok ()) in let* _ = init |> Option.map (interpret_stmt env) |> Option.value ~default:(Ok ()) in
let eval_cond () = let eval_cond () =
cond cond