1 files changed, 22 insertions, 0 deletions
diff --git a/tiger-compiler/src/type/tasks.cc b/tiger-compiler/src/type/tasks.cc
new file mode 100644
index 0000000..261e015
--- /dev/null
+++ b/tiger-compiler/src/type/tasks.cc
@@ -0,0 +1,22 @@
+/**
+ ** \file type/tasks.cc
+ ** \brief Type module task implementations.
+ */
+
+#include <ast/tasks.hh>
+#include <common.hh>
+#include <type/libtype.hh>
+#define DEFINE_TASKS 1
+#include <type/tasks.hh>
+#undef DEFINE_TASKS
+
+// Type module related tasks' implementation.
+namespace type::tasks
+{
+  void types_check()
+  {
+    task_error() << ::type::types_check(*ast::tasks::the_program)
+                 << &misc::error::exit_on_error;
+  }
+
+} // namespace type::tasks