Check scope of break statements

[tiger.ml.git] / compiler / src / lib / tiger / tiger_env.mli

diff --git a/compiler/src/lib/tiger/tiger_env.mli b/compiler/src/lib/tiger/tiger_env.mli
index 91747e5..3338949 100644 (file)
--- a/compiler/src/lib/tiger/tiger_env.mli
+++ b/compiler/src/lib/tiger/tiger_env.mli
@@ -7,3 +7,7 @@ val get_val : t -> Tiger_symbol.t -> Tiger_env_value.t option
 
 val set_typ : t -> Tiger_symbol.t -> Tiger_env_type.t -> t
 val set_val : t -> Tiger_symbol.t -> Tiger_env_value.t -> t
+
+val loop_begin   : t -> (Tiger_symbol.t * t)
+val loop_end     : t ->  Tiger_symbol.t -> t
+val loop_current : t ->  Tiger_symbol.t option