03:20 <discocaml> <cod1r> hi

08:25 <rustyne> theblatte: lib/llvm/llvm.cmxa sounds more like where it should be; what is trying to find it in lib/ocaml and do you know why?

08:44 <discocaml> <lukstafi> Are there known causes of `No Docs` on opam.org if things work locally?

08:44 <discocaml> <lukstafi> Are there known causes of `No Docs` on opam.org/p/ if things work locally?

08:47 <discocaml> <hannes6838> you're refering to ocaml.org/p/, no? I suggest to open an issue at https://github.com/ocaml/ocaml.org with the package you're seeing "No docs", but which builds fine locally

08:48 <discocaml> <lukstafi> Ah yes, typo, sorry

12:20 <discocaml> <peuk> Is there an idiomatic way to build functions for a type that is built through a functor.

12:20 <discocaml> <peuk> Say for example that I want to build a function that works for any `Map.t` that associates `'a` to `'b`, what is the best way to do that?

12:25 <discocaml> <peuk> Is there an idiomatic way to build functions for a type that is built through a functor?

12:25 <discocaml> <peuk> Say for example that I want to build a function that works for any `Map.t` that associates `'a` to `'b`, what is the best way to do that?

12:27 <discocaml> <._null._> I don't know of any really satisfying way. Best I can think of is to overwrite the existing `Map.Make` functor by including the existing implementation and adding your function in there

13:04 <discocaml> <deepspacejohn> yeah, I think that writing your own functor that's a wrapper around the other functor is the best way. `module MyMap (Ord: Map.OrderedType) = struct include Map.Make(Ord) let my_func = ...`

13:49 <discocaml> <shon_18152> Hi, all! Just wanted to share here that we are looking to onboard new volunteers into opam-repository maintenance. This is open to all, and in particular I think it's a great way to make connections within the OCaml ecosystem and to learn heaps about every corner of it. More details are available on the discuss post:

13:49 <discocaml> <shon_18152> https://discuss.ocaml.org/t/call-for-volunteers-to-help-maintain-the-opam-repository/16476

15:15 <discocaml> <peuk> Well, Ok, so indeed, nothing really satisfying. Thanks!

15:30 <discocaml> <cemerick> I posted re: multithreaded interop between Java and OCaml, with mostly crickets in response 😆 I wonder if anyone here has any bright ideas? https://discuss.ocaml.org/t/coordinating-java-systhreads-domains/16470

19:30 <discocaml> <froyo> I totally forgot that ocamleditor exists and is still actively maintained

19:31 <discocaml> <froyo> https://github.com/ocamleditor/ocamleditor

19:33 <discocaml> <froyo> https://web.archive.org/web/20150428131314/http://ocamleditor.forge.ocamlcore.org/

19:34 <discocaml> <froyo> quality stuff

19:35 <discocaml> <froyo> quietly developing on github. I think that's the only place it exists on nowadats

19:35 <discocaml> <froyo> nowadays*

19:51 <discocaml> <gooby_diatonic> Wow, it's pretty much an IDE :0

19:53 <discocaml> <yawaramin> screenshot: https://web.archive.org/web/20150918202742/http://ocamleditor.forge.ocamlcore.org/ocamleditor.1.png

19:54 <discocaml> <gooby_diatonic> And then people say OCaml has no tooling!

20:00 <discocaml> <yawaramin> maybe if they distributed builds...

20:30 <discocaml> <kevin_graph> Hi long time OCaml user, I've only just started digging into OCaml 5 features. I'm working on an application where I'd like to do my own preemptive scheduling of domains (as in, run for some quantum of time, then interrupt). Is such a thing possible and if so is there a recommended way? I obviously could drop down to C but I'd prefer not to.

20:35 <companion_cube> The kernel schedules domains, what you want seems hard to do

20:37 <discocaml> <kevin_graph> I see.

21:10 <discocaml> <dubious245> Oh wow that looks awful.

21:11 <discocaml> <yawaramin> when people talk about writing schedulers for OCaml concurrency, they usually mean scheduling some light-weight library-level thread construct like a 'fiber' eg https://ocaml-multicore.github.io/eio/eio/Eio/Fiber/index.html

21:12 <discocaml> <dubious245> How would you do this in C? Even c code is beholden to the OS when running as a user application.

22:24 <dh`> it's perfectly feasible to implement your own thread switching

22:25 <dh`> you can't do it fully in C but it only takes about a dozen lines of asm

22:25 <dh`> then making that preemptible is just mucking with setitimer() and signals

22:25 <discocaml> <kevin_graph> Right that's what I meant

22:28 <discocaml> <kevin_graph> This will be neither performant nor accurate, but this is intended to be somewhat didactic code, so I might just check whether N amount of time has elapsed on each interpretation iteration (I am using `while...do` since I don't want to the ocaml stack since I need to be able to easily take continuations and inspect the stack in the host language)

22:29 <discocaml> <contificate> I don't really understand, do you want parallleism or not? Sounds like you want to multiplex over threads, many of which on a single domain, but then basically have a global runtime lock for the domains themselves

22:29 <discocaml> <contificate> parallelism* 🥴

22:56 <cedb> is there a way to have a list of arguments for the cli library by Core called Command? https://ocaml.janestreet.com/ocaml-core/v0.13/doc/core/Core/Command/Param/index.html

22:57 <cedb> alternatively maybe another library is simpler, i simply took it because its covered in the real world ocaml book but i can't for the life of figure out how to have a '$argv0 arg [arg ...]' interface

22:57 <cedb> ideally itd be parsed as a list

23:36 <companion_cube> dh`: how do you preempt a thread in assembly?