From 967be9e750221ab2ab783f95df79bb26d290a45e Mon Sep 17 00:00:00 2001
From: Martial Simon <msimon_fr@hotmail.com>
Date: Mon, 15 Sep 2025 01:07:58 +0200
Subject: add: added projects

---
 tiger-compiler/src/type/tasks.hh | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)
 create mode 100644 tiger-compiler/src/type/tasks.hh

(limited to 'tiger-compiler/src/type/tasks.hh')

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
-- 
cgit v1.2.3