X-Git-Url: https://git.xandkar.net/?p=tiger.ml.git;a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_semant.ml;fp=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_semant.ml;h=e372bc71594cee26f8c910765e0cfec17ccd989e;hp=3a80f211c38d11ff70650d29d3fd4f642542dda9;hb=def58eef7daa1f1a72081baf32d8e388acd9064b;hpb=0324a942124e962cba76dbb9985f49ff1fa0960a

diff --git a/compiler/src/lib/tiger/tiger_semant.ml b/compiler/src/lib/tiger/tiger_semant.ml
index 3a80f21..e372bc7 100644
--- a/compiler/src/lib/tiger/tiger_semant.ml
+++ b/compiler/src/lib/tiger/tiger_semant.ml
@@ -57,6 +57,7 @@ end = struct
     check_same {exp=(); ty=Type.Int} expty ~pos
 
   (* TODO: actual_ty *)
+  (* TODO: mutual recursion *)
 
   let rec transExp ~env exp =
     let rec trexp exp =