Rename URM types and fix urm_from_eurm signature

10 files changed, 100 insertions, 108 deletions

diff --git a/src/common.mli b/src/common.mli
index 4fa838d..1e32d57 100644
--- a/src/common.mli
+++ b/src/common.mli
@@ -44,4 +44,3 @@ type urm = {
 type state = { todo : int }
 
 exception Syntax_error
-
diff --git a/src/eurm.ml b/src/eurm.ml
index c571384..7d6c2c6 100644
--- a/src/eurm.ml
+++ b/src/eurm.ml
@@ -11,12 +11,12 @@ let compile_stage2 eurmcmds state = eurmcmds, state
 let compile_stage3 eurmcmds state = eurmcmds, state
 let compile_stage4 eurmcmds state = [URMZero(0)], state
 
-let urm_from_eurm =
+let urm_from_eurm eurmcmds =
   let chain transform (eurmcmds, compile_state) = transform eurmcmds compile_state
   and initial_state = 0
-  in (compile_preprocess, initial_state)
+  in (compile_preprocess eurmcmds, initial_state)
      |> chain compile_stage1
      |> chain compile_stage2
      |> chain compile_stage3
      |> chain compile_stage4
-
+     |> fst
diff --git a/src/eurml.mli b/src/eurm.mli
index 8fd8ef1..e467fd6 100644
--- a/src/eurml.mli
+++ b/src/eurm.mli
@@ -22,4 +22,3 @@ val compile_stage4 : eurmcmd list -> state -> urmcmd list * state
 
 (* Transcompiles an EURM instruction sequence into URM *)
 val urm_from_eurm : eurmcmd list -> urmcmd list
-
diff --git a/src/eurml_test.ml b/src/eurm_test.ml
index 7dc6e5e..afecf9e 100644
--- a/src/eurml_test.ml
+++ b/src/eurm_test.ml
@@ -72,4 +72,3 @@ let () =
          Assert.is_true (output_urm = expected_urm))
 
 let () = if Array.mem "run-tests" Sys.argv then Test.launch_tests ()
-
diff --git a/src/instptr.ml b/src/instptr.ml
index 0311a00..9006b66 100644
--- a/src/instptr.ml
+++ b/src/instptr.ml
@@ -25,10 +25,10 @@ let instptr_get = function
 
 let instptr_string instptr =
   let string_of_inst = function
-    | Zero(a) -> "Zero " ^ (string_of_int a)
-    | Succ(a) -> "Succ " ^ (string_of_int a)
-    | Copy(a, b) -> "Copy " ^ (string_of_int a) ^ " " ^ (string_of_int b)
-    | Jump(a, b, c) -> "Jump " ^ (string_of_int a) ^ " " ^ (string_of_int b) ^ " " ^ (string_of_int c)
+    | URMZero(a) -> "URMZero " ^ (string_of_int a)
+    | URMSucc(a) -> "URMSucc " ^ (string_of_int a)
+    | URMCopy(a, b) -> "URMCopy " ^ (string_of_int a) ^ " " ^ (string_of_int b)
+    | URMJump(a, b, c) -> "URMJump " ^ (string_of_int a) ^ " " ^ (string_of_int b) ^ " " ^ (string_of_int c)
   in let string_of_instptr (l, inst) = (string_of_int l) ^ ": " ^ string_of_inst inst
   in try string_of_instptr (instptr_get instptr) with _ -> "null"
 
@@ -40,4 +40,3 @@ let rec instptr_jump ptr offset = match offset with
   | 0 -> ptr
   | _ when offset > 0 -> instptr_jump (instptr_move_up ptr) (offset - 1)
   | _ -> instptr_jump (instptr_move_down ptr) (offset + 1)
-
diff --git a/src/main.ml b/src/main.ml
index 2f8d57c..3e66645 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -27,4 +27,3 @@ let () = match Sys.argv with
   | [| _; "run-tests" |] -> () (* handled in test files *)
   | [| _; mode; prgm; regs |] -> run (run_mode_of_string mode) (read_prgm prgm) (read_regs regs)
   | _ -> print_endline "Usage: urm <run-tests | run <prgmfile> <regfile> | trace <prgmfile> <regfile>>"
