Fix incorrect environment entry

should be a value, not type

diff --git a/compiler/src/lib/tiger/tiger_semant.ml b/compiler/src/lib/tiger/tiger_semant.ml
index f653e16..082760f 100644 (file)
--- a/compiler/src/lib/tiger/tiger_semant.ml
+++ b/compiler/src/lib/tiger/tiger_semant.ml
@@ -132,7 +132,8 @@ end = struct
           check_int (trexp lo) ~pos;
           check_int (trexp hi) ~pos;
           (* Only care if a type-error is raised *)
-          ignore (transExp ~env:(Env.set_typ env var Type.Int) body);
+          let env = Env.set_val env var (Value.Var {ty = Type.Int}) in
+          ignore (transExp ~env body);
           return_unit
       | A.BreakExp _ ->
           return_unit