01:11 <companion_cube> completly foiled on my ambitious plan bc of that :(

04:13 <discocaml> <sim642> Interesting, I would've thought CamlInternalOO exists to avoid such circularities

04:23 <companion_cube> well it depends on stdlib :(

08:51 <gahr> I use dune with pkg management. Is there an option to tell dune to ignore rechecking everything at each build? It takes several seconds to go through some 300 rules that result in a no-op (I think I asked the same question ~1 year ago, curious if anything has changed in the meanwhile).

08:54 <gahr> http://people.freebsd.org/~gahr/dune.lock.tar.gz, in case.

09:19 <discocaml> <otini_> good question, I don’t know either.

10:50 <discocaml> <otini_> companion_cube: @octachron tells me that new code added to the Stdlib module should not depend on other standard modules

10:50 <discocaml> <otini_> because they depend on Stdlib themselves

10:50 <discocaml> <otini_> (Stdlib exports aliases of all standard modules but aliases don’t create dependencies)

11:00 <discocaml> <octachron> The exceptions are the Camlinternal* modules written in such way that they do not depend on Stdlib. But adding a dependency on CamlInternalOo to every OCaml programs sound like a bad idea.

11:13 <companion_cube> And so, no objects, I see

11:15 <companion_cube> With that + the quirks of =, I just can't do my poc for better channels 😩

11:36 <discocaml> <octachron> Why did you need to have objects in Stdlib for this purpose?

11:39 <discocaml> <octachron> If this is because the type definitions of the types are in Stdlib, note that objects types are perfectly fine in `Stdlib`.

11:44 <companion_cube> Objects are the only way to make channels extensible and still polymorphically comparable (sth needed since people put channels in hashtables)

11:44 <companion_cube> But you can't do this bc Stdlib.stdin, say, would need to create objects and that apparently brings camlinternaloo in

12:02 <discocaml> <octachron> `type in_channel = Compat of old_in_channel | Extensible of new_in_channel`, then you don't to extend the implementation in the `Stdlib` module, while keeping backward compatibility.

12:04 <companion_cube> It's just twice as much code

12:04 <companion_cube> I mean I guess I'll have to do that, but what a pity

12:10 <discocaml> <octachron> You could have a function `in_channel -> new_in_channel` to share code if this is a concern.

12:10 <companion_cube> No i mean it means keeping tons of C, the hacks for input_line, etc

12:11 <companion_cube> I almost had something with far less C but it's not going to work just because of =

16:21 <discocaml> <kitten3692> What is the IRC that CCbot mirrors from?

16:21 <discocaml> <._null._> > Bridges to #ocaml on libera

16:22 <discocaml> <kitten3692> Sorry what’s libera

16:22 <discocaml> <kitten3692> Is that another discord server?

16:22 <discocaml> <._null._> libera.chat, it is IRC

16:23 <discocaml> <._null._> (I didn't realise libera didn't appear near the top of search engine results)

16:23 <discocaml> <kitten3692> Yeah I was a tad puzzled

16:23 <discocaml> <kitten3692> Thanks?

16:23 <discocaml> <kitten3692> Thanks!