Trying to solve unpredictable behaviour of getCurrentRascalTplVersion

usethesource · Oct 7, 2024 · ea9d549 · ea9d549
1 parent 73dcf90
commit ea9d549
Showing 1 changed file with 5 additions and 6 deletions.
diff --git a/src/org/rascalmpl/core/library/lang/rascalcore/check/BasicRascalConfig.rsc b/src/org/rascalmpl/core/library/lang/rascalcore/check/BasicRascalConfig.rsc
@@ -110,16 +110,15 @@ public str key_grammar = "grammar";
 public str key_ADTs = "ADTs";
 public str key_common_keyword_fields = "CommonKeywordFields";
 
-str currentRascalTplVersion = "2.0.0";
-
-bool isValidRascalTplVersion(str version){
-    return equalVersion(version, currentRascalTplVersion);
-}
+bool isValidRascalTplVersion(str version)
+    = equalVersion(version, currentRascalTplVersion);
 
 str getCurrentRascalTplVersion() = currentRascalTplVersion;
 
+str currentRascalTplVersion = "2.0.0";
+
 data TModel (
-    str rascalTplVersion = getCurrentRascalTplVersion()
+    str rascalTplVersion = "2.0.0"
 );
 
 // Define alias for TypePalConfig