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

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

diff --git a/tiger-compiler/src/overload/type-checker.hh b/tiger-compiler/src/overload/type-checker.hh
new file mode 100644
index 0000000..719db72
--- /dev/null
+++ b/tiger-compiler/src/overload/type-checker.hh
@@ -0,0 +1,37 @@
+/**
+ ** \file overload/type-checker.hh
+ ** \brief Checking/translating an OverTiger program in a Tiger program.
+ */
+
+#pragma once
+
+#include <overload/binder.hh>
+#include <type/type-checker.hh>
+#include <type/types.hh>
+
+namespace overload
+{
+  /** \brief Perform type checking, allowing function overload, and compute
+   ** the bindings of the functions.
+   **
+   ** Inheritance is declared virtual to enable diamond inheritance with
+   ** the combine::TypeChecker (src/combine/type-checker.hh), inheriting
+   ** from overload::TypeChecker and object::TypeChecker, both inheriting from
+   ** type::TypeChecker.
+   **/
+  class TypeChecker : virtual public type::TypeChecker
+  {
+  public:
+    /// Superclass.
+    using super_type = type::TypeChecker;
+    using super_type::operator();
+
+    TypeChecker(const overfun_bindings_type& overfun_bindings);
+    virtual ~TypeChecker() = default;
+
+    // FIXME: Some code was deleted here.
+  private:
+    const overfun_bindings_type& overfun_bindings_;
+  };
+
+} // namespace overload
-- 
cgit v1.2.3