00:05 <Armael> normal ocaml on normal linux

00:06 <companion_cube> we should rename OCaml into OCamlClassic

00:06 <companion_cube> or VanillaML

00:07 <olle> companion_cube: ok

00:15 <olle> undefined reference to `caml_alloc2

00:15 <olle> missing package?

00:15 <olle> using ocaml 4.05.0

00:16 <olle> hm

00:17 <olle> nvm, solved

00:22 <olle> hm, ocaml doesn't warn about unused variables?

00:27 <Armael> not by default

00:36 <companion_cube> dune will enable that though

14:14 <aecepoglu[m]> Do you use any language servers (if any) other than freeboccolo/ocaml-language-server or jaredly/reason-language-server ?

14:23 <def`> development version of merlin includes a language server

14:23 <def`> in my experience, it is much more stable than ocaml-language-server

19:56 <olle> hi ho

19:56 <olle> so I can write

19:56 <olle> let Some foo = get_something bar in ...

19:56 <olle> but of course I have to check for None too

19:56 <olle> Do I have to use match for this?

19:58 <olle> No one working a Saturday evening?

19:59 <olle> Everybody out demonstrating on Paris' streets?

19:59 <Armael> yes you have to use match for this

19:59 <octachron> or map/bind

20:00 <olle> Go gilets jaunes!

20:00 <olle> Armael: Thanks.

20:03 <olle> I'm surprised there's no syntactic sugar for deal with matching option types. :P

20:03 <cuvius> I'm writing some bindings to a C library using Ctypes. The library runs on a separate thread. I register callbacks with the library from my main thread (OCaml land). Due to the semantics of the C library, this callback may either be invoked immediately when registered (on the main thread) or at some later point (on the separate thread). If I use funptr ~runtime_lock:true (http://ocamllabs.io/ocaml-ctypes/Foreign.html#VALfunptr),

20:03 <cuvius> then I get a deadlock when the callback runs on the main thread, since the runtime lock is already held. Thoughts on how to work around this? Can I determine in C whether the runtime lock is already held? Or maybe what thread I'm running as without holding the runtime lock?

20:08 <olle> How do I annotate the type of a new record instance?

20:08 <olle> Like, {id; foo_list} : RecordType

20:09 <olle> Wait, that worked. Ignore.