Add TODO for mutual recursion

[tiger.ml.git] / compiler / src / lib / tiger / tiger_semant.ml

diff --git a/compiler/src/lib/tiger/tiger_semant.ml b/compiler/src/lib/tiger/tiger_semant.ml
index 3a80f21..e372bc7 100644 (file)
--- 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 =