summaryrefslogtreecommitdiff
path: root/tiger-compiler/src/overload/type-checker.cc
diff options
context:
space:
mode:
authorMartial Simon <msimon_fr@hotmail.com>2025-09-15 01:07:58 +0200
committerMartial Simon <msimon_fr@hotmail.com>2025-09-15 01:07:58 +0200
commit967be9e750221ab2ab783f95df79bb26d290a45e (patch)
tree6802900a5e975f9f68b169f0f503f040056d6952 /tiger-compiler/src/overload/type-checker.cc
add: added projectsHEADmain
Diffstat (limited to 'tiger-compiler/src/overload/type-checker.cc')
-rw-r--r--tiger-compiler/src/overload/type-checker.cc21
1 files changed, 21 insertions, 0 deletions
diff --git a/tiger-compiler/src/overload/type-checker.cc b/tiger-compiler/src/overload/type-checker.cc
new file mode 100644
index 0000000..1f32113
--- /dev/null
+++ b/tiger-compiler/src/overload/type-checker.cc
@@ -0,0 +1,21 @@
+/**
+ ** \file overload/type-checker.cc
+ ** \brief Implementation for overload/type-checker.hh.
+ */
+
+#include <algorithm>
+#include <sstream>
+
+#include <misc/indent.hh>
+#include <overload/type-checker.hh>
+#include <type/types.hh>
+
+namespace overload
+{
+ TypeChecker::TypeChecker(const overfun_bindings_type& overfun_bindings)
+ : overfun_bindings_{overfun_bindings}
+ {}
+
+ // FIXME: Some code was deleted here.
+
+} // namespace overload