File tree 12 files changed +27
-26
lines changed
12 files changed +27
-26
lines changed Original file line number Diff line number Diff line change @@ -119,7 +119,7 @@ and for_sure_arity (x : arity) y =
119
119
match x, y with
120
120
| Single x0 , Single y0 -> Lam_arity. equal x0 y0
121
121
| Submodule xs , Submodule ys ->
122
- Ext_array. for_all2_no_exn Lam_arity. equal xs ys
122
+ Ext_array. for_all2_no_exn xs ys Lam_arity. equal
123
123
| Single _ , Submodule _ -> false
124
124
| Submodule _ , Single _ -> false
125
125
and for_sure_eq_optional_lambda
Original file line number Diff line number Diff line change @@ -234,7 +234,7 @@ let rec unsafe_loop index len p xs ys =
234
234
(Array. unsafe_get ys index) &&
235
235
unsafe_loop (succ index) len p xs ys
236
236
237
- let for_all2_no_exn p xs ys =
237
+ let for_all2_no_exn xs ys p =
238
238
let len_xs = Array. length xs in
239
239
let len_ys = Array. length ys in
240
240
len_xs = len_ys &&
Original file line number Diff line number Diff line change @@ -75,9 +75,9 @@ val exists : ('a -> bool) -> 'a array -> bool
75
75
val is_empty : 'a array -> bool
76
76
77
77
val for_all2_no_exn :
78
- ('a -> 'b -> bool ) ->
79
78
'a array ->
80
79
'b array ->
80
+ ('a -> 'b -> bool ) ->
81
81
bool
82
82
83
83
val map :
Original file line number Diff line number Diff line change @@ -127,7 +127,7 @@ let rec equal
127
127
begin match y with
128
128
| Arr {content = content2}
129
129
->
130
- Ext_array. for_all2_no_exn equal content content2
130
+ Ext_array. for_all2_no_exn content content2 equal
131
131
| _ -> false
132
132
end
133
133
Original file line number Diff line number Diff line change @@ -82,7 +82,7 @@ let rec equal
82
82
begin match y with
83
83
| Arr content2
84
84
->
85
- Ext_array. for_all2_no_exn equal content content2
85
+ Ext_array. for_all2_no_exn content content2 equal
86
86
| _ -> false
87
87
end
88
88
Original file line number Diff line number Diff line change @@ -61,29 +61,29 @@ let suites =
61
61
62
62
__LOC__ > :: begin fun _ ->
63
63
OUnit. assert_bool __LOC__
64
- (Ext_array. for_all2_no_exn
65
- (= )
64
+ (Ext_array. for_all2_no_exn
66
65
[|1 ;2 ;3 |]
67
66
[|1 ;2 ;3 |]
67
+ (= )
68
68
)
69
69
end;
70
70
__LOC__ > :: begin fun _ ->
71
71
OUnit. assert_bool __LOC__
72
72
(Ext_array. for_all2_no_exn
73
- ( = ) [||] [||]
73
+ [||] [||] ( = )
74
74
);
75
75
OUnit. assert_bool __LOC__
76
76
(not @@ Ext_array. for_all2_no_exn
77
- ( = ) [||] [|1 |]
77
+ [||] [|1 |] ( = )
78
78
)
79
79
end
80
80
;
81
81
__LOC__ > :: begin fun _ ->
82
82
OUnit. assert_bool __LOC__
83
- (not (Ext_array. for_all2_no_exn
84
- (= )
83
+ (not (Ext_array. for_all2_no_exn
85
84
[|1 ;2 ;3 |]
86
85
[|1 ;2 ;33 |]
86
+ (= )
87
87
))
88
88
end
89
89
]
Original file line number Diff line number Diff line change @@ -225,9 +225,9 @@ val exists : ('a -> bool) -> 'a array -> bool
225
225
val is_empty : 'a array -> bool
226
226
227
227
val for_all2_no_exn :
228
- ('a -> 'b -> bool) ->
229
228
'a array ->
230
229
'b array ->
230
+ ('a -> 'b -> bool) ->
231
231
bool
232
232
233
233
val map :
@@ -477,7 +477,7 @@ let rec unsafe_loop index len p xs ys =
477
477
(Array.unsafe_get ys index) &&
478
478
unsafe_loop (succ index) len p xs ys
479
479
480
- let for_all2_no_exn p xs ys =
480
+ let for_all2_no_exn xs ys p =
481
481
let len_xs = Array.length xs in
482
482
let len_ys = Array.length ys in
483
483
len_xs = len_ys &&
@@ -2318,7 +2318,7 @@ let rec equal
2318
2318
begin match y with
2319
2319
| Arr {content = content2}
2320
2320
->
2321
- Ext_array.for_all2_no_exn equal content content2
2321
+ Ext_array.for_all2_no_exn content content2 equal
2322
2322
| _ -> false
2323
2323
end
2324
2324
@@ -10939,7 +10939,7 @@ let rec equal
10939
10939
begin match y with
10940
10940
| Arr content2
10941
10941
->
10942
- Ext_array.for_all2_no_exn equal content content2
10942
+ Ext_array.for_all2_no_exn content content2 equal
10943
10943
| _ -> false
10944
10944
end
10945
10945
Original file line number Diff line number Diff line change @@ -262,9 +262,9 @@ val exists : ('a -> bool) -> 'a array -> bool
262
262
val is_empty : 'a array -> bool
263
263
264
264
val for_all2_no_exn :
265
- ('a -> 'b -> bool ) ->
266
265
'a array ->
267
266
'b array ->
267
+ ('a -> 'b -> bool ) ->
268
268
bool
269
269
270
270
val map :
@@ -514,7 +514,7 @@ let rec unsafe_loop index len p xs ys =
514
514
(Array. unsafe_get ys index) &&
515
515
unsafe_loop (succ index) len p xs ys
516
516
517
- let for_all2_no_exn p xs ys =
517
+ let for_all2_no_exn xs ys p =
518
518
let len_xs = Array. length xs in
519
519
let len_ys = Array. length ys in
520
520
len_xs = len_ys &&
@@ -2355,7 +2355,7 @@ let rec equal
2355
2355
begin match y with
2356
2356
| Arr {content = content2}
2357
2357
->
2358
- Ext_array. for_all2_no_exn equal content content2
2358
+ Ext_array. for_all2_no_exn content content2 equal
2359
2359
| _ -> false
2360
2360
end
2361
2361
Original file line number Diff line number Diff line change @@ -29518,9 +29518,9 @@ val exists : ('a -> bool) -> 'a array -> bool
29518
29518
val is_empty : 'a array -> bool
29519
29519
29520
29520
val for_all2_no_exn :
29521
- ('a -> 'b -> bool) ->
29522
29521
'a array ->
29523
29522
'b array ->
29523
+ ('a -> 'b -> bool) ->
29524
29524
bool
29525
29525
29526
29526
val map :
@@ -29770,7 +29770,7 @@ let rec unsafe_loop index len p xs ys =
29770
29770
(Array.unsafe_get ys index) &&
29771
29771
unsafe_loop (succ index) len p xs ys
29772
29772
29773
- let for_all2_no_exn p xs ys =
29773
+ let for_all2_no_exn xs ys p =
29774
29774
let len_xs = Array.length xs in
29775
29775
let len_ys = Array.length ys in
29776
29776
len_xs = len_ys &&
Original file line number Diff line number Diff line change @@ -11456,9 +11456,9 @@ val exists : ('a -> bool) -> 'a array -> bool
11456
11456
val is_empty : 'a array -> bool
11457
11457
11458
11458
val for_all2_no_exn :
11459
- ('a -> 'b -> bool) ->
11460
11459
'a array ->
11461
11460
'b array ->
11461
+ ('a -> 'b -> bool) ->
11462
11462
bool
11463
11463
11464
11464
val map :
@@ -11708,7 +11708,7 @@ let rec unsafe_loop index len p xs ys =
11708
11708
(Array.unsafe_get ys index) &&
11709
11709
unsafe_loop (succ index) len p xs ys
11710
11710
11711
- let for_all2_no_exn p xs ys =
11711
+ let for_all2_no_exn xs ys p =
11712
11712
let len_xs = Array.length xs in
11713
11713
let len_ys = Array.length ys in
11714
11714
len_xs = len_ys &&
Original file line number Diff line number Diff line change @@ -26379,9 +26379,9 @@ val exists : ('a -> bool) -> 'a array -> bool
26379
26379
val is_empty : 'a array -> bool
26380
26380
26381
26381
val for_all2_no_exn :
26382
- ('a -> 'b -> bool) ->
26383
26382
'a array ->
26384
26383
'b array ->
26384
+ ('a -> 'b -> bool) ->
26385
26385
bool
26386
26386
26387
26387
val map :
@@ -26631,7 +26631,7 @@ let rec unsafe_loop index len p xs ys =
26631
26631
(Array.unsafe_get ys index) &&
26632
26632
unsafe_loop (succ index) len p xs ys
26633
26633
26634
- let for_all2_no_exn p xs ys =
26634
+ let for_all2_no_exn xs ys p =
26635
26635
let len_xs = Array.length xs in
26636
26636
let len_ys = Array.length ys in
26637
26637
len_xs = len_ys &&
@@ -68886,7 +68886,7 @@ and for_sure_arity (x : arity) y =
68886
68886
match x, y with
68887
68887
| Single x0, Single y0 -> Lam_arity.equal x0 y0
68888
68888
| Submodule xs, Submodule ys ->
68889
- Ext_array.for_all2_no_exn Lam_arity.equal xs ys
68889
+ Ext_array.for_all2_no_exn xs ys Lam_arity.equal
68890
68890
| Single _, Submodule _ -> false
68891
68891
| Submodule _, Single _ -> false
68892
68892
and for_sure_eq_optional_lambda
Original file line number Diff line number Diff line change @@ -20,7 +20,8 @@ var sourceDirs =
20
20
'others' ,
21
21
'stdlib-406' ,
22
22
'runtime' ,
23
- 'test'
23
+ 'test' ,
24
+ 'ounit_tests'
24
25
]
25
26
26
27
You can’t perform that action at this time.
0 commit comments