diff options
Diffstat (limited to 'test/trans.d/case/targs1_ocaml.rl')
-rw-r--r-- | test/trans.d/case/targs1_ocaml.rl | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/test/trans.d/case/targs1_ocaml.rl b/test/trans.d/case/targs1_ocaml.rl new file mode 100644 index 00000000..9fd43577 --- /dev/null +++ b/test/trans.d/case/targs1_ocaml.rl @@ -0,0 +1,53 @@ +(* + * @LANG: ocaml + * @GENERATED: true + *) + +let return_to = ref 0 + +%%{ + machine targs1; + + unused := 'unused'; + + one := 'one' @{print_string( "one\n" ); +fnext *return_to.contents; +}; + + two := 'two' @{print_string( "two\n" ); +fnext *return_to.contents; +}; + + main := ( + '1' @{return_to := ftargs; +fnext one; } + | '2' @{return_to := ftargs; +fnext two; } + | '\n' + )*; +}%% + + + + +%% 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 + %% write init; + %% write exec; + if !cs >= targs1_first_final then + print_string "ACCEPT\n" + else + print_string "FAIL\n" +;; + +let () = + exec "1one2two1one\n"; + () +;; + |