From d078e49838d84a216361a8ce70fbb8578bf8bd9c Mon Sep 17 00:00:00 2001 From: paulklint Date: Mon, 25 May 2026 21:15:54 +0200 Subject: [PATCH] Enforce that first argument of ModuleMessages is a logical loc --- src/org/rascalmpl/compiler/lang/rascalcore/check/Checker.rsc | 2 +- 1 file changed, 1 insertion(+), 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 a6363b66e7c..16c8ca3a063 100644 --- a/src/org/rascalmpl/compiler/lang/rascalcore/check/Checker.rsc +++ b/src/org/rascalmpl/compiler/lang/rascalcore/check/Checker.rsc @@ -587,7 +587,7 @@ list[ModuleMessages] check(list[loc] moduleLocs, RascalCompilerConfig compilerCo list[ModuleMessages] reportModuleMessages(ModuleStatus ms){ moduleIds = domain(ms.moduleLocs); messagesNoModule = {*ms.messages[mid] | MODID mid <- ms.messages, (mid notin moduleIds || mid notin ms.moduleLocs)} + toSet(ms.pathConfig.messages); - msgs = [ program(ms.moduleLocs[mid], (ms.messages[mid] ? {}) + messagesNoModule) | MODID mid <- moduleIds ]; + msgs = [ program(mid, (ms.messages[mid] ? {}) + messagesNoModule) | MODID mid <- moduleIds ]; if(isEmpty(msgs) && !isEmpty(messagesNoModule)){ msgs = [ program(|unknown:///|, messagesNoModule) ]; }