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

(limited to 'tiger-compiler/src/assert/type-checker.cc')

diff --git a/tiger-compiler/src/assert/type-checker.cc b/tiger-compiler/src/assert/type-checker.cc
new file mode 100644
index 0000000..894ff6f
--- /dev/null
+++ b/tiger-compiler/src/assert/type-checker.cc
@@ -0,0 +1,21 @@
+/**
+ ** \file assert/type-checker.cc
+ ** \brief Implementation of assert::TypeChecker.
+ */
+
+#include <assert/type-checker.hh>
+
+namespace assert
+{
+
+  TypeChecker::TypeChecker() = default;
+
+  void TypeChecker::operator()(ast::AssertExp& e)
+  {
+    // FIXME DONE: Some code was deleted here. (implement method documentation)
+    check_type(e.cond_get(), "assertion", type::Int::instance());
+
+    type_default(e, &type::Void::instance());
+  }
+
+} // namespace assert
-- 
cgit v1.2.3