Updated

usethesource · Nov 4, 2024 · 7e90983 · 7e90983
1 parent 79d1823
commit 7e90983
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 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
@@ -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
@@ -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;
+ 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>");
+}