Leonidas changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.1.1 released: https://ocaml.org/releases/5.1.1 | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
pi3ce has quit [Quit: No Ping reply in 180 seconds.]
pi3ce has joined #ocaml
Tuplanolla has quit [Quit: Leaving.]
waleee has quit [Ping timeout: 255 seconds]
jabuxas has joined #ocaml
jabuxas has quit [Ping timeout: 268 seconds]
terrorjack has quit [Quit: The Lounge - https://thelounge.chat]
terrorjack has joined #ocaml
<dh`> eh? I thought I was answering your questions
<dh`> you asked about it originally...
zanetti has quit [Quit: zanetti]
anpad has quit [Quit: ZNC 1.8.2 - https://znc.in]
anpad has joined #ocaml
bartholin has joined #ocaml
Serpent7776 has joined #ocaml
waleee has joined #ocaml
bartholin has quit [Quit: Leaving]
hannes__ is now known as hannes
dnh has joined #ocaml
olle has joined #ocaml
<discocaml> <aantron> I'm going to stream porting Dream to Eio today at 14:00 CET (Berlin time). We're going all the way this time, it's going to take a few weeks, though https://www.twitch.tv/antron_ML
Anarchos has joined #ocaml
<olle> What's Eio?
<olle> Ah fibers and such
<discocaml> <JM> yeah, one of the multicore enable concurrency libraries
<olle> thanks :)
<Anarchos> silly question : if i do Unix.input with a size of 0, what will happen ?
<reynir> hm I don't find Unix.input
<olle> Anarchos: check the source maybe?
<reynir> if you mean Unix.read it would do the same as read(2) (man -s2 read)
torretto_ has quit [Ping timeout: 260 seconds]
duncan has quit [Remote host closed the connection]
patrick__ has quit [Remote host closed the connection]
lane has quit [Write error: Connection reset by peer]
henrytill has quit [Write error: Connection reset by peer]
whereiseveryone has quit [Write error: Connection reset by peer]
toastal has quit [Write error: Connection reset by peer]
soni_ has quit [Remote host closed the connection]
arya_elfren has quit [Remote host closed the connection]
pluviaq has quit [Read error: Connection reset by peer]
jakzale has quit [Remote host closed the connection]
immutable has quit [Read error: Connection reset by peer]
richardhuxton has quit [Remote host closed the connection]
ursa-major has quit [Write error: Connection reset by peer]
b0o has quit [Read error: Connection reset by peer]
seeg has quit [Remote host closed the connection]
kuruczgy has quit [Write error: Broken pipe]
_alix has quit [Remote host closed the connection]
philipwhite has quit [Remote host closed the connection]
migalmoreno has quit [Remote host closed the connection]
Ankhers has quit [Read error: Connection reset by peer]
pmk has quit [Read error: Connection reset by peer]
brettgilio has quit [Read error: Connection reset by peer]
ymherklotz has quit [Read error: Connection reset by peer]
ggb has quit [Read error: Connection reset by peer]
sleepydog has quit [Remote host closed the connection]
ggb has joined #ocaml
lane has joined #ocaml
pmk has joined #ocaml
brettgilio has joined #ocaml
arya_elfren has joined #ocaml
philipwhite has joined #ocaml
jakzale has joined #ocaml
patrick__ has joined #ocaml
pluviaq has joined #ocaml
kuruczgy has joined #ocaml
richardhuxton has joined #ocaml
migalmoreno has joined #ocaml
toastal has joined #ocaml
ursa-major has joined #ocaml
whereiseveryone has joined #ocaml
b0o has joined #ocaml
Ankhers has joined #ocaml
_alix has joined #ocaml
ymherklotz has joined #ocaml
immutable has joined #ocaml
henrytill has joined #ocaml
seeg has joined #ocaml
soni_ has joined #ocaml
duncan has joined #ocaml
sleepydog has joined #ocaml
jakzale has left #ocaml [ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1)]
<Anarchos> reynir Stdlib.input, sorry
torretto has joined #ocaml
<discocaml> <_ggole> https://github.com/ocaml/ocaml/blob/991f6710bad011868d46edb5d609ce251d1d1854/runtime/io.c#L998 There's the primitive in question; if I am understanding the code it will simply lock the channel, fall into the first case (`n <= avail`), do a few no ops there, unlock the channel and return
a51 has joined #ocaml
<Anarchos> _ggole cause the doc says it returns the number of bytes read, and if it is 0 it means an end-of-file. But if we ask for 0, it doesn't mean an end-of-file though. Edge case i know....
germ has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
torretto has quit [Ping timeout: 260 seconds]
torretto has joined #ocaml
waleee has quit [Ping timeout: 260 seconds]
<discocaml> <_ggole> Ah, I see. The correct EOF test would probably be `return_value = 0 && n > 0`; or you could wrap `input` so as to avoid passing it the zero.
jabuxas has joined #ocaml
myrkraverk_ has joined #ocaml
myrkraverk has quit [Read error: Connection reset by peer]
<Anarchos> _ggole exactly? I was
<Anarchos> just pointing that the doc is not clear on the edge case behaviour.
torretto has quit [Remote host closed the connection]
torretto has joined #ocaml
<discocaml> <_ggole> Yeah, that should probably be mentioned.
jabuxas has quit [Ping timeout: 256 seconds]
szkl has joined #ocaml
<reynir> I have lines in my .vimrc to use ocp-indent, but still the vim distribution's indent file for ocaml takes precedense. Any hints whatI can do? execute "set rtp+=" . g:opamshare . "/ocp-indent/vim"
olle has quit [Ping timeout: 246 seconds]
<Anarchos> try ^= instead of +=
zanetti has joined #ocaml
torretto has quit [Remote host closed the connection]
torretto has joined #ocaml
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dnh has joined #ocaml
dnh has quit [Client Quit]
Serpent7776 has quit [Ping timeout: 264 seconds]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
pi3ce has quit [Ping timeout: 268 seconds]
pi3ce has joined #ocaml
bartholin has joined #ocaml
Tuplanolla has joined #ocaml
<discocaml> <functionalprogramming> will this change the external API of Dream?
<discocaml> <aantron> Mostly promises (Lwt.t) will be gone
Anarchos has joined #ocaml
<discocaml> <functionalprogramming> interesting
<discocaml> <functionalprogramming> will they be replaced by some other wrapper? or will something like `'a Lwt.t` become just `'a`
dnh has joined #ocaml
<discocaml> <functionalprogramming> thanks
gentauro has quit [Read error: Connection reset by peer]
buoy49__ has joined #ocaml
m5zs7k_ has joined #ocaml
m5zs7k has quit [Quit: m5zs7k]
bacam has quit [Ping timeout: 264 seconds]
bacam_ has joined #ocaml
pie_ has quit [Ping timeout: 260 seconds]
rwmjones has quit [Ping timeout: 260 seconds]
buoy49_ has quit [Ping timeout: 260 seconds]
vsiles has quit [Ping timeout: 260 seconds]
Leonidas has quit [Ping timeout: 260 seconds]
process0 has quit [Ping timeout: 260 seconds]
Johann has quit [Ping timeout: 260 seconds]
vsiles has joined #ocaml
pie_ has joined #ocaml
Johann has joined #ocaml
process0 has joined #ocaml
Leonidas has joined #ocaml
rwmjones has joined #ocaml
gentauro has joined #ocaml
Anarchos has quit [Ping timeout: 272 seconds]
torretto_ has joined #ocaml
m5zs7k_ is now known as m5zs7k
torretto has quit [Ping timeout: 260 seconds]
waleee has joined #ocaml
olle has joined #ocaml
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dnh has joined #ocaml
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
szkl has quit [Quit: Connection closed for inactivity]
dnh has joined #ocaml
szkl has joined #ocaml
Anarchos has joined #ocaml
bartholin has quit [Quit: Leaving]
Anarchos has quit [Ping timeout: 256 seconds]
Anarchos has joined #ocaml
olle has quit [Ping timeout: 268 seconds]
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
pi3ce has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
zanetti has quit [Quit: zanetti]
<discocaml> <dinosaure> If you are interested, I actually did a support of http/1.1 and h2 with miou (without upgrade) here: https://github.com/robur-coop/httpcats
<discocaml> <dinosaure> It's clearly experimental and I'm currently try to formalize cancellation for miou, so I will probably rewrite it according to what I had done, but it exists and as far as I can tell, it's working
<Anarchos> here are the only 3 tests failed on x86_64 haiku when adding native backend : tests/lib-format/mc_pr586_par2.ml tests/lib-sys/rename.ml tests/lib-unix/unix-socket/recvfrom_unix.ml
szkl has quit [Quit: Connection closed for inactivity]
waleee has quit [Ping timeout: 256 seconds]