rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Everything has joined #ocaml
Haudegen has quit [Ping timeout: 250 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Client Quit]
xgqt has joined #ocaml
waleee has quit [Ping timeout: 256 seconds]
<d_bot>
<kodwx> It's not a full replacement but just an extension
<d_bot>
<kodwx> Mainly to provide better documentation and better errors messages
Everything has left #ocaml [#ocaml]
<d_bot>
<Et7f3 (@me on reply)> Better documentation website ? Or just better documentation with examples ?
<d_bot>
<Et7f3 (@me on reply)> If it is better website you can try to improve odoc
zebrag has quit [Quit: Konversation terminated!]
gravicappa has joined #ocaml
<d_bot>
<kodwx> both
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<d_bot>
<octachron> If you want better documentation , it seems much more efficient to either contribute to the existing stdlib, or write tutorials and guides.
bobo has quit [Read error: Connection reset by peer]
bartholin has joined #ocaml
bobo has joined #ocaml
bartholin has quit [Remote host closed the connection]
bartholin has joined #ocaml
bartholin has quit [Ping timeout: 240 seconds]
gravicappa has quit [Ping timeout: 250 seconds]
bartholin has joined #ocaml
<d_bot>
<kodwx> I shall do that
<d_bot>
<kodwx> Although Ikigai is not a stdlib replacement, it will add functions which are neither present nor are supposed to be present in the stdlib
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
<d_bot>
<reynir> I see the rules for the discord server were updated. Is there a diff somewhere?
azimut has quit [Ping timeout: 240 seconds]
oriba has joined #ocaml
<d_bot>
<NULL> I'm pretty sure the rules didn't change, the links above were added
Haudegen has joined #ocaml
bartholin has quit [Ping timeout: 240 seconds]
bartholin has joined #ocaml
waleee has joined #ocaml
gravicappa has joined #ocaml
bartholin has quit [Ping timeout: 252 seconds]
bartholin has joined #ocaml
<d_bot>
<turbo> Why doesn't OCaml natively support multiple OS level Ocaml threads running simultaneously (i.e thread level parallelism)?
xd1le has quit [Quit: xd1le]
zebrag has joined #ocaml
<d_bot>
<EduardoRFS> this is a hard question to answer, multithreading with shared memory is not simple.
<d_bot>
<EduardoRFS>
<d_bot>
<EduardoRFS> But OCaml 5 which hopefully is released in a couple months will support it
bartholin has quit [Ping timeout: 252 seconds]
rond_ has joined #ocaml
bartholin has joined #ocaml
bartholin has quit [Ping timeout: 252 seconds]
rond_ has quit [Quit: Client closed]
bartholin has joined #ocaml
bartholin has quit [Ping timeout: 245 seconds]
kaph has quit [Read error: Connection reset by peer]
kaph has joined #ocaml
<d_bot>
<EduardoRFS> ```ocaml
<d_bot>
<EduardoRFS> type exn += private Something
<d_bot>
<EduardoRFS> ```
<d_bot>
<EduardoRFS> unexpected OCaml
<d_bot>
<andreypopp> I'm trying to load multiple .so with ocaml code (building with ctypes) into a process and it segfauls inside caml_apply2. I suspect this is because I have multiple copies of ocaml runtime.
<d_bot>
<andreypopp>
<d_bot>
<andreypopp> Tried to build one of the .so with -output-obj instead of -complete-output-obj but it still includes caml_apply2...
<d_bot>
<andreypopp>
<d_bot>
<andreypopp> Is this doable at all (having multiple .so inside a single process)?
andreypopp_ has joined #ocaml
bartholin has joined #ocaml
gravicappa has quit [Ping timeout: 240 seconds]
mro has joined #ocaml
<d_bot>
<Bluddy> Thanks.
spip has joined #ocaml
bobo has quit [Ping timeout: 256 seconds]
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
Everything has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
<d_bot>
<NULL> There's now one unnecessary space before #débutants (and one too many between OCaml and forum)
mro has quit [Remote host closed the connection]
andreypopp_ has quit [Quit: Connection closed for inactivity]
Serpent7776 has quit [Read error: Connection reset by peer]