Generalized state

regression/test001.expr

@@ -1,3 +1,3 @@
-global x = read (), y = read (), z = x * y * 3;
+local x = read (), y = read (), z = x * y * 3;
 
 write (z)

regression/test002.expr

@@ -1,4 +1,4 @@
-global x, y, z;
+local x, y, z;
 
 x := read (); 
 y := read (); 

regression/test003.expr

@@ -1,4 +1,4 @@
-global x, y;
+local x, y;
 
 x := read ();
 y := read ();

regression/test004.expr

@@ -1,4 +1,4 @@
-global x, y, z;
+local x, y, z;
 
 x := read ();
 y := read ();

regression/test005.expr

@@ -1,4 +1,4 @@
-global x, y, z;
+local x, y, z;
 
 x := read ();
 y := read ();

regression/test006.expr

@@ -1,4 +1,4 @@
-global x, y, z;
+local x, y, z;
 
 x := read ();
 y := read ();

regression/test007.expr

@@ -1,4 +1,4 @@
-global x, y, z;
+local x, y, z;
 
 x := 1;
 y := 2;

regression/test008.expr

@@ -1,4 +1,4 @@
-global z;
+local z;
 
 z := 0 - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9;
 write (z)

regression/test009.expr

@@ -1,4 +1,4 @@
-global n = 2, k = 10;
+local n = 2, k = 10;
 
 {local res = 1;
 while k > 0 do

regression/test010.expr

@@ -1,4 +1,4 @@
-global i, s;
+local i, s;
 
 i := 0;
 s := 0; 

regression/test011.expr

@@ -1,4 +1,4 @@
-global x;
+local x;
 
 x:=0;
 if x

regression/test012.expr

@@ -1,4 +1,4 @@
-global n;
+local n;
 
 n := read ();
 while n >= 0 do

regression/test013.expr

@@ -1,4 +1,4 @@
-global n = read ();
+local n = read ();
 
 repeat
   

regression/test014.expr

@@ -1,4 +1,4 @@
-global n;
+local n;
 
 n := read ();
 

regression/test015.expr

@@ -1,4 +1,4 @@
-global s, n, p;
+local s, n, p;
 
 s := 0;
 n := read ();

regression/test016.expr

@@ -1,4 +1,4 @@
-global s, n;
+local s, n;
 
 n := read ();
 

regression/test017.expr

@@ -1,4 +1,4 @@
-global n, fib_1, fib_2, fib, i;
+local n, fib_1, fib_2, fib, i;
 
 n := read ();
 

regression/test018.expr

@@ -1,4 +1,4 @@
-global n, c, p, q, i, m, d;
+local n, c, p, q, i, m, d;
 
 n := read ();
 

regression/test019.expr

@@ -1,4 +1,4 @@
-global i, s;
+local i, s;
 
 i := 0;
 s := 0; 

regression/test020.expr

@@ -1,4 +1,4 @@
-global s, n, p;
+local s, n, p;
 
 s := 0;
 n := read ();

regression/test021.expr

@@ -1,4 +1,4 @@
-global n, f;
+local n, f;
 
 n := read ();
 f := 1;

regression/test022.expr

@@ -1,4 +1,4 @@
-global n, fib_1, fib_2, fib, i;
+local n, fib_1, fib_2, fib, i;
 
 n := read ();
 

regression/test023.expr

@@ -1,4 +1,4 @@
-global s, n;
+local s, n;
 
 s := 0;
 

regression/test024.expr

@@ -6,7 +6,7 @@ fun test2 (b) {
   a := b
 }
 
-global x, a, b;
+local x, a, b;
 
 x := read ();
 

regression/test025.expr

@@ -1,4 +1,4 @@
-global x, a, b, c;
+local x, a, b, c;
 
 fun test1 (a) {
   write (a)

regression/test026.expr

@@ -1,4 +1,4 @@
-global x, a, b, c;
+local x, a, b, c;
 
 fun test1 (a) {
   write (a);

regression/test027.expr

@@ -1,4 +1,4 @@
-global x, a, b, c;
+local x, a, b, c;
 
 fun print () {
   write (a);

regression/test028.expr

@@ -1,4 +1,4 @@
-global n, i, result;
+local n, i, result;
 
 fun fact (n) {
   if n <= 1

regression/test029.expr

@@ -1,4 +1,4 @@
-global i, n, result;
+local i, n, result;
 
 fun fib (n) {
   local r;

regression/test030.expr

@@ -1,4 +1,4 @@
-global n, i;
+local n, i;
 
 fun fib (n) {
   if n <= 1

regression/test031.expr

@@ -1,4 +1,4 @@
-global n, i;
+local n, i;
 
 fun fact (n) {
   if n <= 1

regression/test032.expr

@@ -1,4 +1,4 @@
-global x, m, n;
+local x, m, n;
 
 fun ack (m, n) {
   if m == 0 then return (n+1)

regression/test033.expr

@@ -1,4 +1,4 @@
-global x;
+local x;
 
 fun test (n, m) {
   local i, s;

regression/test034.expr

@@ -1,4 +1,4 @@
-global n, x, i;
+local n, x, i;
 
 fun printString (x) {
   for i:=0, i<x.length, i:=i+1 do

regression/test035.expr

@@ -1,4 +1,4 @@
-global n, x, i;
+local n, x, i;
 
 fun printArray (x) {
   local elem;

regression/test036.expr

@@ -1,4 +1,4 @@
-global x, y, i, j;
+local x, y, i, j;
 
 fun printAS (x) {
   local i, j;

regression/test037.expr

@@ -1,4 +1,4 @@
-global n, x, i;
+local n, x, i;
 
 fun sort (x) {
   local i, j, y, n;

regression/test038.expr

@@ -1,4 +1,4 @@
-global n, x, y;
+local n, x, y;
 
 fun append (x, y) {
     case x of

regression/test039.expr

@@ -1,4 +1,4 @@
-global n, t;
+local n, t;
 
 fun insert (t, x) {
   case t of

regression/test040.expr

@@ -1,4 +1,4 @@
-global x;
+local x;
 
 fun f (x) {
   case x of

regression/test041.expr

@@ -1,4 +1,4 @@
-global x;
+local x;
 
 fun f (a) {
   case a of

regression/test042.expr

@@ -1,4 +1,4 @@
-global x, y, i;
+local x, y, i;
 
 fun f (x) {
   case x of

regression/test043.expr

@@ -1,4 +1,4 @@
-global x;
+local x;
 
 fun sum (x) {
   case x of

regression/test044.expr

@@ -1,4 +1,4 @@
-global x, y, z;
+local x, y, z;
 
 fun zip (x) {
   case x of Pair (x, y) ->

regression/test045.expr

@@ -1,4 +1,4 @@
-global x;
+local x;
 
 fun printString (s) {
   local i;

regression/test046.expr

@@ -1,4 +1,4 @@
-global n;
+local n;
 
 n := read ();
 

regression/test047.expr

@@ -1,4 +1,4 @@
-global n;
+local n;
 
 fun collect_ints_acc (v, tail) {
   local i;

regression/test048.expr

@@ -1,4 +1,4 @@
-global n, y;
+local n, y;
 
 fun test (n, m) {
   local i, s;

regression/test049.expr

@@ -1,4 +1,4 @@
-global n, y, y2, t;
+local n, y, y2, t;
 
 fun test (n, m) {
   local i, s;

regression/test050.expr

@@ -1,4 +1,4 @@
-global n, x, y;
+local n, x, y;
 
 n := read ();
 x := [1];

regression/test051.expr

@@ -1,4 +1,4 @@
-global n;
+local n;
 
 fun sum (l) {
   case l of

regression/test052.expr

@@ -1,4 +1,4 @@
-global n;
+local n;
 
 fun hd (l) {
   case l of

regression/test053.expr

@@ -1,4 +1,4 @@
-global n;
+local n;
 
 infix "===" at "==" (v1, v2) {
   local s1, s2, i;

regression/test054.expr

@@ -1,4 +1,4 @@
-global x, y, z, s, i, n;
+local x, y, z, s, i, n;
 
 x := y := z := 105;
 

src/Driver.ml

@@ -8,7 +8,7 @@ let parse infile =
     "while"; "do"; "od";
     "repeat"; "until";
     "for";
-    "fun"; "local"; "return"; "global";
+    "fun"; "local"; "return"; 
     "length";
     "string";
     "case"; "of"; "esac"; "when";

src/Language.ml

@@ -119,8 +119,8 @@ module State =
     (* State: global state, local state, scope variables *)
     type 'a t =
     | I
-    | G of (string * bool) list * (string -> ('a, 'a t) Value.t)
+    | G of (string * bool) list * (string -> 'a)
-    | L of (string * bool) list * (string -> ('a, 'a t) Value.t) * 'a t
+    | L of (string * bool) list * (string -> 'a) * 'a t
       
     (* Undefined state *)
     let undefined x = failwith (Printf.sprintf "Undefined variable: %s" x)
@@ -265,7 +265,8 @@ module Expr =
     (* The type of configuration: a state, an input stream, an output stream,
        and a stack of values
     *)
-    type 'a config = 'a State.t * int list * int list * ('a, 'a State.t) Value.t list
+    type 'a value  = ('a, 'a value State.t) Value.t
+    type 'a config = 'a value State.t * int list * int list * 'a value list
 
     (* The type for expressions. Note, in regular OCaml there is no "@type..."
        notation, it came from GT.
@@ -770,8 +771,8 @@ module Definition =
           | `Fail msg  -> raise (Semantic_error msg)
       };
       local_var[infix][expr][def]: name:LIDENT value:(-"=" expr[def][infix][Expr.Val])? {name, `Variable value};
-      parse[kind][infix][expr][def]:
+      parse[infix][expr][def]:
-        kind locs:!(Util.list (local_var infix expr def)) ";" {locs, infix}
+        %"local" locs:!(Util.list (local_var infix expr def)) ";" {locs, infix}
       | <(name, infix')> : head[infix] "(" args:!(Util.list0 arg) ")"
          body:expr[def][infix'][Expr.Void] {
            [(name, `Fun (args, body))], infix'
@@ -797,10 +798,8 @@ let eval expr i =
 
 (* Top-level parser *)
 ostap (
-  parse[infix]: !(Expr.scope (definitions global) infix Expr.Void (Expr.parse (definitions local)));
+  parse[infix]: !(Expr.scope definitions infix Expr.Void (Expr.parse definitions));
-  local: %"local" {`Local};
+  definitions[infix]:
-  global: %"global" {`Global};
+    <(def, infix')> : !(Definition.parse infix Expr.basic definitions) <(defs, infix'')> : definitions[infix'] {def @ defs, infix''}
-  definitions[kind][infix]:
-    <(def, infix')> : !(Definition.parse kind infix Expr.basic (definitions local)) <(defs, infix'')> : definitions[kind][infix'] {def @ defs, infix''}
   | empty {[], infix}
 )