diff --git a/src/org/rascalmpl/compiler/lang/rascalcore/check/Checker.rsc b/src/org/rascalmpl/compiler/lang/rascalcore/check/Checker.rsc index 8f8683318e..416e3312a7 100644 --- a/src/org/rascalmpl/compiler/lang/rascalcore/check/Checker.rsc +++ b/src/org/rascalmpl/compiler/lang/rascalcore/check/Checker.rsc @@ -476,6 +476,7 @@ tuple[TModel, ModuleStatus] rascalTModelComponent(set[MODID] moduleIds, ModuleSt // ms.messages[mid] += error("Cannot get parse tree for module ``", ms.moduleLocs[mid]); //} } + if(!isEmpty(idTrees)){ if(compilerConfig.verbose) { println("Checking ... "); } diff --git a/src/org/rascalmpl/compiler/lang/rascalcore/check/Import.rsc b/src/org/rascalmpl/compiler/lang/rascalcore/check/Import.rsc index a4ab3f0ca1..043a0a7be3 100644 --- a/src/org/rascalmpl/compiler/lang/rascalcore/check/Import.rsc +++ b/src/org/rascalmpl/compiler/lang/rascalcore/check/Import.rsc @@ -99,7 +99,10 @@ ModuleStatus reportCycles(rel[MODID, PathRole, MODID]paths, rel[MODID,MODID] ext //- by checking circular dependencies // TODO: reuse enhancePathRelation from RascalConfig here ModuleStatus completeModuleStatus(ModuleStatus ms){ - paths = ms.paths; + pcfg = ms.pathConfig; + paths = visit(ms.paths){ + case loc mloc => moduleName2moduleId(getRascalModuleName(mloc, pcfg)) when !isModuleId(mloc) + }; ms = reportSelfImport(paths, ms);