1 files changed, 74 insertions, 0 deletions
diff --git a/test/trans.d/case/atoi1_ocaml.rl b/test/trans.d/case/atoi1_ocaml.rl
new file mode 100644
index 00000000..b0bc8c9f
--- /dev/null
+++ b/test/trans.d/case/atoi1_ocaml.rl
@@ -0,0 +1,74 @@
+(*
+ * @LANG: ocaml
+ * @GENERATED: true
+ *)
+
+let neg = ref 0
+let value = ref 0
+
+%%{
+	machine atoi;
+
+	action begin {neg := 0;
+value := 0;
+}
+
+	action see_neg {neg := 1;
+}
+
+	action add_digit {value := value .contents * 10 + ( fc - 48 )
+;
+}
+
+	action finish {if neg .contents != 0 then
+begin
+	value := -1 * value.contents;
+
+end 
+;
+}
+	action print {print_int( value.contents );
+print_string( "\n" );
+}
+
+	atoi = (
+		('-'@see_neg | '+')? (digit @add_digit)+
+	) >begin %finish;
+
+	main := atoi '\n' @print;
+}%%
+
+
+
+
+%% write data;
+
+let exec data = 
+  let buffer = String.create(1024) in 
+  let blen :int ref = ref 0 in
+  let cs = ref 0 in
+  let p = ref 0 in
+  let pe = ref (String.length data) in
+value := 0;
+neg := 0;
+	%% write init;
+	%% write exec;
+	if !cs >= atoi_first_final then
+		print_string "ACCEPT\n"
+	else
+		print_string "FAIL\n"
+;;
+
+let () =
+	exec "1\n";
+	exec "12\n";
+	exec "222222\n";
+	exec "+2123\n";
+	exec "213 3213\n";
+	exec "-12321\n";
+	exec "--123\n";
+	exec "-99\n";
+	exec " -3000\n";
+  ()
+;;
+