From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Fri, 14 Sep 2018 15:45:13 +0000 (-0400)
Subject: Fix incorrect environment entry
X-Git-Url: https://git.xandkar.net/?a=commitdiff_plain;h=85e08b692d47a78c082e2dd6472062446c2d700b;p=tiger.ml.git

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
--- 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