-
diff --git a/src/parser.ml b/src/parser.ml
index 1f367d1..0bc1be6 100644
--- a/src/parser.ml
+++ b/src/parser.ml
@@ -14,10 +14,10 @@ let rec string_of_file f =
 let rec program_of_lex = function
   | [] -> []
   | instr :: tail -> match (String.lowercase_ascii instr) :: tail with
-    | "zero" :: arg_1 :: tail -> (Zero (int_of_string arg_1)) :: (program_of_lex tail)
-    | "succ" :: arg_1 :: tail -> (Succ (int_of_string arg_1)) :: (program_of_lex tail)
-    | "copy" :: arg_1 :: arg_2 :: tail -> (Copy ((int_of_string arg_1), (int_of_string arg_2))) :: (program_of_lex tail)
-    | "jump" :: arg_1 :: arg_2 :: arg_3 :: tail -> (Jump ((int_of_string arg_1), (int_of_string arg_2), (int_of_string arg_3))) :: (program_of_lex tail)
+    | "zero" :: arg_1 :: tail -> (URMZero (int_of_string arg_1)) :: (program_of_lex tail)
+    | "succ" :: arg_1 :: tail -> (URMSucc (int_of_string arg_1)) :: (program_of_lex tail)
+    | "copy" :: arg_1 :: arg_2 :: tail -> (URMCopy ((int_of_string arg_1), (int_of_string arg_2))) :: (program_of_lex tail)
+    | "jump" :: arg_1 :: arg_2 :: arg_3 :: tail -> (URMJump ((int_of_string arg_1), (int_of_string arg_2), (int_of_string arg_3))) :: (program_of_lex tail)
     | _ -> raise Syntax_error
 
 (* FIXME: reject multiple definition of a single register *)
@@ -29,4 +29,3 @@ let rec regs_of_lex = function
 let seq_from_string lexer_func str =  Str.split (Str.regexp "[\t\n(), ]+") str |> lexer_func
 let program_of_string = seq_from_string program_of_lex
 let regs_of_string = seq_from_string regs_of_lex
-
diff --git a/src/parser.mli b/src/parser.mli
index f7609f9..21fc940 100644
--- a/src/parser.mli
+++ b/src/parser.mli
@@ -19,4 +19,3 @@ val program_of_string : string -> urmcmd list
 
 (* Parses the string representation of serialized registers. *)
 val regs_of_string : string -> reg list
