I added array and array1 as I was tired of writing let* x = list y in let x = Array.of_list x.
I copy-pasted the new pp_print_iter from the Stdlib and redefined pp_list with it (and added pp_array).
The code for generating the arrays is calling list and list1 and then converting them to arrays. It's probably not the more efficient way to write it but the diff is short and it's obviously correct.
Hi,
I added
array
andarray1
as I was tired of writinglet* x = list y in let x = Array.of_list x
.I copy-pasted the new
pp_print_iter
from the Stdlib and redefinedpp_list
with it (and addedpp_array
).The code for generating the arrays is calling
list
andlist1
and then converting them to arrays. It's probably not the more efficient way to write it but the diff is short and it's obviously correct.