From a27148e5d9009cf4ee00e089cfdbc19b2f9788f0 Mon Sep 17 00:00:00 2001
From: Toine Hartman <toine.hartman@swat.engineering>
Date: Fri, 3 Apr 2026 16:45:09 +0200
Subject: [PATCH 1/3] Summary overload given TPL location

---
 .../compiler/lang/rascalcore/check/Summary.rsc | 18 +++++++++++-------
 1 file changed, 11 insertions(+), 7 deletions(-)

diff --git a/src/org/rascalmpl/compiler/lang/rascalcore/check/Summary.rsc b/src/org/rascalmpl/compiler/lang/rascalcore/check/Summary.rsc
index 9d3db075815..88f53c78196 100644
--- a/src/org/rascalmpl/compiler/lang/rascalcore/check/Summary.rsc
+++ b/src/org/rascalmpl/compiler/lang/rascalcore/check/Summary.rsc
@@ -104,19 +104,23 @@ ModuleSummary makeSummary(TModel tm, str qualifiedModuleName) {
         [vocabulary=getVocabulary(tm)]
         [synopses=synopses]
         [docLocs=docLocs];
-}    
-    
+}
+
+ModuleSummary makeSummary(str qualifiedModuleName, loc tplLoc) {
+    try {
+        return makeSummary(readBinaryValueFile(#TModel, tplLoc), qualifiedModuleName);
+    } catch IO(_): {
+        return moduleSummary();
+    }
+}
+
 @doc{
 .Synopsis
 Make a ModuleSummary.
 }
 ModuleSummary makeSummary(str qualifiedModuleName, PathConfig pcfg){
     if(<true, tplLoc> := getTPLReadLoc(qualifiedModuleName, pcfg)){
-        try {
-            return makeSummary(readBinaryValueFile(#TModel, tplLoc), qualifiedModuleName);
-        } catch IO(_): {
-            return moduleSummary();
-        }
+        return makeSummary(qualifiedModuleName, tplLoc);
     }
     else {
         return moduleSummary();

From da3e8a01b779bb5d9cfe630094a561a3c1fd615a Mon Sep 17 00:00:00 2001
From: Toine Hartman <toine.hartman@swat.engineering>
Date: Fri, 3 Apr 2026 16:48:03 +0200
Subject: [PATCH 2/3] Remove commented import.

---
 src/org/rascalmpl/compiler/lang/rascalcore/check/Summary.rsc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/org/rascalmpl/compiler/lang/rascalcore/check/Summary.rsc b/src/org/rascalmpl/compiler/lang/rascalcore/check/Summary.rsc
index 88f53c78196..9ca3632fe38 100644
--- a/src/org/rascalmpl/compiler/lang/rascalcore/check/Summary.rsc
+++ b/src/org/rascalmpl/compiler/lang/rascalcore/check/Summary.rsc
@@ -44,7 +44,6 @@ import IO;
 import Relation;
 import String;
 import ValueIO;
-// import lang::rascalcore::CompilerPathConfig;
 
 // Duplicate in lang::rascalcore::compile::util::Names, factor out
 data PathConfig(

From 76fc32234d49da38eec750c667ee6f57d8960070 Mon Sep 17 00:00:00 2001
From: Toine Hartman <toine.hartman@swat.engineering>
Date: Fri, 3 Apr 2026 16:55:47 +0200
Subject: [PATCH 3/3] Refactor doc tags.

---
 .../lang/rascalcore/check/Summary.rsc         | 32 ++++---------------
 1 file changed, 7 insertions(+), 25 deletions(-)

diff --git a/src/org/rascalmpl/compiler/lang/rascalcore/check/Summary.rsc b/src/org/rascalmpl/compiler/lang/rascalcore/check/Summary.rsc
index 9ca3632fe38..47433ff8ce3 100644
--- a/src/org/rascalmpl/compiler/lang/rascalcore/check/Summary.rsc
+++ b/src/org/rascalmpl/compiler/lang/rascalcore/check/Summary.rsc
@@ -52,11 +52,8 @@ data PathConfig(
     loc generatedTestResources =|unknown:///|
 );
 
-@doc{
-.Synopsis
-Summary of a Rascal module for use in IDE
-
-.Description
+@synopsis{Summary of a Rascal module for use in IDE}
+@description{
 A `ModuleSummary` summarizes a Rascal module for the benefit of IDE support like
 * Show type of current symbol.
 * Goto definition.
@@ -113,10 +110,7 @@ ModuleSummary makeSummary(str qualifiedModuleName, loc tplLoc) {
     }
 }
 
-@doc{
-.Synopsis
-Make a ModuleSummary.
-}
+@synopsis{Make a ModuleSummary.}
 ModuleSummary makeSummary(str qualifiedModuleName, PathConfig pcfg){
     if(<true, tplLoc> := getTPLReadLoc(qualifiedModuleName, pcfg)){
         return makeSummary(qualifiedModuleName, tplLoc);
@@ -126,34 +120,22 @@ ModuleSummary makeSummary(str qualifiedModuleName, PathConfig pcfg){
     }
 }
 
-@doc{
-.Synopsis
-Get all definitions for a given use.
-}
+@synopsis{Get all definitions for a given use.}
 set[loc] getDefinitions(ModuleSummary summary, loc use){
     return summary.useDef[use] ? {};
 }
 
-@doc{
-.Synopsis
-Get the (pretty printed) type for a given use.
-}
+@synopsis{Get the (pretty printed) type for a given use.}
 str getType(ModuleSummary summary, loc use){
     return summary.locationTypes[use] ? "";
 }
 
-@doc{
-.Synopsis
-Get all definitions for a given definition.
-}
+@synopsis{Get all definitions for a given definition.}
 set[loc] getUses(ModuleSummary s, loc def){
     return invert(s.useDef)[def];
 }
 
-@doc{
-.Synopsis
-Get the doc string for a given definition.
-}
+@synopsis{Get the doc string for a given definition.}
 str getDocForDefinition(loc def){
     try {
         d = readFile(def);