13:23 <discocaml> <pitagha> thanks for bringing up the topic of the OCaml Workshop 2024!! 🙂 the accepted talks for the workshop [are public](https://icfp24.sigplan.org/home/ocaml-2024#event-overview) ! so, there you can also find the one you've mentioned about ChorCaml.

13:23 <discocaml> <pitagha>

13:23 <discocaml> <pitagha> there's more info on [this post](https://discuss.ocaml.org/t/ocaml-workshop-2024-at-icfp-announcement-and-call-for-proposals/14371/13) 😄

13:25 <discocaml> <pitagha> btw, before I forget: the registration for the workshops and the whole conference [is open already](https://icfp24.sigplan.org/attending/registration). there’s currently an early bird discount, which **ends on August 3rd**

15:04 <discocaml> <lukstafi> Why do I get this signature (in Merlin)? Names redacted. `?x:< hidden > -> (module MT with type d = 'd) -> 'd array` The function is `let f (type d) ?(x : int option) (m : (module MT with type d = d)) = ...`

15:06 <discocaml> <lukstafi> `let f (type d) ?(x : int option) (m : (module MT with type d = d)) : d array = ...`

15:07 <discocaml> <lukstafi> Ah, moving the type fixes it: `let f ?(x : int option) (type d) (m : (module MT with type d = d)) : d array = ...`

15:54 <discocaml> <._null._> I can't reproduce your issue

16:03 <discocaml> <lukstafi> https://cdn.discordapp.com/attachments/436568060288172044/1262801716819136563/image.png?ex=6697eb3f&is=669699bf&hm=269987a4b8f187eb3f016de3b91580dd828f41a43c410666b4d726f41f1c2ec1&

16:06 <discocaml> <lukstafi> It's missing some detail. The body has `let module M = (val m : Backend_type with type device = d) in ...` and then the result has type `M.device array` .

16:06 <discocaml> <._null._> Does it print the same type with a toplevel ?

16:09 <discocaml> <lukstafi> BTW it's just a bit curious, not a problem.

16:10 <discocaml> <octachron> Does the `<hidden>` part disappear by moving the `(type d)` argument?

16:10 <discocaml> <lukstafi> Yes, it becomes the correct type when `(type d)` is to the right of it.

16:11 <discocaml> <octachron> And by the `right type`, you mean that the option type is correctly printed?

16:12 <discocaml> <lukstafi> Yes.

16:12 <discocaml> <lukstafi> https://cdn.discordapp.com/attachments/436568060288172044/1262803942971281540/image.png?ex=6697ed51&is=66969bd1&hm=fad2646ccc66c8369d36872b7b507365cbe0e4c1a59fb9c69ce521148868ef03&

16:16 <discocaml> <lukstafi> Trying in the toplevel was too much effort, but the funny thing persists in the auto-generated interface file: `val f : ?x:<hidden> -> (module Backend_type with type device = 'd) -> 'd array`

16:38 <discocaml> <lukstafi> Also, later, `f m` doesn't work but `let module M = (val m) in f (module M)` works -- note no extra type annotations.

16:45 <discocaml> <octachron> The two are not equivalent if `m` is packed at a different module type.

19:18 <discocaml> <coolccat> I want to process Java bytecode using OCaml. What's the best way to do this... and would it be recomended to just use a Java library + lang instead?

19:37 <discocaml> <sim642> Apparently there is javalib on opam, but I haven't tried it

19:39 <discocaml> <sim642> It doesn't seem entirely dead but also not too active, so its bytecode version support might be lagging