From 7e90983c7f5f99d44c1727f9b3133df95e245cc5 Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Mon, 4 Nov 2024 14:45:41 +0100
Subject: [PATCH] Updated

---
 .../lang/rascalcore/check/TestConfigs.rsc        |  2 +-
 .../lang/rascalcore/compile/Examples/Tst2.rsc    | 16 ++++++++++++----
 2 files changed, 13 insertions(+), 5 deletions(-)

diff --git a/src/org/rascalmpl/core/library/lang/rascalcore/check/TestConfigs.rsc b/src/org/rascalmpl/core/library/lang/rascalcore/check/TestConfigs.rsc
index fc81e862..085431f5 100644
--- a/src/org/rascalmpl/core/library/lang/rascalcore/check/TestConfigs.rsc
+++ b/src/org/rascalmpl/core/library/lang/rascalcore/check/TestConfigs.rsc
@@ -15,7 +15,7 @@ data PathConfig(
 // ----  Various PathConfigs  ---------------------------------------------
 
 loc REPO =        |file:///Users/paulklint/git/|;
-loc RASCAL_JAR  = |jar+file:///Users/paulklint/.m2/repository/org/rascalmpl/rascal/0.40.8/rascal-0.40.8.jar!/|;
+loc RASCAL_JAR  = |jar+file:///Users/paulklint/.m2/repository/org/rascalmpl/rascal/0.40.8-SNAPSHOT/rascal-0.40.8-SNAPSHOT.jar!/|;
 loc TYPEPAL_JAR = |jar+file:///Users/paulklint/.m2/repository/org/rascalmpl/typepal/0.14.8-SNAPSHOT/typepal-0.14.8-SNAPSHOT.jar!/|;
 // ---- PathConfigs for testing purposes --------------------------------------
 
diff --git a/src/org/rascalmpl/core/library/lang/rascalcore/compile/Examples/Tst2.rsc b/src/org/rascalmpl/core/library/lang/rascalcore/compile/Examples/Tst2.rsc
index 850a1e91..3e8bead3 100644
--- a/src/org/rascalmpl/core/library/lang/rascalcore/compile/Examples/Tst2.rsc
+++ b/src/org/rascalmpl/core/library/lang/rascalcore/compile/Examples/Tst2.rsc
@@ -1,9 +1,17 @@
 //@bootstrapParser
 module lang::rascalcore::compile::Examples::Tst2
 
-import lang::rascalcore::compile::Examples::Tst1;
+import IO;
+import ValueIO;
+extend lang::rascalcore::check::CheckerCommon;
 
+loc EXCEPTIONTPL1
+ = |jar+file:///Users/paulklint/.m2/repository/org/rascalmpl/rascal/0.40.8-SNAPSHOT/rascal-0.40.8-SNAPSHOT.jar!rascal/$Exception.tpl|;
 
-
-
-public int T2 = T1 + 2;
\ No newline at end of file
+ loc VersionTPL = |file:///Users/paulklint/git/generated-sources/target/typepal/generated-resources/src/main/java/rascal/analysis/typepal/$Version.tpl|;
+ void main(){
+    tm = readBinaryValueFile(#TModel, VersionTPL);
+    iprintln(tm.logical2physical);
+    println("usesPhysicalLocs: <tm.usesPhysicalLocs?>, <tm has usesPhysicalLocs>, <tm.usesPhysicalLocs>");
+ //   println("convertedToPhysical: <tm.convertedToPhysical?>, <tm has convertedToPhysical>, <tm.convertedToPhysical>");
+}
\ No newline at end of file