File tree Expand file tree Collapse file tree 4 files changed +18
-26
lines changed Expand file tree Collapse file tree 4 files changed +18
-26
lines changed Original file line number Diff line number Diff line change @@ -112,23 +112,23 @@ let extract_input_output (edge : Ext_json_types.t) : string list * string list =
112112 (match Ext_array. find_and_split content
113113 (fun x () -> match x with Str { str =":" } -> true | _ -> false )
114114 () with
115- | ` No_split -> error ()
116- | ` Split ( output , input ) ->
117- (Ext_array. to_list_map (fun ( x : Ext_json_types.t ) ->
115+ | No_split -> error ()
116+ | Split ( output , input ) ->
117+ (Ext_array. to_list_map output (fun x ->
118118 match x with
119119 | Str {str = ":" } ->
120120 error ()
121121 | Str {str } ->
122122 Some str
123- | _ -> None ) output
123+ | _ -> None )
124124 ,
125- Ext_array. to_list_map (fun ( x : Ext_json_types.t ) ->
125+ Ext_array. to_list_map input (fun x ->
126126 match x with
127127 | Str {str = ":" } ->
128128 error ()
129129 | Str {str} ->
130130 Some str (* More rigirous error checking: It would trigger a ninja syntax error *)
131- | _ -> None ) input ))
131+ | _ -> None ) ))
132132 | _ -> error ()
133133type json_map = Ext_json_types .t Map_string .t
134134
Original file line number Diff line number Diff line change @@ -112,7 +112,7 @@ let rec tolist_aux a f i res =
112112 | Some v -> v :: res
113113 | None -> res)
114114
115- let to_list_map f a =
115+ let to_list_map a f =
116116 tolist_aux a f (Array. length a - 1 ) []
117117
118118let to_list_map_acc a acc f =
@@ -187,13 +187,7 @@ let rfind_with_index arr cmp v =
187187 else aux (i - 1 ) in
188188 aux (len - 1 )
189189
190- type 'a split = [ `No_split | `Split of 'a array * 'a array ]
191- let rfind_and_split arr cmp v : _ split =
192- let i = rfind_with_index arr cmp v in
193- if i < 0 then
194- `No_split
195- else
196- `Split (Array. sub arr 0 i , Array. sub arr (i + 1 ) (Array. length arr - i - 1 ))
190+ type 'a split = No_split | Split of 'a array * 'a array
197191
198192
199193let find_with_index arr cmp v =
@@ -207,9 +201,9 @@ let find_with_index arr cmp v =
207201let find_and_split arr cmp v : _ split =
208202 let i = find_with_index arr cmp v in
209203 if i < 0 then
210- ` No_split
204+ No_split
211205 else
212- ` Split (Array. sub arr 0 i, Array. sub arr (i + 1 ) (Array. length arr - i - 1 ))
206+ Split (Array. sub arr 0 i, Array. sub arr (i + 1 ) (Array. length arr - i - 1 ))
213207
214208(* * TODO: available since 4.03, use {!Array.exists} *)
215209
Original file line number Diff line number Diff line change @@ -49,7 +49,8 @@ val to_list_f :
4949 ('a -> 'b ) ->
5050 'b list
5151
52- val to_list_map : ('a -> 'b option ) -> 'a array -> 'b list
52+ val to_list_map :
53+ 'a array -> ('a -> 'b option ) -> 'b list
5354
5455val to_list_map_acc :
5556 'a array ->
@@ -65,12 +66,9 @@ val of_list_map :
6566val rfind_with_index : 'a array -> ('a -> 'b -> bool ) -> 'b -> int
6667
6768
68- type 'a split = [ `No_split | `Split of 'a array * 'a array ]
6969
70- val rfind_and_split :
71- 'a array ->
72- ('a -> 'b -> bool ) ->
73- 'b -> 'a split
70+ type 'a split = No_split | Split of 'a array * 'a array
71+
7472
7573val find_and_split :
7674 'a array ->
Original file line number Diff line number Diff line change @@ -14,22 +14,22 @@ let suites =
1414 __LOC__ > :: begin fun _ ->
1515 Ext_array. find_and_split
1616 [|" a" ; " b" ;" c" |]
17- Ext_string. equal " --" =~ ` No_split
17+ Ext_string. equal " --" =~ No_split
1818 end;
1919 __LOC__ > :: begin fun _ ->
2020 Ext_array. find_and_split
2121 [|" a" ; " b" ;" c" ;" --" |]
22- Ext_string. equal " --" =~ ` Split ( [|" a" ;" b" ;" c" |],[||])
22+ Ext_string. equal " --" =~ Split ( [|" a" ;" b" ;" c" |], [||])
2323 end;
2424 __LOC__ > :: begin fun _ ->
2525 Ext_array. find_and_split
2626 [|" --" ; " a" ; " b" ;" c" ;" --" |]
27- Ext_string. equal " --" =~ ` Split ([||], [|" a" ;" b" ;" c" ;" --" |])
27+ Ext_string. equal " --" =~ Split ([||], [|" a" ;" b" ;" c" ;" --" |])
2828 end;
2929 __LOC__ > :: begin fun _ ->
3030 Ext_array. find_and_split
3131 [| " u" ; " g" ; " --" ; " a" ; " b" ;" c" ;" --" |]
32- Ext_string. equal " --" =~ ` Split ([|" u" ;" g" |], [|" a" ;" b" ;" c" ;" --" |])
32+ Ext_string. equal " --" =~ Split ([|" u" ;" g" |], [|" a" ;" b" ;" c" ;" --" |])
3333 end;
3434 __LOC__ > :: begin fun _ ->
3535 Ext_array. reverse [|1 ;2 |] =~ [|2 ;1 |];
You can’t perform that action at this time.
0 commit comments