Skip to content

Commit 74d4988

Browse files
tysgrr0gi
tysg
authored and
rr0gi
committed
make gen_ragel
1 parent 4f14246 commit 74d4988

File tree

1 file changed

+58
-58
lines changed

1 file changed

+58
-58
lines changed

‎htmlStream_ragel.ml‎

Lines changed: 58 additions & 58 deletions
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,7 @@ let init () = { lnum = 1 }
2323

2424

2525
# 24 "htmlStream_ragel.ml"
26-
let _htmlstream_trans_keys : int array = Array.concat [ [|
26+
let _htmlstream_trans_keys : int array = [|
2727
10; 60; 10; 60; 0; 122; 10; 10; 10; 122; 10; 45; 10; 45; 10; 45;
2828
10; 62; 10; 122; 0; 122; 0; 122; 0; 122; 0; 122; 0; 62; 0; 62;
2929
10; 60; 10; 34; 10; 34; 0; 122; 10; 62; 10; 39; 10; 39; 0; 122;
@@ -34,9 +34,9 @@ let _htmlstream_trans_keys : int array = Array.concat [ [|
3434
10; 116; 10; 121; 10; 108; 10; 101; 0; 62; 10; 10; 10; 60; 10; 60;
3535
0; 60; 0; 116; 10; 105; 10; 116; 10; 108; 10; 101; 0; 62; 10; 10;
3636
10; 62; 10; 10; 0
37-
|] ]
37+
|]
3838

39-
let _htmlstream_key_spans : int array = Array.concat [ [|
39+
let _htmlstream_key_spans : int array = [|
4040
51; 51; 123; 1; 113; 36; 36; 36;
4141
53; 113; 123; 123; 123; 123; 63; 63;
4242
51; 25; 25; 123; 53; 30; 30; 123;
@@ -47,9 +47,9 @@ let _htmlstream_key_spans : int array = Array.concat [ [|
4747
107; 112; 99; 92; 63; 1; 51; 51;
4848
61; 117; 96; 107; 99; 92; 63; 1;
4949
53; 1
50-
|] ]
50+
|]
5151

52-
let _htmlstream_index_offsets : int array = Array.concat [ [|
52+
let _htmlstream_index_offsets : int array = [|
5353
0; 52; 104; 228; 230; 344; 381; 418;
5454
455; 509; 623; 747; 871; 995; 1119; 1183;
5555
1247; 1299; 1325; 1351; 1475; 1529; 1560; 1591;
@@ -60,9 +60,9 @@ let _htmlstream_index_offsets : int array = Array.concat [ [|
6060
4165; 4273; 4386; 4486; 4579; 4643; 4645; 4697;
6161
4749; 4811; 4929; 5026; 5134; 5234; 5327; 5391;
6262
5393; 5447
63-
|] ]
63+
|]
6464

65-
let _htmlstream_indicies : int array = Array.concat [ [|
65+
let _htmlstream_indicies : int array = [|
6666
1; 0; 0; 0; 0; 0; 0; 0;
6767
0; 0; 0; 0; 0; 0; 0; 0;
6868
0; 0; 0; 0; 0; 0; 0; 0;
@@ -81,7 +81,7 @@ let _htmlstream_indicies : int array = Array.concat [ [|
8181
2; 2; 2; 2; 2; 2; 2; 2;
8282
2; 2; 2; 2; 2; 2; 2; 2;
8383
2; 8; 6; 6; 6; 6; 6; 6;
84-
6; 6; 6; 6; 6; 9; 6; 10;
84+
6; 6; 6; 6; 6; 9; 9; 10;
8585
9; 9; 9; 9; 9; 9; 9; 9;
8686
9; 9; 9; 6; 6; 6; 6; 11;
8787
6; 9; 9; 9; 9; 9; 9; 9;
@@ -131,7 +131,7 @@ let _htmlstream_indicies : int array = Array.concat [ [|
131131
6; 6; 6; 6; 6; 6; 6; 6;
132132
6; 6; 6; 6; 6; 6; 6; 6;
133133
6; 6; 6; 6; 6; 6; 6; 6;
134-
22; 6; 6; 22; 22; 22; 22; 22;
134+
22; 22; 6; 22; 22; 22; 22; 22;
135135
22; 22; 22; 22; 22; 22; 6; 6;
136136
6; 6; 6; 6; 22; 22; 22; 22;
137137
22; 22; 22; 22; 22; 22; 22; 22;
@@ -146,7 +146,7 @@ let _htmlstream_indicies : int array = Array.concat [ [|
146146
23; 23; 23; 23; 23; 23; 23; 23;
147147
23; 23; 23; 23; 23; 23; 23; 23;
148148
6; 6; 6; 6; 6; 6; 6; 6;
149-
6; 6; 6; 6; 22; 6; 6; 22;
149+
6; 6; 6; 6; 22; 22; 6; 22;
150150
22; 22; 22; 22; 22; 22; 22; 22;
151151
22; 22; 6; 6; 6; 25; 26; 6;
152152
22; 22; 22; 22; 22; 22; 22; 22;
@@ -162,7 +162,7 @@ let _htmlstream_indicies : int array = Array.concat [ [|
162162
27; 27; 27; 27; 27; 27; 27; 27;
163163
27; 27; 27; 27; 6; 6; 6; 6;
164164
6; 6; 6; 6; 6; 6; 6; 6;
165-
29; 6; 6; 29; 29; 29; 29; 29;
165+
29; 29; 6; 29; 29; 29; 29; 29;
166166
29; 29; 29; 29; 29; 29; 6; 6;
167167
6; 30; 31; 6; 29; 29; 29; 29;
168168
29; 29; 29; 29; 29; 29; 29; 29;
@@ -177,7 +177,7 @@ let _htmlstream_indicies : int array = Array.concat [ [|
177177
32; 32; 32; 32; 32; 32; 32; 32;
178178
32; 32; 32; 32; 32; 32; 32; 32;
179179
6; 6; 6; 6; 6; 6; 6; 6;
180-
6; 6; 6; 6; 34; 6; 6; 34;
180+
6; 6; 6; 6; 34; 34; 6; 34;
181181
34; 34; 34; 34; 34; 34; 34; 34;
182182
34; 34; 6; 6; 35; 36; 37; 6;
183183
34; 34; 34; 34; 34; 34; 34; 34;
@@ -193,7 +193,7 @@ let _htmlstream_indicies : int array = Array.concat [ [|
193193
38; 38; 38; 38; 38; 38; 38; 38;
194194
38; 38; 38; 38; 6; 6; 6; 6;
195195
6; 6; 6; 6; 6; 6; 6; 6;
196-
40; 6; 6; 40; 40; 40; 40; 40;
196+
40; 40; 6; 40; 40; 40; 40; 40;
197197
40; 40; 40; 40; 40; 40; 6; 6;
198198
41; 42; 43; 6; 40; 40; 40; 40;
199199
40; 40; 40; 40; 40; 40; 40; 40;
@@ -237,7 +237,7 @@ let _htmlstream_indicies : int array = Array.concat [ [|
237237
61; 61; 61; 61; 61; 61; 61; 61;
238238
61; 61; 61; 61; 61; 61; 61; 61;
239239
6; 6; 6; 6; 6; 6; 6; 6;
240-
6; 6; 6; 6; 40; 6; 6; 40;
240+
6; 6; 6; 6; 40; 40; 6; 40;
241241
40; 40; 40; 40; 40; 40; 40; 40;
242242
40; 40; 6; 6; 6; 42; 43; 6;
243243
40; 40; 40; 40; 40; 40; 40; 40;
@@ -267,7 +267,7 @@ let _htmlstream_indicies : int array = Array.concat [ [|
267267
67; 67; 67; 67; 67; 67; 67; 67;
268268
67; 67; 67; 67; 67; 67; 67; 67;
269269
6; 6; 6; 6; 6; 6; 6; 6;
270-
6; 6; 6; 6; 69; 6; 70; 69;
270+
6; 6; 6; 6; 69; 69; 70; 69;
271271
69; 69; 69; 69; 69; 69; 69; 69;
272272
69; 69; 6; 6; 6; 71; 6; 6;
273273
69; 69; 69; 69; 69; 69; 69; 69;
@@ -283,7 +283,7 @@ let _htmlstream_indicies : int array = Array.concat [ [|
283283
72; 72; 72; 72; 72; 72; 72; 72;
284284
72; 72; 72; 72; 6; 6; 6; 6;
285285
6; 6; 6; 6; 6; 6; 6; 6;
286-
74; 6; 75; 74; 74; 74; 74; 74;
286+
74; 74; 75; 74; 74; 74; 74; 74;
287287
74; 74; 74; 74; 74; 74; 6; 6;
288288
6; 76; 6; 6; 74; 74; 74; 74;
289289
74; 74; 74; 74; 74; 74; 74; 74;
@@ -298,7 +298,7 @@ let _htmlstream_indicies : int array = Array.concat [ [|
298298
77; 77; 77; 77; 77; 77; 77; 77;
299299
77; 77; 77; 77; 77; 77; 77; 77;
300300
6; 6; 6; 6; 6; 6; 6; 6;
301-
6; 6; 6; 6; 79; 6; 80; 79;
301+
6; 6; 6; 6; 79; 79; 80; 79;
302302
79; 79; 79; 79; 79; 79; 79; 79;
303303
79; 79; 6; 6; 81; 82; 6; 6;
304304
79; 79; 79; 79; 79; 79; 79; 79;
@@ -314,7 +314,7 @@ let _htmlstream_indicies : int array = Array.concat [ [|
314314
83; 83; 83; 83; 83; 83; 83; 83;
315315
83; 83; 83; 83; 6; 6; 6; 6;
316316
6; 6; 6; 6; 6; 6; 6; 6;
317-
85; 6; 86; 85; 85; 85; 85; 85;
317+
85; 85; 86; 85; 85; 85; 85; 85;
318318
85; 85; 85; 85; 85; 85; 6; 6;
319319
87; 88; 6; 6; 85; 85; 85; 85;
320320
85; 85; 85; 85; 85; 85; 85; 85;
@@ -373,7 +373,7 @@ let _htmlstream_indicies : int array = Array.concat [ [|
373373
111; 111; 111; 111; 111; 111; 111; 111;
374374
111; 111; 111; 111; 6; 6; 6; 6;
375375
6; 6; 6; 6; 6; 6; 6; 6;
376-
85; 6; 86; 85; 85; 85; 85; 85;
376+
85; 85; 86; 85; 85; 85; 85; 85;
377377
85; 85; 85; 85; 85; 85; 6; 6;
378378
6; 88; 6; 6; 85; 85; 85; 85;
379379
85; 85; 85; 85; 85; 85; 85; 85;
@@ -396,7 +396,7 @@ let _htmlstream_indicies : int array = Array.concat [ [|
396396
118; 118; 118; 118; 118; 118; 118; 118;
397397
118; 118; 118; 118; 118; 118; 117; 117;
398398
117; 117; 117; 117; 117; 117; 117; 117;
399-
117; 117; 120; 117; 117; 120; 120; 120;
399+
117; 117; 120; 120; 117; 120; 120; 120;
400400
120; 120; 120; 120; 120; 120; 120; 120;
401401
117; 117; 117; 121; 117; 117; 120; 120;
402402
120; 120; 120; 120; 120; 120; 120; 120;
@@ -417,7 +417,7 @@ let _htmlstream_indicies : int array = Array.concat [ [|
417417
124; 124; 124; 124; 124; 124; 124; 124;
418418
124; 124; 124; 124; 124; 124; 124; 124;
419419
124; 124; 124; 124; 124; 124; 124; 124;
420-
124; 124; 126; 124; 124; 126; 126; 126;
420+
124; 124; 126; 126; 124; 126; 126; 126;
421421
126; 126; 126; 126; 126; 126; 126; 126;
422422
124; 124; 124; 127; 124; 124; 126; 126;
423423
126; 126; 126; 126; 126; 126; 126; 126;
@@ -745,9 +745,9 @@ let _htmlstream_indicies : int array = Array.concat [ [|
745745
186; 186; 186; 186; 186; 186; 186; 186;
746746
186; 186; 186; 186; 186; 188; 186; 190;
747747
189; 0
748-
|] ]
748+
|]
749749

750-
let _htmlstream_trans_targs : int array = Array.concat [ [|
750+
let _htmlstream_trans_targs : int array = [|
751751
1; 1; 2; 1; 1; 2; 3; 2;
752752
4; 23; 37; 40; 3; 3; 3; 5;
753753
9; 6; 6; 7; 8; 0; 10; 11;
@@ -772,9 +772,9 @@ let _htmlstream_trans_targs : int array = Array.concat [ [|
772772
63; 64; 63; 63; 64; 64; 64; 65;
773773
65; 66; 67; 68; 69; 70; 70; 71;
774774
71; 71; 72; 72; 73; 73; 73
775-
|] ]
775+
|]
776776

777-
let _htmlstream_trans_actions : int array = Array.concat [ [|
777+
let _htmlstream_trans_actions : int array = [|
778778
1; 2; 0; 0; 4; 3; 5; 4;
779779
6; 7; 6; 6; 0; 4; 8; 0;
780780
1; 0; 4; 0; 0; 0; 0; 9;
@@ -799,9 +799,9 @@ let _htmlstream_trans_actions : int array = Array.concat [ [|
799799
35; 21; 0; 4; 22; 0; 4; 0;
800800
4; 0; 0; 0; 0; 0; 4; 38;
801801
0; 4; 0; 4; 39; 0; 4
802-
|] ]
802+
|]
803803

804-
let _htmlstream_eof_actions : int array = Array.concat [ [|
804+
let _htmlstream_eof_actions : int array = [|
805805
0; 3; 5; 0; 5; 5; 5; 5;
806806
5; 5; 5; 5; 5; 5; 5; 5;
807807
18; 5; 5; 5; 5; 5; 5; 5;
@@ -812,7 +812,7 @@ let _htmlstream_eof_actions : int array = Array.concat [ [|
812812
0; 0; 0; 0; 0; 0; 0; 0;
813813
0; 0; 0; 0; 0; 0; 0; 0;
814814
0; 0
815-
|] ]
815+
|]
816816

817817
let htmlstream_start : int = 0
818818
let htmlstream_first_final : int = 0
@@ -825,9 +825,9 @@ let htmlstream_en_garbage_tag : int = 72
825825
let htmlstream_en_main : int = 0
826826

827827
type _htmlstream_state = { mutable keys : int; mutable trans : int; }
828-
exception Goto_match_htmlstream
829-
exception Goto_again_htmlstream
830-
exception Goto_eof_trans_htmlstream
828+
exception Goto_match
829+
exception Goto_again
830+
exception Goto_eof_trans
831831

832832
# 72 "htmlStream_ragel.ml.rl"
833833

@@ -878,13 +878,13 @@ and do_resume () =
878878
Char.code data.[p.contents] <= _htmlstream_trans_keys.(keys+1) then
879879
Char.code data.[p.contents] - _htmlstream_trans_keys.(keys) else slen));
880880

881-
with Goto_match_htmlstream -> () end;
881+
with Goto_match -> () end;
882882
do_eof_trans ()
883883
and do_eof_trans () =
884884
cs.contents <- _htmlstream_trans_targs.(state.trans);
885885

886886
begin try if _htmlstream_trans_actions.(state.trans) = 0 then
887-
raise_notrace Goto_again_htmlstream;
887+
raise Goto_again;
888888

889889
match _htmlstream_trans_actions.(state.trans) with
890890
| 1 ->
@@ -923,9 +923,9 @@ and do_eof_trans () =
923923
# 33 "htmlStream_ragel.ml.rl"
924924
begin
925925
match !tag with
926-
| "script" -> p.contents <- p.contents - 1; begin cs.contents <- 41; if true then raise_notrace Goto_again_htmlstream end
927-
| "style" -> p.contents <- p.contents - 1; begin cs.contents <- 52; if true then raise_notrace Goto_again_htmlstream end
928-
| "title" -> p.contents <- p.contents - 1; begin cs.contents <- 62; if true then raise_notrace Goto_again_htmlstream end
926+
| "script" -> p.contents <- p.contents - 1; begin cs.contents <- 41; if true then raise Goto_again end
927+
| "style" -> p.contents <- p.contents - 1; begin cs.contents <- 52; if true then raise Goto_again end
928+
| "title" -> p.contents <- p.contents - 1; begin cs.contents <- 62; if true then raise Goto_again end
929929
| "" -> ()
930930
| _ -> call @@ Tag (!tag, List.rev !attrs)
931931
end;
@@ -940,7 +940,7 @@ and do_eof_trans () =
940940
()
941941
| 5 ->
942942
# 44 "htmlStream_ragel.ml.rl"
943-
begin (*printfn "GARBAGE %S" (current ()); *) p.contents <- p.contents - 1; begin cs.contents <- 72; if true then raise_notrace Goto_again_htmlstream end end;
943+
begin (*printfn "GARBAGE %S" (current ()); *) p.contents <- p.contents - 1; begin cs.contents <- 72; if true then raise Goto_again end end;
944944
()
945945
| 4 ->
946946
# 46 "htmlStream_ragel.ml.rl"
@@ -1020,9 +1020,9 @@ and do_eof_trans () =
10201020
# 33 "htmlStream_ragel.ml.rl"
10211021
begin
10221022
match !tag with
1023-
| "script" -> p.contents <- p.contents - 1; begin cs.contents <- 41; if true then raise_notrace Goto_again_htmlstream end
1024-
| "style" -> p.contents <- p.contents - 1; begin cs.contents <- 52; if true then raise_notrace Goto_again_htmlstream end
1025-
| "title" -> p.contents <- p.contents - 1; begin cs.contents <- 62; if true then raise_notrace Goto_again_htmlstream end
1023+
| "script" -> p.contents <- p.contents - 1; begin cs.contents <- 41; if true then raise Goto_again end
1024+
| "style" -> p.contents <- p.contents - 1; begin cs.contents <- 52; if true then raise Goto_again end
1025+
| "title" -> p.contents <- p.contents - 1; begin cs.contents <- 62; if true then raise Goto_again end
10261026
| "" -> ()
10271027
| _ -> call @@ Tag (!tag, List.rev !attrs)
10281028
end;
@@ -1033,14 +1033,14 @@ and do_eof_trans () =
10331033
# 33 "htmlStream_ragel.ml.rl"
10341034
begin
10351035
match !tag with
1036-
| "script" -> p.contents <- p.contents - 1; begin cs.contents <- 41; if true then raise_notrace Goto_again_htmlstream end
1037-
| "style" -> p.contents <- p.contents - 1; begin cs.contents <- 52; if true then raise_notrace Goto_again_htmlstream end
1038-
| "title" -> p.contents <- p.contents - 1; begin cs.contents <- 62; if true then raise_notrace Goto_again_htmlstream end
1036+
| "script" -> p.contents <- p.contents - 1; begin cs.contents <- 41; if true then raise Goto_again end
1037+
| "style" -> p.contents <- p.contents - 1; begin cs.contents <- 52; if true then raise Goto_again end
1038+
| "title" -> p.contents <- p.contents - 1; begin cs.contents <- 62; if true then raise Goto_again end
10391039
| "" -> ()
10401040
| _ -> call @@ Tag (!tag, List.rev !attrs)
10411041
end;
10421042
# 59 "htmlStream_ragel.ml.rl"
1043-
begin begin cs.contents <- 0; if true then raise_notrace Goto_again_htmlstream end end;
1043+
begin begin cs.contents <- 0; if true then raise Goto_again end end;
10441044
()
10451045
| 27 ->
10461046
# 41 "htmlStream_ragel.ml.rl"
@@ -1056,7 +1056,7 @@ and do_eof_trans () =
10561056
()
10571057
| 8 ->
10581058
# 44 "htmlStream_ragel.ml.rl"
1059-
begin (*printfn "GARBAGE %S" (current ()); *) p.contents <- p.contents - 1; begin cs.contents <- 72; if true then raise_notrace Goto_again_htmlstream end end;
1059+
begin (*printfn "GARBAGE %S" (current ()); *) p.contents <- p.contents - 1; begin cs.contents <- 72; if true then raise Goto_again end end;
10601060
# 46 "htmlStream_ragel.ml.rl"
10611061
begin ctx.lnum <- ctx.lnum + 1 end;
10621062
()
@@ -1070,13 +1070,13 @@ and do_eof_trans () =
10701070
# 51 "htmlStream_ragel.ml.rl"
10711071
begin call @@ Script (List.rev !attrs, sub ()) end;
10721072
# 51 "htmlStream_ragel.ml.rl"
1073-
begin begin cs.contents <- 0; if true then raise_notrace Goto_again_htmlstream end end;
1073+
begin begin cs.contents <- 0; if true then raise Goto_again end end;
10741074
()
10751075
| 37 ->
10761076
# 52 "htmlStream_ragel.ml.rl"
10771077
begin call @@ Style (List.rev !attrs, sub ()) end;
10781078
# 52 "htmlStream_ragel.ml.rl"
1079-
begin begin cs.contents <- 0; if true then raise_notrace Goto_again_htmlstream end end;
1079+
begin begin cs.contents <- 0; if true then raise Goto_again end end;
10801080
()
10811081
| 38 ->
10821082
# 53 "htmlStream_ragel.ml.rl"
@@ -1086,7 +1086,7 @@ and do_eof_trans () =
10861086
call @@ Close ("title");
10871087
end;
10881088
# 57 "htmlStream_ragel.ml.rl"
1089-
begin begin cs.contents <- 0; if true then raise_notrace Goto_again_htmlstream end end;
1089+
begin begin cs.contents <- 0; if true then raise Goto_again end end;
10901090
()
10911091
| 7 ->
10921092
# 68 "htmlStream_ragel.ml.rl"
@@ -1106,9 +1106,9 @@ and do_eof_trans () =
11061106
# 33 "htmlStream_ragel.ml.rl"
11071107
begin
11081108
match !tag with
1109-
| "script" -> p.contents <- p.contents - 1; begin cs.contents <- 41; if true then raise_notrace Goto_again_htmlstream end
1110-
| "style" -> p.contents <- p.contents - 1; begin cs.contents <- 52; if true then raise_notrace Goto_again_htmlstream end
1111-
| "title" -> p.contents <- p.contents - 1; begin cs.contents <- 62; if true then raise_notrace Goto_again_htmlstream end
1109+
| "script" -> p.contents <- p.contents - 1; begin cs.contents <- 41; if true then raise Goto_again end
1110+
| "style" -> p.contents <- p.contents - 1; begin cs.contents <- 52; if true then raise Goto_again end
1111+
| "title" -> p.contents <- p.contents - 1; begin cs.contents <- 62; if true then raise Goto_again end
11121112
| "" -> ()
11131113
| _ -> call @@ Tag (!tag, List.rev !attrs)
11141114
end;
@@ -1135,7 +1135,7 @@ and do_eof_trans () =
11351135
()
11361136
# 1131 "htmlStream_ragel.ml"
11371137
| _ -> ()
1138-
with Goto_again_htmlstream -> () end;
1138+
with Goto_again -> () end;
11391139

11401140
do_again ()
11411141
and do_again () =
@@ -1155,9 +1155,9 @@ and do_test_eof () =
11551155
# 33 "htmlStream_ragel.ml.rl"
11561156
begin
11571157
match !tag with
1158-
| "script" -> p.contents <- p.contents - 1; begin cs.contents <- 41; if true then raise_notrace Goto_again_htmlstream end
1159-
| "style" -> p.contents <- p.contents - 1; begin cs.contents <- 52; if true then raise_notrace Goto_again_htmlstream end
1160-
| "title" -> p.contents <- p.contents - 1; begin cs.contents <- 62; if true then raise_notrace Goto_again_htmlstream end
1158+
| "script" -> p.contents <- p.contents - 1; begin cs.contents <- 41; if true then raise Goto_again end
1159+
| "style" -> p.contents <- p.contents - 1; begin cs.contents <- 52; if true then raise Goto_again end
1160+
| "title" -> p.contents <- p.contents - 1; begin cs.contents <- 62; if true then raise Goto_again end
11611161
| "" -> ()
11621162
| _ -> call @@ Tag (!tag, List.rev !attrs)
11631163
end;
@@ -1172,13 +1172,13 @@ and do_test_eof () =
11721172
()
11731173
| 5 ->
11741174
# 44 "htmlStream_ragel.ml.rl"
1175-
begin (*printfn "GARBAGE %S" (current ()); *) p.contents <- p.contents - 1; begin cs.contents <- 72; if true then raise_notrace Goto_again_htmlstream end end;
1175+
begin (*printfn "GARBAGE %S" (current ()); *) p.contents <- p.contents - 1; begin cs.contents <- 72; if true then raise Goto_again end end;
11761176
()
11771177
# 1172 "htmlStream_ragel.ml"
11781178
| _ -> ()
11791179
end
1180-
with Goto_again_htmlstream -> do_again ()
1181-
| Goto_eof_trans_htmlstream -> do_eof_trans () end
1180+
with Goto_again -> do_again ()
1181+
| Goto_eof_trans -> do_eof_trans () end
11821182

11831183
in do_start ()
11841184
end;

0 commit comments

Comments
 (0)