Type check traits properly

1 files changed, 8 insertions, 1 deletions

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{};
     }