Skip to content

Commit 855f222

Browse files
bobzhangbobzhang
committed
snapshot
1 parent 5718569 commit 855f222

File tree

8 files changed

+116
-3
lines changed

8 files changed

+116
-3
lines changed

‎lib/4.06.1/bsb.ml

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -242,6 +242,11 @@ val for_all2_no_exn :
242242
('a -> 'b -> bool) ->
243243
bool
244244

245+
val for_alli :
246+
'a array ->
247+
(int -> 'a -> bool) ->
248+
bool
249+
245250
val map :
246251
'a array ->
247252
('a -> 'b) ->
@@ -501,6 +506,14 @@ let rec unsafe_loop index len p xs ys =
501506
(Array.unsafe_get ys index) &&
502507
unsafe_loop (succ index) len p xs ys
503508

509+
let for_alli a p =
510+
let n = Array.length a in
511+
let rec loop i =
512+
if i = n then true
513+
else if p i (Array.unsafe_get a i) then loop (succ i)
514+
else false in
515+
loop 0
516+
504517
let for_all2_no_exn xs ys p =
505518
let len_xs = Array.length xs in
506519
let len_ys = Array.length ys in

‎lib/4.06.1/unstable/all_ounit_tests.ml

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1338,6 +1338,11 @@ val for_all2_no_exn :
13381338
('a -> 'b -> bool) ->
13391339
bool
13401340

1341+
val for_alli :
1342+
'a array ->
1343+
(int -> 'a -> bool) ->
1344+
bool
1345+
13411346
val map :
13421347
'a array ->
13431348
('a -> 'b) ->
@@ -1597,6 +1602,14 @@ let rec unsafe_loop index len p xs ys =
15971602
(Array.unsafe_get ys index) &&
15981603
unsafe_loop (succ index) len p xs ys
15991604

1605+
let for_alli a p =
1606+
let n = Array.length a in
1607+
let rec loop i =
1608+
if i = n then true
1609+
else if p i (Array.unsafe_get a i) then loop (succ i)
1610+
else false in
1611+
loop 0
1612+
16001613
let for_all2_no_exn xs ys p =
16011614
let len_xs = Array.length xs in
16021615
let len_ys = Array.length ys in

‎lib/4.06.1/unstable/bsb_native.ml

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -242,6 +242,11 @@ val for_all2_no_exn :
242242
('a -> 'b -> bool) ->
243243
bool
244244

245+
val for_alli :
246+
'a array ->
247+
(int -> 'a -> bool) ->
248+
bool
249+
245250
val map :
246251
'a array ->
247252
('a -> 'b) ->
@@ -501,6 +506,14 @@ let rec unsafe_loop index len p xs ys =
501506
(Array.unsafe_get ys index) &&
502507
unsafe_loop (succ index) len p xs ys
503508

509+
let for_alli a p =
510+
let n = Array.length a in
511+
let rec loop i =
512+
if i = n then true
513+
else if p i (Array.unsafe_get a i) then loop (succ i)
514+
else false in
515+
loop 0
516+
504517
let for_all2_no_exn xs ys p =
505518
let len_xs = Array.length xs in
506519
let len_ys = Array.length ys in

‎lib/4.06.1/unstable/bspack.ml

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6971,6 +6971,11 @@ val for_all2_no_exn :
69716971
('a -> 'b -> bool) ->
69726972
bool
69736973

6974+
val for_alli :
6975+
'a array ->
6976+
(int -> 'a -> bool) ->
6977+
bool
6978+
69746979
val map :
69756980
'a array ->
69766981
('a -> 'b) ->
@@ -7230,6 +7235,14 @@ let rec unsafe_loop index len p xs ys =
72307235
(Array.unsafe_get ys index) &&
72317236
unsafe_loop (succ index) len p xs ys
72327237

7238+
let for_alli a p =
7239+
let n = Array.length a in
7240+
let rec loop i =
7241+
if i = n then true
7242+
else if p i (Array.unsafe_get a i) then loop (succ i)
7243+
else false in
7244+
loop 0
7245+
72337246
let for_all2_no_exn xs ys p =
72347247
let len_xs = Array.length xs in
72357248
let len_ys = Array.length ys in

‎lib/4.06.1/unstable/js_compiler.ml

Lines changed: 17 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -66551,6 +66551,11 @@ val for_all2_no_exn :
6655166551
('a -> 'b -> bool) ->
6655266552
bool
6655366553

66554+
val for_alli :
66555+
'a array ->
66556+
(int -> 'a -> bool) ->
66557+
bool
66558+
6655466559
val map :
6655566560
'a array ->
6655666561
('a -> 'b) ->
@@ -66810,6 +66815,14 @@ let rec unsafe_loop index len p xs ys =
6681066815
(Array.unsafe_get ys index) &&
6681166816
unsafe_loop (succ index) len p xs ys
6681266817

66818+
let for_alli a p =
66819+
let n = Array.length a in
66820+
let rec loop i =
66821+
if i = n then true
66822+
else if p i (Array.unsafe_get a i) then loop (succ i)
66823+
else false in
66824+
loop 0
66825+
6681366826
let for_all2_no_exn xs ys p =
6681466827
let len_xs = Array.length xs in
6681566828
let len_ys = Array.length ys in
@@ -88737,7 +88750,10 @@ and expression_desc cxt ~(level:int) f x : cxt =
8873788750
fields el
8873888751
(fun x -> Js_op.Lit (Ext_ident.convert x) ))))
8873988752
(*name convention of Record is slight different from modules*)
88740-
| Caml_block(el,_, _, Blk_record fields) ->
88753+
| Caml_block(el,mutable_flag, _, Blk_record fields) ->
88754+
if Ext_array.for_alli fields (fun i v -> string_of_int i = v) then
88755+
expression_desc cxt ~level f (Array (el, mutable_flag))
88756+
else
8874188757
expression_desc cxt ~level f (Object
8874288758
((Ext_list.combine_array fields el (fun i -> Js_op.Lit i))))
8874388759

‎lib/4.06.1/unstable/js_refmt_compiler.ml

Lines changed: 17 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -66551,6 +66551,11 @@ val for_all2_no_exn :
6655166551
('a -> 'b -> bool) ->
6655266552
bool
6655366553

66554+
val for_alli :
66555+
'a array ->
66556+
(int -> 'a -> bool) ->
66557+
bool
66558+
6655466559
val map :
6655566560
'a array ->
6655666561
('a -> 'b) ->
@@ -66810,6 +66815,14 @@ let rec unsafe_loop index len p xs ys =
6681066815
(Array.unsafe_get ys index) &&
6681166816
unsafe_loop (succ index) len p xs ys
6681266817

66818+
let for_alli a p =
66819+
let n = Array.length a in
66820+
let rec loop i =
66821+
if i = n then true
66822+
else if p i (Array.unsafe_get a i) then loop (succ i)
66823+
else false in
66824+
loop 0
66825+
6681366826
let for_all2_no_exn xs ys p =
6681466827
let len_xs = Array.length xs in
6681566828
let len_ys = Array.length ys in
@@ -88737,7 +88750,10 @@ and expression_desc cxt ~(level:int) f x : cxt =
8873788750
fields el
8873888751
(fun x -> Js_op.Lit (Ext_ident.convert x) ))))
8873988752
(*name convention of Record is slight different from modules*)
88740-
| Caml_block(el,_, _, Blk_record fields) ->
88753+
| Caml_block(el,mutable_flag, _, Blk_record fields) ->
88754+
if Ext_array.for_alli fields (fun i v -> string_of_int i = v) then
88755+
expression_desc cxt ~level f (Array (el, mutable_flag))
88756+
else
8874188757
expression_desc cxt ~level f (Object
8874288758
((Ext_list.combine_array fields el (fun i -> Js_op.Lit i))))
8874388759

