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/libtype.hh | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 tiger-compiler/src/type/libtype.hh

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

diff --git a/tiger-compiler/src/type/libtype.hh b/tiger-compiler/src/type/libtype.hh
new file mode 100644
index 0000000..01fa60e
--- /dev/null
+++ b/tiger-compiler/src/type/libtype.hh
@@ -0,0 +1,19 @@
+/**
+ ** \file type/libtype.hh
+ ** \brief Declare the function exported by type module.
+ */
+
+#pragma once
+
+#include <ast/fwd.hh>
+#include <misc/error.hh>
+
+/// Type-checking an ast::Ast.
+namespace type
+{
+  /** \brief Check types in a (bound) AST.
+   ** \param tree   abstract syntax tree's root.
+   ** \return       synthesis of the errors possibly found. */
+  misc::error types_check(::ast::Ast& tree);
+
+} // namespace type
-- 
cgit v1.2.3