1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
(* Generated by re2ocaml *)
(* re2ocaml $INPUT -o $OUTPUT -i *)
open String
type state = {
yyinput: string;
mutable yycursor: int;
}
let rec yy0 (yyrecord : state) : bool =
let yych = unsafe_get yyrecord.yyinput yyrecord.yycursor in
yyrecord.yycursor <- yyrecord.yycursor + 1;
match yych with
| '1'..'9' -> (yy2 [@tailcall]) yyrecord
| _ -> (yy1 [@tailcall]) yyrecord
and yy1 (yyrecord : state) : bool =
false
and yy2 (yyrecord : state) : bool =
let yych = unsafe_get yyrecord.yyinput yyrecord.yycursor in
match yych with
| '0'..'9' ->
yyrecord.yycursor <- yyrecord.yycursor + 1;
(yy2 [@tailcall]) yyrecord
| _ -> (yy3 [@tailcall]) yyrecord
and yy3 (yyrecord : state) : bool =
true
and lex (yyrecord : state) : bool =
(yy0 [@tailcall]) yyrecord
let main () =
let st = {yyinput = "1234"; yycursor = 0}
in if not (lex st) then raise (Failure "error")
let _ = main ()
|
