Evolving trial cases

Author: PaulKlint

src/org/rascalmpl/core/library/lang/rascalcore/compile/Examples/Tst0.rsc

@@ -1,9 +1,5 @@
 module lang::rascalcore::compile::Examples::Tst0
- 
-           
-import util::Reflective;      
-                 
-int XX1 = 14  ;   
-int XXX = 13;
- 
-int main() = XX1; 
+
+syntax A = "a"; 
+
+value X = #A;

src/org/rascalmpl/core/library/lang/rascalcore/compile/Examples/Tst1.rsc

@@ -1,11 +1,29 @@
 module lang::rascalcore::compile::Examples::Tst1
 
-import ValueIO;
+import lang::rascalcore::check::ATypeBase;
+import lang::rascalcore::check::ATypeUtils;
 import IO;
 
-data D(bool K = false) = d1(int n);
+map[AType, set[AType]] defs = (
+  aadt(
+    "A",
+    [],
+    contextFreeSyntax()):{aprod(achoice(
+        aadt(
+          "A",
+          [],
+          contextFreeSyntax()),
+        {prod(
+            aadt(
+              "A",
+              [],
+              contextFreeSyntax()),
+            [alit("a")])}))});
 
-void main(){
-    v = readBinaryValueFile(#D, |home:///tmp.txt|);
-    println("K = <v.K>, <v.K?>");
+
+value main() {
+    res = adefinitions2definitions(defs);
+    println("main:"); iprintln(res);
+    return res;
+    //return aprod2prod(p);
 }

src/org/rascalmpl/core/library/lang/rascalcore/compile/Examples/Tst2.rsc

@@ -1,17 +1,5 @@
 //@bootstrapParser
 module lang::rascalcore::compile::Examples::Tst2
 
-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|;
-
- 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>");
-}
+extend ParseTree;
+value main() = choice(sort("A"), {choice(sort("A"),{prod(sort("A"),[lit("a")],{})})});