new example of simplification

boot.mc

@@ -1,8 +1,4 @@
 @{
-    createList() {
-      return {};
-    }
-
     append(s, e) {
       s[length(s)] = e;
     }

ccmeta.leg

@@ -1368,6 +1368,7 @@ integerConstant     = < ( hexadecimalConstant
                         | decimalConstant
                         ) integerSuffix? 
                       >           { $$= new_C_int(yytext); } -
+                    | META_AT mvalue
 
 decimalConstant     = [1-9][0-9]*
 
@@ -2177,7 +2178,7 @@ mstmts        = ( s:eval_stmt )*  ( META_NIL META_SEMICOLON META_RCB  { $$= null
                                   |                         META_RCB  { $$= s }
                                   )
 
-eval_stmt =  s:meta_stmt  { $$= eval(globals, s) }
+eval_stmt =  s:meta_stmt  { $$= eval(globals, s) }  
 
 meta_stmt   =   s:meta_block                                                                        { $$= s }
             |   META_SEMICOLON                                                                      { $$= null }

tests-parsimony/003.c → tests-parsimony/parsimony-lang/003.c

@@ -11,7 +11,19 @@
 int main()
 { 
     @{
-      l = createList();
+      l = {};
+      append(l, forLoop);
+      if (useForLoop) { 
+        append(l, forLoop);
+      } else { 
+        append(l, whileLoop); 
+      }
+      l;
+    };
+    @{
+      l = {};
+      useForLoop = 0;
+      append(l, forLoop);
       if (useForLoop) { 
         append(l, forLoop);
       } else { 

tests-parsimony/005.c → tests-parsimony/parsimony-lang/005.c

@@ -1,7 +1,7 @@
 @{import("boot.mc");}
 
 @{
-  l = createList();
+  l = {};
   append(l, `declaration int a = 5;);
   append(l, `declaration int b = 2;);
   l;
@@ -9,7 +9,7 @@
 
 int main() {
   @{
-    l = createList();
+    l = {};
     a = (`declaration int a = 2;);
     append(l, `declaration int c = 5;);
     b = 5;

tests-parsimony/006.c → tests-parsimony/parsimony-lang/006.c

@@ -1,7 +1,7 @@
 @{import("boot.mc");}
 
 @{
-  l = createList();
+  l = {};
   append(l, `declaration int a = 5;);
   a = (`declaration int a = 5;);
   append(l, `declaration int a = 5;);
@@ -19,7 +19,7 @@ int main() {
   @a;
   int b = 0;
   @{
-    l = createList();
+    l = {};
     append(l, `declaration int c = 0;);
     x = (`declaration int d = 5;);
     append(l, x);

tests-parsimony/007.c → tests-parsimony/parsimony-lang/007.c

@@ -1,7 +1,7 @@
 @{import("boot.mc");}
 
 @{
-  l = createList();
+  l = {};
   append(l, `declaration int a = 0;);
   a = (`declaration int b = 0;);
   append(l, a);

tests-parsimony/map.c → tests-parsimony/parsimony-lang/map.c

@@ -1,28 +1,5 @@
 @{import("boot.mc");}
 
-@{
-    toChar(foo) {
-        "\"type :"+foo+"\"";
-    }
-    p2(foo) {
-        foo * foo;
-    }
-    c = ["earth", "sky", "water"];
-    isSky(x) { x == "sky" }
-    c = reject(isSky, c);  
-    nil;
-}
-
-@{
-  print(map(p2, [100, 2, 3]));
-  nil;  
-}
-
-@{
-  print(map(toChar, c));
-  nil;
-}
-
 enum foo { A, B, C };
 enum oof { A, B, C };
 

tests-parsimony/projExample.c

@@ -8,4 +8,4 @@ enum foo { Closed = 0, ReadOnly = 1, WriteOnly = 2 };
   nil;
 }
 
-static char ∗stateNames[] = { @(map(idToString, properties.enums.foo.enumList, notToken)) };
+static char *stateNames[] = { @(map(idToString, properties.enums.foo.enumList, notToken)) };