-
diff --git a/src/urm.ml b/src/urm.ml
index 3b7068b..4802db5 100644
--- a/src/urm.ml
+++ b/src/urm.ml
@@ -15,11 +15,11 @@ let urm_move_down urm = { instptr = instptr_move_down urm.instptr ; regs = urm.r
 (* Applies the current instruction pointed by the pointer of instruction. Modifies the pointer of instruction for every instruction *)
 let urm_apply urm =
   let aux = function
-    | _, Zero(a) -> { instptr = urm.instptr ; regs = regs_set (urm.regs) a 0 } |> urm_move_down
-    | _, Copy(a, b) when a != b -> { instptr = urm.instptr ; regs = regs_set urm.regs a (regs_get urm.regs b) } |> urm_move_down
-    | _, Copy(a, b) -> failwith "Copy from one register to itself"
-    | _, Succ(a) -> { instptr = urm.instptr ; regs = regs_set urm.regs a ((regs_get urm.regs a) + 1) } |> urm_move_down
-    | _, Jump(a, b, c) when (regs_get urm.regs a) = (regs_get urm.regs b) -> { instptr = (instptr_jump urm.instptr (fst (instptr_get urm.instptr) - c)) ; regs = urm.regs }
+    | _, URMZero(a) -> { instptr = urm.instptr ; regs = regs_set (urm.regs) a 0 } |> urm_move_down
+    | _, URMCopy(a, b) when a != b -> { instptr = urm.instptr ; regs = regs_set urm.regs a (regs_get urm.regs b) } |> urm_move_down
+    | _, URMCopy(a, b) -> failwith "Copy from one register to itself"
+    | _, URMSucc(a) -> { instptr = urm.instptr ; regs = regs_set urm.regs a ((regs_get urm.regs a) + 1) } |> urm_move_down
+    | _, URMJump(a, b, c) when (regs_get urm.regs a) = (regs_get urm.regs b) -> { instptr = (instptr_jump urm.instptr (fst (instptr_get urm.instptr) - c)) ; regs = urm.regs }
     | _, _ -> { instptr = urm.instptr ; regs = urm.regs } |> urm_move_down
   in if instptr_end urm.instptr then urm else aux (instptr_get urm.instptr)
 
@@ -38,4 +38,3 @@ let urm_run_trace =
 
 (* Creates an URM from a command list and a register list *)
 let urm_mk cmd_list reg_list = { instptr = (instptr_mk cmd_list) ; regs = reg_list }
-
diff --git a/src/urm_test.ml b/src/urm_test.ml
index f223bf6..bf620e0 100644
--- a/src/urm_test.ml
+++ b/src/urm_test.ml
@@ -14,33 +14,33 @@ let () =
     ~title:"example_urm_add_program"
     (fun () ->
        let input_prgm = [
-         Zero 0;
-         Zero 3;
-         Jump (1, 3, 6);
-         Succ 0;
-         Succ 3;
-         Jump (3, 3, 2);
-         Zero 3;
-         Jump (2, 3, 11);
-         Succ 0;
-         Succ 3;
-         Jump (3, 3, 7)]
+         URMZero 0;
+         URMZero 3;
+         URMJump (1, 3, 6);
+         URMSucc 0;
+         URMSucc 3;
+         URMJump (3, 3, 2);
+         URMZero 3;
+         URMJump (2, 3, 11);
+         URMSucc 0;
+         URMSucc 3;
+         URMJump (3, 3, 7)]
        and input_regs = [
          Reg (1, 2);
          Reg (2, 3)]
        and expected_urm = {
          instptr = InstPtr ([], [
-           (0, Zero 0);
-           (1, Zero 3);
-           (2, Jump (1, 3, 6));
-           (3, Succ 0);
-           (4, Succ 3);
-           (5, Jump (3, 3, 2));
-           (6, Zero 3);
-           (7, Jump (2, 3, 11));
-           (8, Succ 0);
-           (9, Succ 3);
-           (10, Jump (3, 3, 7))]);
+           (0, URMZero 0);
+           (1, URMZero 3);
+           (2, URMJump (1, 3, 6));
+           (3, URMSucc 0);
+           (4, URMSucc 3);
+           (5, URMJump (3, 3, 2));
+           (6, URMZero 3);
+           (7, URMJump (2, 3, 11));
+           (8, URMSucc 0);
+           (9, URMSucc 3);
+           (10, URMJump (3, 3, 7))]);
          regs = [
            Reg (1, 2);
            Reg (2, 3)]}
@@ -60,72 +60,72 @@ let () =
     ~title:"example_urm_factorial_program"
     (fun () ->
        let input_prgm = [
-         Zero 4;
-         Jump (1, 4, 4);
-         Zero 8;
-         Jump (8, 8, 7);
-         Succ 1;
-         Zero 9;
-         Jump (9, 9, 29);
-         Copy (2, 1);
-         Zero 1;
-         Succ 1;
-         Zero 3;
-         Succ 3;
-         Copy (5, 1);
-         Zero 1;
-         Zero 6;
-         Jump (3, 6, 25);
-         Zero 7;
-         Jump (5, 7, 22);
-         Succ 1;
-         Succ 7;
-         Zero 10;
-         Jump (10, 10, 17);
-         Succ 6;
-         Zero 11;
-         Jump (11, 11, 15);
-         Jump (2, 3, 29);
-         Succ 3;
+         URMZero 4;
+         URMJump (1, 4, 4);
+         URMZero 8;
+         URMJump (8, 8, 7);
+         URMSucc 1;
+         URMZero 9;
+         URMJump (9, 9, 29);
+         URMCopy (2, 1);
+         URMZero 1;
+         URMSucc 1;
+         URMZero 3;
+         URMSucc 3;
+         URMCopy (5, 1);
+         URMZero 1;
+         URMZero 6;
+         URMJump (3, 6, 25);
+         URMZero 7;
+         URMJump (5, 7, 22);
+         URMSucc 1;
+         URMSucc 7;
+         URMZero 10;
+         URMJump (10, 10, 17);
+         URMSucc 6;
+         URMZero 11;
+         URMJump (11, 11, 15);
+         URMJump (2, 3, 29);
+         URMSucc 3;