From 1b3af051b37285764731d2969369ffb95fcc53f4 Mon Sep 17 00:00:00 2001
From: Antoine Grimod <antoine.grimod@gmail.com>
Date: Fri, 16 Dec 2022 00:02:48 +0100
Subject: [PATCH] adding automaton translation pass to list of executed passes

---
 src/main.ml   | 3 ++-
 src/passes.ml | 4 ++++
 src/test.node | 1 -
 3 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/src/main.ml b/src/main.ml
index 450e81d..06434d7 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -25,7 +25,7 @@ let exec_passes ast main_fn verbose debug passes f =
 
 let _ =
   (** Usage and argument parsing. *)
-  let default_passes = ["pre2vars"; "linearization"; "equations_ordering"] in
+  let default_passes = ["pre2vars"; "automata_translation"; "linearization"; "equations_ordering"] in
   let sanity_passes = ["chkvar_init_unicity"; "check_typing"] in
   let usage_msg =
     "Usage: main [-passes p1,...,pn] [-ast] [-verbose] [-debug] \
@@ -67,6 +67,7 @@ let _ =
     [
       ("pre2vars", Passes.pre2vars);
       ("chkvar_init_unicity", Passes.chkvar_init_unicity);
+      ("automata_translation", Passes.automata_translation_pass);
       ("linearization", Passes.pass_linearization);
       ("equations_ordering", Passes.pass_eq_reordering);
       ("check_typing", Passes.pass_typing);
diff --git a/src/passes.ml b/src/passes.ml
index ad8ff30..e711189 100644
--- a/src/passes.ml
+++ b/src/passes.ml
@@ -426,3 +426,7 @@ let automata_trans_pass debug (node:t_node) : t_node option=
       n_automata = node.n_automata;
     }
 
+let automata_translation_pass verbose debug main_fn = 
+  node_pass (automata_trans_pass debug)
+
+
diff --git a/src/test.node b/src/test.node
index ef459bb..5b65c18 100644
--- a/src/test.node
+++ b/src/test.node
@@ -1,5 +1,4 @@
 node diagonal_int (i: int) returns (o1, o2 : int);
-var i: int;
 let
 	(o1, o2) = (i, i);
 tel