09:19 <ArthurStrong> Hi all. Is there a standard function to slice a list by n-item parts? like [1;2;3;4;5;6] by 2-item sublists -> [1;2];[3;4];[5;6]

09:23 <ArthurStrong> also, it is possible in utop to print (in debug mode) all function arguments during execution?

09:23 <ArthurStrong> I want to debug a recursive function...

09:48 <haesbaert> ArthurStrong: I think List.partition with an external ref counter is your smallest solution

09:50 <haesbaert> oh I misread, disregard me.

09:51 <ArthurStrong> haesbaert: thanks for the idea

10:23 <ArthurStrong> I have an issue with List.iter

10:23 <ArthurStrong> I just want to run a function for each element in list

10:23 <ArthurStrong> but...

10:23 <ArthurStrong> Error: This expression has type string list -> unit but an expression was expected of type 'a list

10:23 <ArthurStrong> my function has signature string list -> unit, OK

10:23 <ArthurStrong> but what List.iter wants?

10:24 <abc_> This is List.iter's signature: 'a list -> f:('a -> unit) -> unit = <fun>

10:25 <ArthurStrong> what should I do?

10:26 <abc_> I don't know either, still learning it, and saw your question by accident.

10:26 <ArthurStrong> oh I just supplied arguments in wrong order. neverming. thanks!

10:31 <schube[m]> lubegasimon: assuming you're asking how OCaml infers that x has type (int, string) pair without you writing the type explicitly? The answer to that is that OCaml knows that "the key `first` belongs to type `('a, 'b) pair`", therefore when you use a literal which has this key it will infer that it is `('a, 'b) pair. If you define another record type with a key named `first` in the same module you may run into trouble because

10:31 <schube[m]> OCaml will then infer that new record type so you should try to keep these keys unique within a module.

10:32 <abc_> ArthurStrong: Congratulate!

10:49 <ArthurStrong> (utop) anyway, is it possible to log all function arguments for debugging?

13:01 <ArthurStrong> I'm trying to read a text fil

13:01 <ArthurStrong> file

13:01 <ArthurStrong> but getting: Error: The module In_channel is an alias for module Core_kernel__.Import.In_channel, which is missing

13:01 <ArthurStrong> however, I do "open Core"

13:01 <ArthurStrong> what is this?

13:03 <ArthurStrong> "open Core_kernel" - no luck as well

13:04 <ArthurStrong> let f = In_channel.read_lines "tmp";;

13:14 <ArthurStrong> excuse me, but Ocaml's system of modules is just crappy. is there a standard set of them?

13:15 <ArthurStrong> what should I use and what shouldn't?

13:39 <ArthurStrong> oh, I should "open Stdio"

14:49 <ArthurStrong> Anyway. is there a guide on ocaml libraries? Standard, non-standard, batteries, etc?

14:49 <ArthurStrong> I just confused totaly

14:49 <ArthurStrong> and lost

14:59 <Fardale> ArthurStrong: you can look here https://ocamlverse.github.io/content/standard_libraries.html

15:00 <ArthurStrong> Fardale: thanks!

19:54 <ollehar2> String.trim not working on bytes?

19:54 <ollehar2> https://stackoverflow.com/questions/61447032/cannot-trim-string-bytes-in-ocaml-4-05

19:56 <def> trimming does not remove \000

19:56 <ollehar2> @def It also doesn't remove \n

19:57 <ollehar2> In my test, at least :|

19:57 <def> it does here

19:57 <def> but it only removes the whitespaces at the beginning and at the end

19:58 <def> in your example there are \000 after, so it won't remove \n

19:58 <ollehar2> aha!

19:58 <ollehar2> @def So how do I remove \000?

19:58 <ollehar2> Manually with regexp?

19:59 <ollehar2> Hm, gonna run some tests.

19:59 <def> it depends what you want to achieve

19:59 <def> remove characters anywhere in the string, or just at the end?

19:59 <def> or maybe you want to take the substring that ends before the first \000?

20:00 <ollehar2> I wanna keep the entered string without \n, in this case "asd".

20:01 <ollehar2> String.length returns 100

20:01 <def> but how come you get the \000 ?

20:01 <ollehar2> From Bytes.create?

20:01 <def> (input_line stdin might directly achieve what you want)

20:02 <def> oh, then maybe (Bytes.sub_string buffer 0 bytes_read)

20:02 <ollehar2> From which module?

20:02 <def> pervasives.

20:02 <ollehar2> ok cool

20:03 <def> it uses the channel abstraction (similar to the C FILE* type)

20:04 <ollehar2> Yes, both works good, thank you!

20:04 <def> np

22:27 <Kaedenn> Can I get more output from ocamlc than just "Syntax error on line X column Y"?