From 5cdaceb77af6a1d98145f8afb34ce6884e21a3d6 Mon Sep 17 00:00:00 2001
From: Eugen Wissner <belka@caraus.de>
Date: Sun, 26 Jul 2026 19:47:59 +0200
Subject:  Type check traits properly

---
 boot/dependency.cc | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'boot/dependency.cc')

diff --git a/boot/dependency.cc b/boot/dependency.cc
index dc827fa..63d3952 100644
--- a/boot/dependency.cc
+++ b/boot/dependency.cc
@@ -56,7 +56,7 @@ namespace elna::boot
         return outcome;
     }
 
-    error_list analyze_semantics(std::unique_ptr<unit>& tree, const symbol_bag& bag,
+    error_list analyze_semantics(std::unique_ptr<unit>& tree, symbol_bag& bag,
             const target_info& target)
     {
         name_analysis_visitor name_analyser(bag);
@@ -73,6 +73,13 @@ namespace elna::boot
         {
             return std::move(type_analyzer.errors());
         }
+        constant_folder folder(bag, target);
+        tree->accept(&folder);
+
+        if (folder.has_errors())
+        {
+            return std::move(folder.errors());
+        }
         return error_list{};
     }
 
-- 
cgit v1.2.3