From d12e98c668f46020eb4d5a1d50e00d4b772f08d0 Mon Sep 17 00:00:00 2001
From: miguelis <miguelis@ucm.es>
Date: Sat, 20 Apr 2024 10:39:46 +0200
Subject: [PATCH] If the main component is a function, we report an errorm and
 then we do not check if it has tags.

---
 type_analysis/src/analyzers/type_check.rs | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/type_analysis/src/analyzers/type_check.rs b/type_analysis/src/analyzers/type_check.rs
index c1bd56a3f..a4d329db0 100644
--- a/type_analysis/src/analyzers/type_check.rs
+++ b/type_analysis/src/analyzers/type_check.rs
@@ -85,9 +85,7 @@ pub fn type_check(program_archive: &ProgramArchive) -> Result<OutInfo, ReportCol
             initial_expression.get_meta(),
             &mut analysis_information.reports,
         );
-    }
-
-    if check_main_has_tags(initial_expression, program_archive) {
+    } else if check_main_has_tags(initial_expression, program_archive) {
             add_report(
                 ReportCode::MainComponentWithTags,
                 initial_expression.get_meta(),