Reverted change

usethesource · Nov 11, 2024 · f87daa2 · f87daa2
1 parent 274f751
commit f87daa2
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/src/org/rascalmpl/core/library/lang/rascalcore/check/CheckerCommon.rsc b/src/org/rascalmpl/core/library/lang/rascalcore/check/CheckerCommon.rsc
@@ -247,11 +247,13 @@ ModuleStatus  addTModel (str qualifiedModuleName, TModel tm, ModuleStatus ms){
 
 private type[TModel] ReifiedTModel = #TModel;  // precomputed for efficiency
 
-tuple[bool, TModel, ModuleStatus] getTModelForModule(str qualifiedModuleName, ModuleStatus ms, bool convert2physical=false){
+tuple[bool, TModel, ModuleStatus] getTModelForModule(str qualifiedModuleName, ModuleStatus ms){
     if(traceTModelCache) println("getTModelForModule: <qualifiedModuleName>");
     pcfg = ms.pathConfig;
     if(ms.tmodels[qualifiedModuleName]?){
-        return <true, ms.tmodels[qualifiedModuleName], ms>;
+        tm = convertTModel2PhysicalLocs(ms.tmodels[qualifiedModuleName]);
+        ms.tmodels[qualifiedModuleName] = tm;
+        return <true, tm, ms>;
     }
     while(size(ms.tmodels) >= tmodelCacheSize && size(ms.tmodelLIFO) > 0 && ms.tmodelLIFO[-1] != qualifiedModuleName){
         ms = removeOldestTModelFromCache(ms);
@@ -264,9 +266,7 @@ tuple[bool, TModel, ModuleStatus] getTModelForModule(str qualifiedModuleName, Mo
             tm = readBinaryValueFile(ReifiedTModel, tplLoc);
             if(tm.rascalTplVersion? && isValidRascalTplVersion(tm.rascalTplVersion)){
                 tm.usesPhysicalLocs = false; // temporary
-                if(convert2physical){
-                    tm = convertTModel2PhysicalLocs(tm);
-                }
+                tm = convertTModel2PhysicalLocs(tm);
                 ms.tmodels[qualifiedModuleName] = tm;
                 mloc = getModuleLocation(qualifiedModuleName, pcfg);
                 if(isModuleLocationInLibs(qualifiedModuleName, mloc, pcfg)){