‎lib/4.06.1/unstable/native_ppx.ml

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9333,6 +9333,11 @@ val for_all2_no_exn :
93339333
('a -> 'b -> bool) ->
93349334
bool
93359335

9336+
val for_alli :
9337+
'a array ->
9338+
(int -> 'a -> bool) ->
9339+
bool
9340+
93369341
val map :
93379342
'a array ->
93389343
('a -> 'b) ->
@@ -9592,6 +9597,14 @@ let rec unsafe_loop index len p xs ys =
95929597
(Array.unsafe_get ys index) &&
95939598
unsafe_loop (succ index) len p xs ys
95949599

9600+
let for_alli a p =
9601+
let n = Array.length a in
9602+
let rec loop i =
9603+
if i = n then true
9604+
else if p i (Array.unsafe_get a i) then loop (succ i)
9605+
else false in
9606+
loop 0
9607+
95959608
let for_all2_no_exn xs ys p =
95969609
let len_xs = Array.length xs in
95979610
let len_ys = Array.length ys in

‎lib/4.06.1/whole_compiler.ml

Lines changed: 17 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6627,6 +6627,11 @@ val for_all2_no_exn :
66276627
('a -> 'b -> bool) ->
66286628
bool
66296629

6630+
val for_alli :
6631+
'a array ->
6632+
(int -> 'a -> bool) ->
6633+
bool
6634+
66306635
val map :
66316636
'a array ->
66326637
('a -> 'b) ->
@@ -6886,6 +6891,14 @@ let rec unsafe_loop index len p xs ys =
68866891
(Array.unsafe_get ys index) &&
68876892
unsafe_loop (succ index) len p xs ys
68886893

6894+
let for_alli a p =
6895+
let n = Array.length a in
6896+
let rec loop i =
6897+
if i = n then true
6898+
else if p i (Array.unsafe_get a i) then loop (succ i)
6899+
else false in
6900+
loop 0
6901+
68896902
let for_all2_no_exn xs ys p =
68906903
let len_xs = Array.length xs in
68916904
let len_ys = Array.length ys in
@@ -381947,7 +381960,10 @@ and expression_desc cxt ~(level:int) f x : cxt =
381947381960
fields el
381948381961
(fun x -> Js_op.Lit (Ext_ident.convert x) ))))
381949381962
(*name convention of Record is slight different from modules*)
381950-
| Caml_block(el,_, _, Blk_record fields) ->
381963+
| Caml_block(el,mutable_flag, _, Blk_record fields) ->
381964+
if Ext_array.for_alli fields (fun i v -> string_of_int i = v) then
381965+
expression_desc cxt ~level f (Array (el, mutable_flag))
381966+
else
381951381967
expression_desc cxt ~level f (Object
381952381968
((Ext_list.combine_array fields el (fun i -> Js_op.Lit i))))
381953381969

0 commit comments

Comments
 (0)