Haudegen has quit [Remote host closed the connection]
mfp has quit [Ping timeout: 244 seconds]
silver has quit [Read error: Connection reset by peer]
Fare has joined #ocaml
tormen has joined #ocaml
<_y>
does anyone appear to have a tool at hand (a vim plugin or a standalone program or whatever) to (re)align pattern-matching arrows ?
<_y>
looks like a job that should be left to ocp-indent but as this is often disregarded, of course ocp-indent does not do that
tormen_ has quit [Ping timeout: 272 seconds]
<companion_cube>
no idea, sorry, and my personal advice would be to not do that :p
<_y>
i know that many people find that this is bad practice, but the only argument i’ve heard is that you waste time doing the ascii art
<_y>
which is precisely the point i want to address by having something do it automatically ^^
<_y>
to me, it is not just because it looks cute, pattern matching is vastly less legible without alignment, thus it is a formatting practice almost as important as indentation
<companion_cube>
well it makes bigger diffs, for no particularly good reason
<_y>
well some day we can hope for syntax-aware diffs, and in the meantime for whitespace-insensitive diffs…
<_y>
or just refrain us from reformatting the code properly after a local modification
<_y>
indenting already has the same problem
<companion_cube>
a bit, yeah, that's no reason to make it worse
<companion_cube>
and syntax-aware diffs won't come soon afaict *(and not anywhere, say, github)
pierpa has quit [Quit: Page closed]
<_y>
still, if i am coding alone in my room for my little self, and not caring about either versioning or linewise diffing with older versions, i may appreciate to have a properly formatted code
<companion_cube>
well then good luck with that! :p
<companion_cube>
I don't think it's as universally considered as "properly formatted" as indentation
<Fare>
I'm using scgi and somehow I seem to get only one connection at once, when I was expecting there to be many while the database is committing stuff to disk in a Lwt_preemptive.detach worker thread.
<Fare>
Does the LevelDB FFI code need to do something special to release the OCaml Big Interpreter Lock?
<companion_cube>
leveldb doesn't seem to use lwt (nor threads) so I suppose it does indeed keep the lock
<companion_cube>
(it's a gc lock, afaik, not an "interpreted lock")
caltelt_ has joined #ocaml
jao has quit [Ping timeout: 272 seconds]
<Fare>
leveldb calls caml_enter_blocking_section() which is synonymous with caml_release_runtime_system() and I seem to be able to run printf + Lwt_unix.sleep in parallel with it.
<Fare>
So I'm back at suspecting SCGI and/or Lwt_io.establish_server_with_client_address of not doing the right thing. Or Nginx's SCGI backend to not do queries in parallel. Or whathaveyou.
caltelt has quit [Ping timeout: 244 seconds]
_whitelogger has joined #ocaml
jbrown has quit [Ping timeout: 252 seconds]
bartholin has joined #ocaml
_whitelogger has joined #ocaml
Fare has quit [Ping timeout: 252 seconds]
mwgkgk has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
caltelt_ has quit [Ping timeout: 252 seconds]
clownpriest has quit [Ping timeout: 252 seconds]
pierpal has joined #ocaml
_whitelogger has joined #ocaml
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
TheLemonMan has joined #ocaml
_whitelogger has joined #ocaml
kvda has joined #ocaml
orbifx has joined #ocaml
mfp has joined #ocaml
ollehar has joined #ocaml
Haudegen has joined #ocaml
kakadu has joined #ocaml
Haudegen has quit [Ping timeout: 244 seconds]
Guest33218 has joined #ocaml
Guest33218 has quit [Quit: Bin weg.]
TheRuralJuror has joined #ocaml
TheRuralJuror has quit [Read error: Connection reset by peer]
Haudegen has joined #ocaml
FreeBirdLjj has joined #ocaml
orbifx has quit [Ping timeout: 240 seconds]
jnavila has joined #ocaml
jnavila has quit [Ping timeout: 246 seconds]
orbifx has joined #ocaml
orbifx has quit [Ping timeout: 245 seconds]
silver has joined #ocaml
silver_ has joined #ocaml
govg has quit [Ping timeout: 252 seconds]
silver has quit [Ping timeout: 246 seconds]
jao has joined #ocaml
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
danielh1234 has joined #ocaml
sillyotter has joined #ocaml
sillyotter has quit [Ping timeout: 252 seconds]
Fare has joined #ocaml
clownpriest has joined #ocaml
clownpriest has quit [Ping timeout: 250 seconds]
clownpriest has joined #ocaml
orbifx has joined #ocaml
orbifx has quit [Read error: Connection reset by peer]
orbifx has joined #ocaml
mwgkgk has quit [Quit: Connection closed for inactivity]
clownpriest has quit [Ping timeout: 240 seconds]
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
Jesin has quit [Client Quit]
clownpri1 has joined #ocaml
Jesin has joined #ocaml
silver_ is now known as silver
orbifx has quit [Ping timeout: 240 seconds]
jbrown has joined #ocaml
ziyourenxiang has quit [Ping timeout: 252 seconds]
danielh1234 has quit [Read error: Connection reset by peer]
kakadu has quit [Remote host closed the connection]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
groovy2shoes has quit [Ping timeout: 250 seconds]
clownpri1 is now known as clownpriest
caltelt has joined #ocaml
maarhart has joined #ocaml
maarhart has quit [Excess Flood]
maarhart has joined #ocaml
maarhart has quit [Excess Flood]
maarhart has joined #ocaml
maarhart has quit [Excess Flood]
maarhart has joined #ocaml
maarhart has quit [Excess Flood]
maarhart has joined #ocaml
orbifx has joined #ocaml
averell has quit [Quit: .]
FreeBirdLjj has quit [Remote host closed the connection]