From 5a3479985818dbb9d7b4c80204842762ed578b4a Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Mon, 30 Sep 2024 10:52:35 +0200
Subject: [PATCH] Moving around code for isValidRascalTplVersion

---
 .../lang/rascalcore/check/RascalConfig.rsc     | 18 ++++++++++--------
 1 file changed, 10 insertions(+), 8 deletions(-)

diff --git a/src/org/rascalmpl/core/library/lang/rascalcore/check/RascalConfig.rsc b/src/org/rascalmpl/core/library/lang/rascalcore/check/RascalConfig.rsc
index 6a97c8df..02260161 100644
--- a/src/org/rascalmpl/core/library/lang/rascalcore/check/RascalConfig.rsc
+++ b/src/org/rascalmpl/core/library/lang/rascalcore/check/RascalConfig.rsc
@@ -12,6 +12,8 @@ import lang::rascalcore::check::ADTandGrammar;
 import lang::rascal::\syntax::Rascal;
 import lang::rascalcore::compile::muRascal::AST;
 
+import lang::rascalcore::check::CheckerCommon;
+
 import Location;
 import util::Reflective;
 import util::SemVer;
@@ -457,17 +459,17 @@ loc rascalCreateLogicalLoc(Define def, str _modelName, PathConfig pcfg){
      return def.defined;
 }
 
-private str currentRascalTplVersion = "2.0.0";
+// private str currentRascalTplVersion = "2.0.0";
 
-bool isValidRascalTplVersion(str version){
-    return equalVersion(version, currentRascalTplVersion);
-}
+// bool isValidRascalTplVersion(str version){
+//     return equalVersion(version, currentRascalTplVersion);
+// }
 
-str getCurrentRascalTplVersion() = currentRascalTplVersion;
+// str getCurrentRascalTplVersion() = currentRascalTplVersion;
 
-data TModel (
-    str rascalTplVersion = "0.0.0"
-);
+// data TModel (
+//     str rascalTplVersion = "0.0.0"
+// );
 
 RascalCompilerConfig rascalCompilerConfig(PathConfig pcfg,