33
44*)
55
6- let print_arr foo = Array. iter print_int foo
6+
77
88(*
99let f children =
1010 match children with
11- | [] -> print_arr [||]
11+ | [] -> [||]
1212 | a0::children ->
1313 match children with
14- | [] -> print_arr [|a0|]
14+ | [] -> [|a0|]
1515 | a1 :: children ->
1616 match children with
17- | [] -> print_arr [|a0;a1|]
17+ | [] -> [|a0;a1|]
1818 | a2:: children ->
1919 match children with
20- | [] -> print_arr [|a0;a1;a2|]
20+ | [] -> [|a0;a1;a2|]
2121 | a3::children ->
2222 match children with
23- | [] -> print_arr [|a0;a1;a2;a3|]
23+ | [] -> [|a0;a1;a2;a3|]
2424 | a4::children ->
2525 match children with
26- | [] -> print_arr [|a0;a1;a2;a3;a4|]
26+ | [] -> [|a0;a1;a2;a3;a4|]
2727 | a5::children ->
2828 match children with
29- | [] -> print_arr [|a0;a1;a2;a3;a4;a5|]
29+ | [] -> [|a0;a1;a2;a3;a4;a5|]
3030 | a6::children ->
3131 match children with
32- | [] -> print_arr [|a0;a1;a2;a3;a4;a5;a6|]
32+ | [] -> [|a0;a1;a2;a3;a4;a5;a6|]
3333 | a7:: children ->
3434 match children with
35- | [] -> print_arr [|a0;a1;a2;a3;a4;a5;a6; a7|]
35+ | [] -> [|a0;a1;a2;a3;a4;a5;a6; a7|]
3636 | a8::children ->
3737 match children with
38- | [] -> print_arr [|a0;a1;a2;a3;a4;a5;a6;a7;a8|]
38+ | [] -> [|a0;a1;a2;a3;a4;a5;a6;a7;a8|]
3939 | a9::children ->
4040 match children with
41- | [] -> print_arr [|a0;a1;a2;a3;a4;a5;a6;a7;a8;a9|]
41+ | [] -> [|a0;a1;a2;a3;a4;a5;a6;a7;a8;a9|]
4242 | a10::children ->
4343 match children with
44- | [] -> print_arr [|a0;a1;a2;a3;a4;a5;a6;a7;a8;a9;a10|]
44+ | [] -> [|a0;a1;a2;a3;a4;a5;a6;a7;a8;a9;a10|]
4545 | a11::children ->
4646 match children with
47- | [] -> print_arr [|a0;a1;a2;a3;a4;a5;a6;a7;a8;a9;a10;a11|]
47+ | [] -> [|a0;a1;a2;a3;a4;a5;a6;a7;a8;a9;a10;a11|]
4848 | a12::children ->
4949 match children with
50- | [] -> print_arr [|a0;a1;a2;a3;a4;a5;a6;a7;a8;a9;a10;a11;a12|]
50+ | [] -> [|a0;a1;a2;a3;a4;a5;a6;a7;a8;a9;a10;a11;a12|]
5151 | a13::children ->
5252 match children with
53- | [] -> print_arr [|a0;a1;a2;a3;a4;a5;a6;a7;a8;a9;a10;a11;a12;a13|]
53+ | [] -> [|a0;a1;a2;a3;a4;a5;a6;a7;a8;a9;a10;a11;a12;a13|]
5454 | a14::children ->
5555 match children with
56- | [] -> print_arr [|a0;a1;a2;a3;a4;a5;a6;a7;a8;a9;a10;a11;a12;a13;a14|]
56+ | [] -> [|a0;a1;a2;a3;a4;a5;a6;a7;a8;a9;a10;a11;a12;a13;a14|]
5757 | a15::children ->
5858 match children with
59- | [] -> print_arr [|a0;a1;a2;a3;a4;a5;a6;a7;a8;a9;a10;a11;a12;a13;a14;a15|]
59+ | [] -> [|a0;a1;a2;a3;a4;a5;a6;a7;a8;a9;a10;a11;a12;a13;a14;a15|]
6060 | a16::children ->
61+ assert false
62+ *)
63+ (*
6164 match children with
62- | [] -> print_arr [|a0;a1;a2;a3;a4;a5;a6;a7;a8;a9;a10;a11;a12;a13;a14;a15;a16|]
65+ | [] -> [|a0;a1;a2;a3;a4;a5;a6;a7;a8;a9;a10;a11;a12;a13;a14;a15;a16|]
6366 | a17::children ->
6467 match children with
65- | [] -> print_arr [|a0;a1;a2;a3;a4;a5;a6;a7;a8;a9;a10;a11;a12;a13;a14;a15;a16;a17|]
68+ | [] -> [|a0;a1;a2;a3;a4;a5;a6;a7;a8;a9;a10;a11;a12;a13;a14;a15;a16;a17|]
6669 | a18::children ->
6770 match children with
68- | [] -> print_arr [|a0;a1;a2;a3;a4;a5;a6;a7;a8;a9;a10;a11;a12;a13;a14;a15;a16;a17;a18|]
71+ | [] -> [|a0;a1;a2;a3;a4;a5;a6;a7;a8;a9;a10;a11;a12;a13;a14;a15;a16;a17;a18|]
6972 | a19::children ->
7073 match children with
71- | [] -> print_arr [|a0;a1;a2;a3;a4;a5;a6;a7;a8;a9;a10;a11;a12;a13;a14;a15;a16;a17;a18;a19|]
74+ | [] -> [|a0;a1;a2;a3;a4;a5;a6;a7;a8;a9;a10;a11;a12;a13;a14;a15;a16;a17;a18;a19|]
7275 | _ -> assert false
7376
7477*)
@@ -84,52 +87,52 @@ let f children =
8487(*
8588let f children =
8689 match children with
87- | [] -> print_arr [||]
88- | a::[] -> print_arr [|a|]
89- | a::b::[] -> print_arr [|a;b|]
90- | a::b::c::[] -> print_arr [|a;b;c|]
90+ | [] -> [||]
91+ | a::[] -> [|a|]
92+ | a::b::[] -> [|a;b|]
93+ | a::b::c::[] -> [|a;b;c|]
9194 | a::b::c::d::[] ->
92- print_arr [|a;b;c;d|]
95+ [|a;b;c;d|]
9396 | a::b::c::d::e::[] ->
94- print_arr [|a;b;c;d;e|]
97+ [|a;b;c;d;e|]
9598 | a::b::c::d::e::f::[] ->
96- print_arr [|a;b;c;d;e;f|]
99+ [|a;b;c;d;e;f|]
97100 | a::b::c::d::e::f::g::[] ->
98- print_arr [|a;b;c;d;e;f;g|]
101+ [|a;b;c;d;e;f;g|]
99102 | a::b::c::d::e::f::g::h::[] ->
100- print_arr [|a;b;c;d;e;f;g;h|]
103+ [|a;b;c;d;e;f;g;h|]
101104 | a::b::c::d::e::f::g::h::i::[] ->
102- print_arr [|a;b;c;d;e;f;g;h;i|]
105+ [|a;b;c;d;e;f;g;h;i|]
103106 | a::b::c::d::e::f::g::h::i::j::[] ->
104- print_arr [|a;b;c;d;e;f;g;h;i;j|]
107+ [|a;b;c;d;e;f;g;h;i;j|]
105108 | a::b::c::d::e::f::g::h::i::j::k::[] ->
106- print_arr [|a;b;c;d;e;f;g;h;i;j;k|]
109+ [|a;b;c;d;e;f;g;h;i;j;k|]
107110 | a::b::c::d::e::f::g::h::i::j::k::l::[] ->
108- print_arr
111+
109112 [|a;b;c;d;e;f;g;h;i;j;k;l|]
110113 | a::b::c::d::e::f::g::h::i::j::k::l::m::[] ->
111- print_arr
114+
112115 [|a;b;c;d;e;f;g;h;i;j;k;l;m|]
113116 | a::b::c::d::e::f::g::h::i::j::k::l::m::n::[] ->
114- print_arr
117+
115118 [|a;b;c;d;e;f;g;h;i;j;k;l;m;n|]
116119 | a::b::c::d::e::f::g::h::i::j::k::l::m::n::o::[] ->
117- print_arr
120+
118121 [|a;b;c;d;e;f;g;h;i;j;k;l;m;n;o|]
119122 | a::b::c::d::e::f::g::h::i::j::k::l::m::n::o::p::[] ->
120- print_arr
123+
121124 [|a;b;c;d;e;f;g;h;i;j;k;l;m;n;o;p|]
122125 | a::b::c::d::e::f::g::h::i::j::k::l::m::n::o::p::q::[] ->
123- print_arr
126+
124127 [|a;b;c;d;e;f;g;h;i;j;k;l;m;n;o;p;q|]
125128 | a0::a1::a2::a3::a4::a5::a6::a7::a8::a9::a10::a11::a12::a13::a14::a15::a16::a17::[] ->
126- print_arr
129+
127130 [|a0;a1;a2;a3;a4;a5;a6;a7;a8;a9;a10;a11;a12;a13;a14;a15;a16;a17|]
128131 | a0::a1::a2::a3::a4::a5::a6::a7::a8::a9::a10::a11::a12::a13::a14::a15::a16::a17::a18::[] ->
129- print_arr
132+
130133 [|a0;a1;a2;a3;a4;a5;a6;a7;a8;a9;a10;a11;a12;a13;a14;a15;a16;a17;a18|]
131134 | a0::a1::a2::a3::a4::a5::a6::a7::a8::a9::a10::a11::a12::a13::a14::a15::a16::a17::a18::a19::[] ->
132- print_arr
135+
133136 [|a0;a1;a2;a3;a4;a5;a6;a7;a8;a9;a10;a11;a12;a13;a14;a15;a16;a17;a18;a19|]
134137
135138 | _ ->
0 commit comments