Leonidas changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.13.0 released: https://ocaml.org/releases/4.13.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
<GreaseMonkey> if ~1.618 is optimal then maybe the choice of 1.5 was chosen on the basis that it's old+(old lsr 1) which is quick to compute
humasect has joined #ocaml
<companion_cube> I do like `old + (old lsr 1) + 5` or sth like that
<companion_cube> give a little extra kick at the beginning
<companion_cube> maybe it's a bit too much
<d_bot> <Et7f3> Why it is in noalloc and still allocate ????
<d_bot> <Et7f3> (Do you see reply on IRC ?)
olle has quit [Ping timeout: 256 seconds]
oriba has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
humasect has quit [Ping timeout: 240 seconds]
vicfred has quit [Quit: Leaving]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<energizer> i am on irc and i see it
<energizer> well, i see <Et7f3> (Do you see reply on IRC ?)
<d_bot> <NULL> You see nothing related to the fact that I replied to your previous message, right ?
<energizer> right
<energizer> so i guess the answer is no, i dont see it
rgrinberg has joined #ocaml
perrierjouet has quit [Quit: WeeChat 3.4]
perrierjouet has joined #ocaml
TakinOver has joined #ocaml
brettgilio has quit [Ping timeout: 268 seconds]
chrisz has quit [Ping timeout: 260 seconds]
chrisz has joined #ocaml
perrierjouet has quit [Quit: WeeChat 3.4]
perrierjouet has joined #ocaml
perrierjouet has quit [Quit: WeeChat 3.4]
perrierjouet has joined #ocaml
unyu has quit [Quit: brb]
humasect has joined #ocaml
waleee has quit [Ping timeout: 256 seconds]
terrorjack has quit [Quit: The Lounge - https://thelounge.chat]
terrorjack has joined #ocaml
mbuf has joined #ocaml
williewillus has quit [Quit: The Lounge - https://thelounge.chat]
thelounge78 has joined #ocaml
thelounge78 has quit [Remote host closed the connection]
humasect has quit [Quit: Leaving...]
thelounge78 has joined #ocaml
thelounge78 has quit [Quit: The Lounge - https://thelounge.chat]
hackinghorn has quit [Quit: Leaving]
thelounge78 has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
gravicappa has joined #ocaml
Haudegen has joined #ocaml
zebrag has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
Serpent7776 has joined #ocaml
kaph has quit [Ping timeout: 240 seconds]
wyrd has quit [Ping timeout: 276 seconds]
wyrd has joined #ocaml
shawnw has joined #ocaml
olle has joined #ocaml
<d_bot> <darrenldl> @glennsl working on test suite now, new version of timedesc should be up soon
perrierjouet has quit [Quit: WeeChat 3.4]
perrierjouet has joined #ocaml
xgqt has quit [Ping timeout: 256 seconds]
mro has joined #ocaml
xgqt has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
gwizon has joined #ocaml
perrierjouet has quit [Quit: WeeChat 3.4]
perrierjouet has joined #ocaml
waleee has joined #ocaml
perrierjouet has quit [Quit: WeeChat 3.4]
perrierjouet has joined #ocaml
wyrd has quit [Ping timeout: 276 seconds]
perrierjouet has quit [Quit: WeeChat 3.4]
perrierjouet has joined #ocaml
mro has quit [Remote host closed the connection]
<d_bot> <Jektrix> Finally got around to playing with timere today
<d_bot> <Jektrix> just in utop
bobo_ has quit [Ping timeout: 240 seconds]
spip has joined #ocaml
<d_bot> <Jektrix> looks like the sexp to_string and of_string will be key for me so I can store it in my database
<rwmjones> menhir has broken everything :-(
<rwmjones> does anyone know why you can no longer pass a terminal to a function, as here:
<rwmjones> http://git.annexia.org/?p=goals.git;a=blob;f=src/parser.mly;h=9b1a91247767be286ec48f691b1c54bca8432837;hb=HEAD#l100
<rwmjones> File "src/parser.mly", line 102, characters 33-37:
<rwmjones> Error: Unbound value file
<d_bot> <darrenldl> @Jektrix yeah not a bad idea - they are stable and lossless
<d_bot> <darrenldl> except when you change time zone db drastically i guess, pulling the rug underneath oneself
<d_bot> <Jektrix> Sounds like you speak from experience there
<d_bot> <Jektrix> in what circumstances would you change timezone db
<d_bot> <darrenldl> uh...corrupted time zone db on OS i guess
<d_bot> <darrenldl> though timedesc doesnt use the OS copy of tzdb
<d_bot> <darrenldl> so not really an occurrence unless you ship your own tzdb
<d_bot> <darrenldl> just closer to a technical limitation than anything to be expected in practice
<d_bot> <darrenldl> since the only alternative is to attach the full copy of tzdb to every timere expression for them to be 100% lossless
<octachron_> rwmjones, I am not sure if that was intended to work before? It sounds like the best path is to either have a look at the generated code, or to use a hook that is patched to be `file` after the fact.
<octachron_> rwmjones, it looks like it the type inference that is failing, did you try to define a dummy `let file: ... = assert false` in the header?
mbuf has quit [Quit: Leaving]
<rwmjones> it certainly did work before, and it works with --code-ancient
<rwmjones> I will try ...
gopcode has joined #ocaml
unyu has joined #ocaml
gwizon has quit [Ping timeout: 240 seconds]
salkin-mada has joined #ocaml
salkin-mada has quit [Client Quit]
gravicappa has quit [Ping timeout: 256 seconds]
Haudegen has quit [Quit: Bin weg.]
gopcode has quit [Quit: Client closed]
<d_bot> <joris> I finally found why doc generation of module indices was broken for me ! https://github.com/ocaml/odoc/pull/819
<d_bot> <joris> i was becoming crazy
bartholin has joined #ocaml
TakinOver has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
Haudegen has joined #ocaml
mro has joined #ocaml
salkin-mada has joined #ocaml
kaph has joined #ocaml
hackinghorn has joined #ocaml
humasect has joined #ocaml
bobo_ has joined #ocaml
spip has quit [Ping timeout: 256 seconds]
Serpent7776 has quit [Read error: Connection reset by peer]
waleee has quit [Quit: WeeChat 3.4]
Serpent7776 has joined #ocaml
salkin-mada has quit [Quit: salkin-mada]
salkin-mada has joined #ocaml
salkin-mada has quit [Client Quit]
shawnw has quit [Ping timeout: 256 seconds]
olle has quit [Ping timeout: 240 seconds]
zebrag has joined #ocaml
Soni has quit [Ping timeout: 260 seconds]
gwizon has joined #ocaml
humasect has quit [Quit: Leaving...]
bartholin has quit [Quit: Leaving]
gwizon has quit [Ping timeout: 256 seconds]
gravicappa has joined #ocaml
mro has quit [Remote host closed the connection]
waleee has joined #ocaml
<d_bot> <cemerick> Looks like there's no deriving plugin for data-encoding yet?
<d_bot> <joris> what do you mean by data encoding ?
<companion_cube> it's a library I think?
mro has joined #ocaml
<d_bot> <cemerick> indeed; I created an issue to see if it's on the docket at all https://gitlab.com/nomadic-labs/data-encoding/-/issues/45 @joris
<d_bot> <cemerick> I currently use `Marshal` in certain corners, but wouldn't mind moving to something safer
Corbin has quit [Ping timeout: 268 seconds]
humasect has joined #ocaml
<d_bot> <joris> i see. First time i see it. If there is something we don't like, it is serialization framework 😄
<d_bot> <cemerick> the bytes must flow
mro has quit [Ping timeout: 256 seconds]
octachron_ is now known as octachron
rgrinberg has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
<companion_cube> heh, a hot topic today
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mro has joined #ocaml
mro has quit [Ping timeout: 250 seconds]
Soni has joined #ocaml
Haudegen has joined #ocaml
humasect has quit [Quit: Leaving...]
mro has joined #ocaml
salkin-mada has joined #ocaml
waleee has quit [Ping timeout: 260 seconds]
waleee has joined #ocaml
hackinghorn has quit [Ping timeout: 256 seconds]
mro has quit [Ping timeout: 250 seconds]
rgrinberg has joined #ocaml
salkin-mada has quit [Quit: salkin-mada]
salkin-mada has joined #ocaml
salkin_mada has joined #ocaml
salkinmada has joined #ocaml
mro has joined #ocaml
keyboard has joined #ocaml
gwizon has joined #ocaml
mro has quit [Ping timeout: 256 seconds]
keyboard_ has joined #ocaml
mro has joined #ocaml
keyboard_ has quit [Client Quit]
olle has joined #ocaml
salkin has quit [Quit: salkin]
qwr has joined #ocaml
salkin has joined #ocaml
keyboard_ has joined #ocaml
keyboard_ has quit [Client Quit]
salkinmada has quit [Quit: salkinmada]
salkin_mada has quit [Quit: salkin_mada]
salkin has quit [Client Quit]
salkin-mada has quit [Quit: salkin-mada]
<d_bot> <d4hines> I have an `Lwt_io.input Lwt_io.channel` that I'd like to read a JSON value from. What's the best way to do this? We're using `yojson` already which provides functions to do this for `Stdlb.channel`'s, but I'm not sure how to compose this with `Lwt`.
<companion_cube> is your input a single json value?
keyboard has quit [Quit: keyboard]
<d_bot> <d4hines> One process is sending a json value every now and then over a unix pipe to another process. So there are multiple JSON values over time, but only one at a time is sent.
Serpent7776 has quit [Read error: Connection reset by peer]
salkin has joined #ocaml
Serpent7776 has joined #ocaml
<d_bot> <orbitz> You need some sort of delimiter between json values. Then you can just read , split in delim, and consume with yojson
salkin has quit [Client Quit]
salkin has joined #ocaml
<d_bot> <d4hines> What would an appropriate delimiter be, considering I don't know the content of the JSON (it could have arbitrary strings)? Wouldn't this involve essentially writing a JSON parser?
<companion_cube> delimiter, or length prefix
<d_bot> <orbitz> Many people use new line as a delimiter, that requires the guarantee that your JSON is produced in a way without new lines
<d_bot> <d4hines> So, first send "Hey, this is how many bytes I'm sending you", and then send the payload?
<d_bot> <orbitz> Yes
<companion_cube> that's one way, yes
<d_bot> <orbitz> Both require you have control over the sender
<companion_cube> for example, json-rpc (as used in LSP), uses http-style headers to get `content-length: <n>`
<companion_cube> followed by n bytes of json
<d_bot> <d4hines> I have control over the sender in this case, so I can do that.
Anarchos has joined #ocaml
vicfred has joined #ocaml
Soni has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
szkl has joined #ocaml
Soni has joined #ocaml
kaph has quit [Read error: Connection reset by peer]
mro has quit [Quit: Leaving...]
kaph has joined #ocaml
gwizon has quit [Quit: Lost terminal]
hackinghorn has joined #ocaml
gravicappa has quit [Ping timeout: 256 seconds]
salkin-mada has joined #ocaml
rgrinberg has quit [Ping timeout: 245 seconds]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
Anarchos has joined #ocaml
Serpent7776 has quit [Quit: leaving]
epony has quit [Ping timeout: 240 seconds]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
rgrinberg has joined #ocaml
waleee has quit [Quit: WeeChat 3.4]
zebrag has quit [Ping timeout: 240 seconds]
zebrag has joined #ocaml
waleee has joined #ocaml
olle has quit [Ping timeout: 250 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
spip has joined #ocaml
bobo_ has quit [Ping timeout: 256 seconds]
epony has joined #ocaml
gwizon has joined #ocaml
waleee has quit [Quit: WeeChat 3.4]