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

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

diff --git a/tiger-compiler/src/combine/type-checker.hh b/tiger-compiler/src/combine/type-checker.hh
new file mode 100644
index 0000000..02370d2
--- /dev/null
+++ b/tiger-compiler/src/combine/type-checker.hh
@@ -0,0 +1,20 @@
+/**
+ ** \file combine/type-checker.hh
+ ** \brief Declaration of combine::TypeChecker.
+ */
+
+#pragma once
+
+#include <object/type-checker.hh>
+#include <overload/binder.hh>
+#include <overload/type-checker.hh>
+#include <type/class.hh>
+#include <type/types.hh>
+
+namespace combine
+{
+  /// Perform type checking, allowing objects, and compute
+  /// the bindings of the object's methods and fields.
+  // FIXME: Some code was deleted here (class TypeChecker inheriting from overload::TypeChecker and object::TypeChecker).
+
+} // namespace combine
-- 
cgit v1.2.3