1 files changed, 19 insertions, 0 deletions
diff --git a/tiger-compiler/src/type/libtype.cc b/tiger-compiler/src/type/libtype.cc
new file mode 100644
index 0000000..50392d7
--- /dev/null
+++ b/tiger-compiler/src/type/libtype.cc
@@ -0,0 +1,19 @@
+/**
+ ** \file type/libtype.cc
+ ** \brief Define the function exported by type module.
+ */
+
+#include <ast/exp.hh>
+#include <type/libtype.hh>
+#include <type/type-checker.hh>
+
+namespace type
+{
+  misc::error types_check(ast::Ast& tree)
+  {
+    TypeChecker type;
+    type(tree);
+    return type.error_get();
+  }
+
+} // namespace type