<discocaml>
<Kali> you can also do triple backticks for a code block with syntax highlighting (\`\`\`ocaml)
<discocaml>
<Kali> ```ocaml
<discocaml>
<Kali> with (Of_yojson_error (Failure what,_)) -> print_endline what
<discocaml>
<Kali> ```
<discocaml>
<masterbuilder> kinda unrelated but my favorite is \`\`\`diff, for example
<discocaml>
<masterbuilder>
<discocaml>
<masterbuilder> ```diff
<discocaml>
<masterbuilder> - with (Of_yojson_error (Failure what,_)) -> print_endline what
<discocaml>
<masterbuilder> + with (Of_yojson_error (Failure what, _)) -> print_endline what
<discocaml>
<masterbuilder> ```
<discocaml>
<masterbuilder>
<discocaml>
<masterbuilder> pretty nice in some cases
<discocaml>
<hockletock> Did they fix the IRC gateway handling code blocks?
rgrinberg has joined #ocaml
<discocaml>
<masterbuilder> fix how?
<discocaml>
<masterbuilder> it just shows up as the text you type in
<discocaml>
<hockletock> on the IRC side each line was sent separately - maybe that's for the bigger blocks
<discocaml>
<masterbuilder> yes unfortunately it's each line separate, but the benefit to that is that it is more readable
<discocaml>
<masterbuilder> so if it's not a wall of text it's probably preferable
<discocaml>
<masterbuilder> must admit I didn't know this was #general for a minute there, otherwise I wouldn't have sent that. but even in IRC I tend to write code surrounded by single backticks, so it looks good on discord and on IRC (in my opinion)
<discocaml>
<Peuk> One note about handling headers using Frama-C: preprocessing is done with GCC, Frama-C works on the preprocessed code.
gentauro has quit [Read error: Connection reset by peer]
gentauro has joined #ocaml
motherfsck has quit [Ping timeout: 264 seconds]
Serpent7776 has joined #ocaml
waleee has joined #ocaml
trillion1exabyte has quit [Ping timeout: 255 seconds]
trillion_exabyte has joined #ocaml
gwizon has joined #ocaml
olle has quit [Ping timeout: 240 seconds]
xd1le has quit [Quit: xd1le]
noonien7 has quit [Ping timeout: 240 seconds]
Everything has joined #ocaml
bgs has joined #ocaml
olle has joined #ocaml
bartholin has quit [Quit: Leaving]
rf has joined #ocaml
doesntgolf has joined #ocaml
rf has quit [Quit: Leaving]
doesntgolf has quit [Ping timeout: 260 seconds]
doesntgolf has joined #ocaml
bartholin has joined #ocaml
Stumpfenstiel has joined #ocaml
rf has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
<discocaml>
<Et7f3 (@me on reply)> In C have you an example ?
doesntgolf has quit [Remote host closed the connection]
doesntgolf has joined #ocaml
kakadu has quit [Remote host closed the connection]
doesntgolf has quit [Remote host closed the connection]
mro has quit [Remote host closed the connection]
mro has joined #ocaml
bartholin has quit [Quit: Leaving]
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Ping timeout: 240 seconds]
mro has joined #ocaml
brettgilio has quit [Ping timeout: 276 seconds]
Everything has quit [Quit: leaving]
mro has quit [Ping timeout: 248 seconds]
bartholin has joined #ocaml
rf has quit [Read error: Connection reset by peer]
rf has joined #ocaml
Techcable has quit [Ping timeout: 255 seconds]
gwizon has quit [Quit: Lost terminal]
mro has joined #ocaml
Techcable has joined #ocaml
neiluj has joined #ocaml
<neiluj>
hello! dune question: is it possible to refer to built artifacts (using a custom `rule` stanza) in the c_library_flags? -I/path/to/built/artifact
<neiluj>
apparently the includes don't work with relative paths
<h0rror>
hi folks, are there any resources to better understand Eio.Buf_read and let+/let*? I built a simple parser that's not terminating and googling isn't very helpful
<h0rror>
that's a snippet of my code, the traceln in message is reached, but the one inside the match is not, don't get why https://pastebin.com/Czg0ecVX
<neiluj>
hmm what is conn? maybe the program hangs because there is nothing to read
<neiluj>
hmm ah no this contradicts your observation
<h0rror>
tcp socket, it reads some bytes, prints what's expected at the end of message, then gets stuck and never reaches the pattern match
<neiluj>
hmm can you post the entire code (reader+writer) plus the socket stuff and the commands you run and inputs you get?
mro has quit [Remote host closed the connection]
mro has joined #ocaml
<h0rror>
neiluj: here https://pastebin.com/LSJ0rBGW I think I'm getting blocked reading from the socket, because if I paste the string in the comment and then kill the server, I can reach the "Not reached" traceln
<h0rror>
question now is how to process a valid message once I've received one and not get blocked
<neiluj>
line 11 you don't return in the monad?
<h0rror>
thanks for taking a look, type checker is happy, what should I have done instead?
<neiluj>
ok no just read the docs and it is indeed well-typed
<neiluj>
maybe that's the expected behavior
<neiluj>
dunno, sorry maybe ask on the ocaml discourse
<neiluj>
there will be people familiar with Eio
bgs has quit [Remote host closed the connection]
trev has quit [Remote host closed the connection]
williewi` has joined #ocaml
williewi` is now known as williewillus`
williewillus` has quit [Changing host]
williewillus` has joined #ocaml
williewillus` is now known as williewillus
rf_ has quit [Read error: Connection reset by peer]
rf_ has joined #ocaml
mro has quit [Quit: Leaving...]
<h0rror>
neiluj: registered and asked, *fingers crossed*