add: added projectsHEADmain

1 files changed, 29 insertions, 0 deletions

diff --git a/tiger-compiler/src/type/tasks.hh b/tiger-compiler/src/type/tasks.hh
new file mode 100644
index 0000000..e6add54
--- /dev/null
+++ b/tiger-compiler/src/type/tasks.hh
@@ -0,0 +1,29 @@
+/**
+ ** \file type/tasks.hh
+ ** \brief Type module tasks.
+ */
+
+#pragma once
+
+#include <task/libtask.hh>
+
+namespace type::tasks
+{
+  TASK_GROUP("4. Type checking");
+
+  /// Default the type-checking to Tiger (without objects nor overloading).
+  DISJUNCTIVE_TASK_DECLARE("T|typed",
+                           "default the type-checking to Tiger "
+                           "(without objects nor overloading)",
+                           "types-compute"
+                           " combine-types-compute"
+                           " object-types-compute"
+                           " assert-types-compute");
+
+  /// Check for type violation.
+  TASK_DECLARE("types-compute",
+               "check for type violations",
+               types_check,
+               "bindings-compute");
+
+} // namespace type::tasks