From a069bfdedeba5c10ce13e83811f890a66b0d15ea Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Wed, 28 Jan 2026 22:03:06 +0100
Subject: [PATCH] Fix how module names are printed in jobStep

Fixes https://github.com/usethesource/rascal/issues/2610
---
 .../rascalmpl/compiler/lang/rascalcore/check/Checker.rsc   | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/org/rascalmpl/compiler/lang/rascalcore/check/Checker.rsc b/src/org/rascalmpl/compiler/lang/rascalcore/check/Checker.rsc
index d72285c16a..8f8683318e 100644
--- a/src/org/rascalmpl/compiler/lang/rascalcore/check/Checker.rsc
+++ b/src/org/rascalmpl/compiler/lang/rascalcore/check/Checker.rsc
@@ -234,7 +234,12 @@ ModuleStatus rascalTModelForLocs(
           
             component = module2component[ordered[mi]];
             sizeComponent = size(component);
-            componentNames = [moduleId2moduleName(c) | c <- component];
+            componentNames =
+                for(c <- component){
+                    cstr = "<c.path>";
+                    append replaceAll(cstr[0] == "/" ? cstr[1..] : cstr, "/", "::");         
+                };
+            
             jobStep(jobName, intercalate(" + ", [*componentNames]), work=size(componentNames));
 
             recheck = !all(m <- component, m in ms.status, (tpl_uptodate() in ms.status[m] || checked() in ms.status[m]));