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/
<discocaml> <akhilindurti> this would trigger the warning though. a match wouldn't (i can disable it obviously)
dnh has quit [Ping timeout: 260 seconds]
<discocaml> <Kali> it has the same effect
<discocaml> <Kali> a wildcard to failure is essentially the same as disabling the inexhaustivity warning
<discocaml> <Kali> minus the custom error message
<discocaml> <akhilindurti> fair enough
<discocaml> <akhilindurti> i just figured that if i were gonna disable the warning, i'd just use the inexhaustive pattern in the caller of `expect_varbind`
dnh has joined #ocaml
dnh has quit [Ping timeout: 255 seconds]
dnh has joined #ocaml
dnh has quit [Ping timeout: 256 seconds]
dnh has joined #ocaml
dnh has quit [Ping timeout: 272 seconds]
dnh has joined #ocaml
dnh has quit [Ping timeout: 260 seconds]
dnh has joined #ocaml
dnh has quit [Ping timeout: 264 seconds]
Tuplanolla has quit [Quit: Leaving.]
dnh has joined #ocaml
dnh has quit [Ping timeout: 256 seconds]
jabuxas has joined #ocaml
<discocaml> <yawaramin> meta question: maybe we could look into improving the IRC bridge ie translate code blocks into multiline messages?
<discocaml> <hockletock> how is it hosted currently?
dnh has joined #ocaml
<discocaml> <Kali> IRC does not permit line breaks by design
<discocaml> <Kali> line breaks signal the end of a message
dnh has quit [Ping timeout: 268 seconds]
<discocaml> <Kali> if we collectively switched to a protocol that was not 36 years old, such as xmpp, this would not be an issue, but a lot of people like irc i suppose
dnh has joined #ocaml
dnh has quit [Ping timeout: 255 seconds]
mima has quit [Ping timeout: 252 seconds]
dnh has joined #ocaml
dnh has quit [Ping timeout: 255 seconds]
dnh has joined #ocaml
dnh has quit [Ping timeout: 255 seconds]
dnh has joined #ocaml
dnh has quit [Ping timeout: 255 seconds]
dnh has joined #ocaml
dnh has quit [Ping timeout: 264 seconds]
waleee has quit [Ping timeout: 252 seconds]
dnh has joined #ocaml
dnh has quit [Ping timeout: 255 seconds]
dnh has joined #ocaml
dnh has quit [Ping timeout: 240 seconds]
dnh has joined #ocaml
dnh has quit [Ping timeout: 264 seconds]
<companion_cube> xmpp fragmented itself to death
<companion_cube> Is there anything like libera on xmpp?
<discocaml> <Kali> what do you mean by "fragmented itself to death"?
<companion_cube> xmpp is extensible, and it had too many extensions, a lot of which you'd actually need to have a "modern chat"
<companion_cube> Matrix, in reaction to that, has a large set of core features, rather than lots of not-really-optional extensions
<discocaml> <Kali> this does not really present an actual problem in my experience with it since most clients support the same extensions
<discocaml> <Kali> or have large overlaps in extensions used
jabuxas has quit [Ping timeout: 256 seconds]
dnh has joined #ocaml
dnh has quit [Ping timeout: 264 seconds]
dnh has joined #ocaml
<companion_cube> That's my understanding of why xmpp never took off at a public chat system
<companion_cube> Well, there were forks by big companies that started out as xmpp and then closed their protocol off (i think maybe whatsapp ? Fb messenger ? I don't recall precisely)
dnh has quit [Ping timeout: 255 seconds]
<companion_cube> But the extensions for group chat never displaced irc (!)
dnh has joined #ocaml
dnh has quit [Ping timeout: 256 seconds]
dnh has joined #ocaml
dnh has quit [Ping timeout: 255 seconds]
dnh has joined #ocaml
dnh has quit [Ping timeout: 255 seconds]
szkl has quit [Quit: Connection closed for inactivity]
dnh has joined #ocaml
dnh has quit [Ping timeout: 255 seconds]
dnh has joined #ocaml
dnh has quit [Ping timeout: 256 seconds]
dnh has joined #ocaml
dnh has quit [Ping timeout: 272 seconds]
dnh has joined #ocaml
dnh has quit [Ping timeout: 255 seconds]
dnh has joined #ocaml
dnh has quit [Ping timeout: 255 seconds]
bartholin has joined #ocaml
dnh has joined #ocaml
dnh has quit [Ping timeout: 260 seconds]
<toastal> Anyone recommend a particular templating library that’s whitespace-significant (where you aren’t hand-writing HTML/XML)?
<toastal> I see TyXML, but have no experience with it (& HTML has different rules than XML)
Serpent7776 has joined #ocaml
dnh has joined #ocaml
Serpent7776 has quit [Ping timeout: 240 seconds]
dnh has quit [Ping timeout: 255 seconds]
Serpent7776 has joined #ocaml
bartholin has quit [Quit: Leaving]
mima has joined #ocaml
olle has joined #ocaml
<reynir> I am curious about Unix.write. It returns the number of bytes actually written. It also "repeats the write operation until all bytes have been written or an error occurs". But aren't all errors returned as exceptions?! If so, then isn't the return value always [len]? Or an exception, of course.
<discocaml> <dinosaure> it seems that if no error was raised while we write(), yes, at the end the returned value should equal to the given len
<discocaml> <dinosaure> note that caml_unix_write handles EAGAIN & EWOULDBLOCK too
<discocaml> <dinosaure> (I mean, it does not raise in these cases)
<reynir> it makes me wonder why it doesn't return unit :) but ok WRITE(2) also returns the length...
<discocaml> <dinosaure> I was thinking about historical things but it seems that Unix.write did not change for 20 years 🙂
<discocaml> <dinosaure> a pattern should exists with `let rec go off = go (off + Unix.write ... (min 0xffff (buf_length - off))`
<discocaml> <contextfreebeer> IRC v3 is being worked on which includes multiline message support, as well as a bunch of other stuff, no idea when it will be finished though
tremon has joined #ocaml
<companion_cube> There's already bits of it implementes
<companion_cube> Eg I use sasl to connect to libera
omegatron has joined #ocaml
jiquiame has joined #ocaml
Anarchos has joined #ocaml
<discocaml> <rongcuid> Can I statically link a C library to an ocaml program?
olle has quit [Ping timeout: 268 seconds]
olle has joined #ocaml
jabuxas has joined #ocaml
waleee has joined #ocaml
jabuxas has quit [Ping timeout: 268 seconds]
emilknievel_ is now known as emilknievel
omegatron has quit [Quit: Power is a curious thing. It can be contained, hidden, locked away, and yet it always breaks free.]
dh` has quit [Ping timeout: 264 seconds]
waleee has quit [Ping timeout: 255 seconds]
<Anarchos> hjow can i make my own conf-gtksourceview4 package ?
<octachron> You can copy the opam file and pin your edited version
<Anarchos> octachron from .opam/repo/default/packages/conf-gtksourceview3 ? and i copy it where ?
<octachron> You can `opam source conf-gtksourceview3` to get the source of the "package", and edit the opam source there; but where you copy it is irrelevant.
<Leonidas> Anarchos: into the same repo
<Anarchos> Leonidas i am working in a locally modified lablgtk source directory. so i do 'opam source conf-gtksourceview3' and editing here ?
kakadu has joined #ocaml
nasmevka has joined #ocaml
olle has quit [Ping timeout: 259 seconds]
jabuxas has joined #ocaml
<theblatte> c
<theblatte> -c
jabuxas has quit [Ping timeout: 272 seconds]
<Anarchos> how to create a switch based on a local directory of ocaml source ?
<Anarchos> i have my own modified 5.0.3+trunk source
<reynir> hm maybe you can set up your own opam repository and pass to opam switch create --repositories local=/path/to/my/opam-repository,default
<reynir> hopefully there is an easier path
<reynir> what a reasonable place to look :D
jabuxas has joined #ocaml
nasmevka has quit [Remote host closed the connection]
<Anarchos> octachron indeed i had those command in my memo file : « opam switch create . --empty;opam install . --inplace-build »
kakadu has quit [Quit: Konversation terminated!]
* Anarchos wants to use compcert, so need coq, so need gtksourceview4 (only version available on my OS), so need to hack lablgtk.... What a journey!
Square2 has quit [Ping timeout: 252 seconds]
<_alix> Anarchos: You should only need lablgtk for coqide, it's not needed for coq only I think ?
<Anarchos> _alix lablgtk is needed to get lablgtk-sourcevie for coqide
<Anarchos> _alix not sure if i need coqide or not to be able to install compcert
<_alix> You don't
<Anarchos> _alix i already managed to get that https://imgur.com/a/XK0uSIN tricking lablgtk in linking gtksourceview3.pc to gtksourceview4.pc
<Anarchos> but i never got feedback on this impressive screenshot...
dh` has joined #ocaml
szkl has joined #ocaml
<discocaml> <yawaramin> dream-html ?
jabuxas has quit [Ping timeout: 260 seconds]
a51 has quit [Quit: WeeChat 4.2.1]
a51 has joined #ocaml
bartholin has joined #ocaml
Anarchos has quit [Ping timeout: 252 seconds]
emilknievel has quit [Ping timeout: 264 seconds]
<discocaml> <limp.biskit> anarchos what de is that
jabuxas has joined #ocaml
emilknievel has joined #ocaml
<discocaml> <contextfreebeer> CoqIDE
<discocaml> <hockletock> running in Haiku, it appears
dnh has joined #ocaml
Tuplanolla has joined #ocaml
<discocaml> <Kali> that is not a desktop environment
<discocaml> <Kali> that's the program being run
<discocaml> <Kali> seems like haiku, yeah
<discocaml> <contextfreebeer> oh whoops I misread that as ide -_- it seemed like a weird thing to ask since the name appears very prominently
<discocaml> <Kali> the coqi desktop environment, haha
jabuxas has quit [Ping timeout: 260 seconds]
motherfsck has quit [Quit: quit]
a51 has quit [Quit: WeeChat 4.2.1]
waleee has joined #ocaml
Anarchos has joined #ocaml
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dnh has joined #ocaml
cr1901 has quit [Quit: Leaving]
cr1901 has joined #ocaml
Anarchos has quit [Ping timeout: 264 seconds]
Anarchos has joined #ocaml
bartholin has quit [Quit: Leaving]
motherfsck has joined #ocaml
Serpent7776 has quit [Ping timeout: 264 seconds]
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dnh has joined #ocaml
dnh has quit [Client Quit]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
Anarchos has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
Tuplanolla has quit [Quit: Leaving.]
tremon has quit [Quit: getting boxed in]