1 files changed, 20 insertions, 0 deletions
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