Add stub for Semant module

diff --git a/compiler/src/exe/tigerc.ml b/compiler/src/exe/tigerc.ml
index 4bf0c62..c6be0d8 100644 (file)
--- a/compiler/src/exe/tigerc.ml
+++ b/compiler/src/exe/tigerc.ml
@@ -13,6 +13,7 @@ let () =
       Printf.eprintf "%s\n" (Tiger.Error.to_string error);
       exit 1;
   | absyn ->
+      Tiger.Semant.transProg absyn;
       print_endline (Tiger.Absyn.to_string absyn)
   );
   close_in ic;

diff --git a/compiler/src/lib/tiger/tiger.ml b/compiler/src/lib/tiger/tiger.ml
index ecdb611..e3f407b 100644 (file)
--- a/compiler/src/lib/tiger/tiger.ml
+++ b/compiler/src/lib/tiger/tiger.ml
@@ -3,5 +3,6 @@ module Error        = Tiger_error
 module Lexer        = Tiger_lexer
 module Parser       = Tiger_parser
 module Parser_token = Tiger_parser_token
+module Semant       = Tiger_semant
 module Test         = Tiger_test
 module Test_cases   = Tiger_test_cases

diff --git a/compiler/src/lib/tiger/tiger_semant.ml b/compiler/src/lib/tiger/tiger_semant.ml
new file mode 100644 (file)
index 0000000..7dffbad
--- /dev/null
+++ b/compiler/src/lib/tiger/tiger_semant.ml
@@ -0,0 +1,2 @@
+let transProg _ =
+  failwith "Not implemented: Tiger_semant.transProg"

diff --git a/compiler/src/lib/tiger/tiger_semant.mli b/compiler/src/lib/tiger/tiger_semant.mli
new file mode 100644 (file)
index 0000000..58af43c
--- /dev/null
+++ b/compiler/src/lib/tiger/tiger_semant.mli
@@ -0,0 +1 @@
+val transProg : Tiger_absyn.t -> unit