From c994cb246f71eb14cdcb0a0674a82034f5f0f6eb Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Thu, 12 Feb 2026 11:45:36 +0100
Subject: [PATCH 1/3] Check body of ignored test functions

---
 .../compiler/lang/rascalcore/check/CollectDeclaration.rsc       | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/org/rascalmpl/compiler/lang/rascalcore/check/CollectDeclaration.rsc b/src/org/rascalmpl/compiler/lang/rascalcore/check/CollectDeclaration.rsc
index 430458aaeb..ac70187861 100644
--- a/src/org/rascalmpl/compiler/lang/rascalcore/check/CollectDeclaration.rsc
+++ b/src/org/rascalmpl/compiler/lang/rascalcore/check/CollectDeclaration.rsc
@@ -265,7 +265,7 @@ void collect(current: (FunctionDeclaration) `<FunctionDeclaration decl>`, Collec
     ppfname = prettyPrintName(fname);
     modifiers = ["<m>" | m <- signature.modifiers.modifiers];
     tagsMap = getTags(decl.tags);
-    if(ignoreCompiler(tagsMap)) {
+    if(ignoreCompiler(tagsMap) && "test" notin modifiers) {
         c.report(info(fname, "Ignoring function declaration for `<decl.signature.name>`"));
         return;
     }

From 32d9ba2446c7340cf2f625e2d9bb9a9baed6255e Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Thu, 12 Feb 2026 11:46:19 +0100
Subject: [PATCH 2/3] Added missing import (unrelated to PR)

---
 .../lang/rascalcore/compile/Rascal2muRascal/TypeUtils.rsc   | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/org/rascalmpl/compiler/lang/rascalcore/compile/Rascal2muRascal/TypeUtils.rsc b/src/org/rascalmpl/compiler/lang/rascalcore/compile/Rascal2muRascal/TypeUtils.rsc
index 186157ae81..3699b81896 100644
--- a/src/org/rascalmpl/compiler/lang/rascalcore/compile/Rascal2muRascal/TypeUtils.rsc
+++ b/src/org/rascalmpl/compiler/lang/rascalcore/compile/Rascal2muRascal/TypeUtils.rsc
@@ -44,7 +44,6 @@ import lang::rascalcore::check::NameUtils;
 import lang::rascalcore::compile::Rascal2muRascal::TmpAndLabel;
 
 import Location;
-import analysis::typepal::LocationChecks;
 
 import lang::rascalcore::check::BasicRascalConfig;
 import lang::rascalcore::check::BuiltinFields;
@@ -54,8 +53,7 @@ import lang::rascalcore::check::AType;
 import lang::rascalcore::check::ATypeUtils;
 
 import lang::rascalcore::check::ATypeInstantiation;
-
-
+import analysis::typepal::LocationChecks;
 
 /*
  * This module provides a bridge to the "TModel" delivered by the type checker
@@ -268,7 +266,7 @@ private loc findContainer(Define d){
     }
     return cscope;
 }
-  
+
 str findDefiningModule(loc l){
     for(ms <- module_scopes,isContainedIn(l, ms, current_tmodel.logical2physical)){
         return definitions[ms].id;

From 5b96142bab866f285e35f4d3197c6e8cccb36451 Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Thu, 12 Feb 2026 11:51:03 +0100
Subject: [PATCH 3/3] Uopgraded to typepal 0.16.4

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 4620ecd844..ba58b36098 100644
--- a/pom.xml
+++ b/pom.xml
@@ -458,7 +458,7 @@
         <dependency>
             <groupId>org.rascalmpl</groupId>
             <artifactId>typepal</artifactId>
-            <version>0.16.3</version>
+            <version>0.16.4</version>
            <!-- <scope>provided</scope> for shade plugin it can't be provided. At least the rascal dependency in typepal should be provided -->
            <scope>compile</scope>
         </dependency>