From 167f8e5ee4f4e0516734c67f52c5348b90dd2b14 Mon Sep 17 00:00:00 2001
From: Rodin Aarssen <rodin.aarssen@swat.engineering>
Date: Wed, 3 Dec 2025 15:32:39 +0100
Subject: [PATCH 1/4] Using Rascal v0.41.0

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 35572fe..e87f25e 100644
--- a/pom.xml
+++ b/pom.xml
@@ -155,7 +155,7 @@
         <dependency>
             <groupId>org.rascalmpl</groupId>
             <artifactId>rascal</artifactId>
-            <version>0.41.0-RC42</version>
+            <version>0.41.0</version>
             <scope>compile</scope>
         </dependency>
         <dependency>

From 64d424149686062806898b38ddaf987c4722f4ec Mon Sep 17 00:00:00 2001
From: Rodin Aarssen <rodin.aarssen@swat.engineering>
Date: Wed, 3 Dec 2025 15:58:04 +0100
Subject: [PATCH 2/4] Bumped version of rascal-maven-plugin

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index e87f25e..5b6b9ef 100644
--- a/pom.xml
+++ b/pom.xml
@@ -59,7 +59,7 @@
                 <plugin>
                     <groupId>org.rascalmpl</groupId>
                     <artifactId>rascal-maven-plugin</artifactId>
-                    <version>0.30.0-RC24</version>
+                    <version>0.30.0</version>
                     <configuration>
                         <errorsAsWarnings>false</errorsAsWarnings>
                         <bin>${project.build.outputDirectory}</bin>

From 2b37128b286845812e274444deb48b219bdea923 Mon Sep 17 00:00:00 2001
From: Rodin Aarssen <rodin.aarssen@swat.engineering>
Date: Wed, 3 Dec 2025 15:58:39 +0100
Subject: [PATCH 3/4] Removed references to removed Symbol constructors

---
 src/lang/cpp/ASTgen.rsc | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/lang/cpp/ASTgen.rsc b/src/lang/cpp/ASTgen.rsc
index 4998c2b..e527d93 100644
--- a/src/lang/cpp/ASTgen.rsc
+++ b/src/lang/cpp/ASTgen.rsc
@@ -111,7 +111,6 @@ str type2FactoryCall(Symbol t){
       case Symbol::\map(label(l1,ti),label(l2, ti2)) : return "tf.mapType(<type2FactoryCall(ti)>,\"<l1>\", <type2FactoryCall(ti2)>, \"<l2>\")";
       case Symbol::\map(ti,ti2) : return "tf.mapType(<type2FactoryCall(ti)>,<type2FactoryCall(ti2)>)";
       case Symbol::\tuple(tis) : return "tf.tupleType(<typeList2FactoryVarArgs(tis)>)";
-      case Symbol::\rel(tis) : return "tf.relType(<typeList2FactoryVarArgs(tis)>)";
       case Symbol::\adt(str name, _) : return "_<name>";
       default: 
         throw "Do not now how to construct <t>";  
@@ -260,7 +259,6 @@ str type2FactoryCall(Symbol t){
       case \bool() : return "IBool";
       case \list(_) : return "IList";
       case \map(_,_) : return "IMap";
-      case \rel(_) : return "IRelation";
       case \set(_) : return "ISet";
       case \loc() : return "ISourceLocation";
       case \str() :  return "IString";

From 565649072cbc73844f216e1abc565e3e45689097 Mon Sep 17 00:00:00 2001
From: Rodin Aarssen <rodin.aarssen@swat.engineering>
Date: Wed, 3 Dec 2025 15:58:58 +0100
Subject: [PATCH 4/4] Fixed tc warning

---
 src/analysis/m3/LearnPrettyPrinter.rsc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/analysis/m3/LearnPrettyPrinter.rsc b/src/analysis/m3/LearnPrettyPrinter.rsc
index 026208a..bd103c9 100644
--- a/src/analysis/m3/LearnPrettyPrinter.rsc
+++ b/src/analysis/m3/LearnPrettyPrinter.rsc
@@ -42,7 +42,7 @@ str filesToPrettyPrinter(set[loc] files, type[node] grammar, node (loc) parser)
     = treesToPrettyPrinter({parser(f) | f <- files}, grammar);
 
 @synopsis{Takes a corpus of syntax trees (for the same language!) and produces Rascal code that can generate code back from ASTs.}
-str treesToPrettyPrinter(set[node] asts, type[node] grammar) {
+str treesToPrettyPrinter(set[node] asts, type[node] _grammar) {
     // First we collect some general information for quick and easy reference later
     // This the string contents of each file 
     rel[loc, str] files  = {<l.top, readFile(l.top)> | n <- asts, loc l := n.src};