companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.05.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.05/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
jimmyrcom_ has quit [Ping timeout: 260 seconds]
sh0t has joined #ocaml
jimmyrcom_ has joined #ocaml
ziyourenxiang has quit [Ping timeout: 240 seconds]
mfp__ has quit [Ping timeout: 260 seconds]
sam_ has quit [Ping timeout: 240 seconds]
kakadu has quit [Remote host closed the connection]
morfeen has joined #ocaml
morfeen has quit [Ping timeout: 268 seconds]
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 255 seconds]
mengu has joined #ocaml
seangrove has quit [Ping timeout: 260 seconds]
mengu_ has joined #ocaml
mengu has quit [Ping timeout: 260 seconds]
copy_ has quit [Quit: Connection closed for inactivity]
sam_ has joined #ocaml
sh0t has quit [Remote host closed the connection]
morfeen has joined #ocaml
sam_ has quit [Ping timeout: 260 seconds]
dreadedfrog has joined #ocaml
cbot_ has joined #ocaml
dreadedfrog has quit [Ping timeout: 260 seconds]
morfeen has quit [Remote host closed the connection]
fantasticsid has quit [Ping timeout: 260 seconds]
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 260 seconds]
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 240 seconds]
mengu_ has quit [Remote host closed the connection]
morfeen has joined #ocaml
morfeen has quit [Remote host closed the connection]
sam_ has joined #ocaml
MercurialAlchemi has joined #ocaml
dreadedfrog has joined #ocaml
sam_ has quit [Ping timeout: 240 seconds]
dreadedfrog has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
lopex has quit [Quit: Connection closed for inactivity]
xuanrui has joined #ocaml
raphaelss has quit [Quit: leaving]
morfeen has joined #ocaml
morfeen has quit [Client Quit]
mbuf has joined #ocaml
dreadedfrog has joined #ocaml
mjacob has left #ocaml [#ocaml]
sam_ has joined #ocaml
dreadedfrog has quit [Ping timeout: 246 seconds]
sam_ has quit [Ping timeout: 246 seconds]
_whitelogger has joined #ocaml
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 260 seconds]
cbot_ has quit [Quit: Leaving]
vramana has joined #ocaml
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 248 seconds]
aggelos_ has quit [Ping timeout: 255 seconds]
Mercuria1Alchemi has joined #ocaml
aggelos_ has joined #ocaml
dreadedfrog has joined #ocaml
aggelos_ has quit [Ping timeout: 255 seconds]
dreadedfrog has quit [Ping timeout: 255 seconds]
sz0 has joined #ocaml
aggelos_ has joined #ocaml
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 240 seconds]
dreadedfrog has joined #ocaml
FreeBirdLjj has joined #ocaml
dreadedfrog has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Ping timeout: 260 seconds]
peterpp_ has joined #ocaml
malina has quit [Remote host closed the connection]
peterpp_ has quit [Ping timeout: 240 seconds]
Simn has joined #ocaml
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 255 seconds]
al-damiri has quit [Quit: Connection closed for inactivity]
dreadedfrog has joined #ocaml
mfp__ has joined #ocaml
mengu has joined #ocaml
mengu has quit [Ping timeout: 248 seconds]
fre has joined #ocaml
sam_ has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
sam_ has quit [Ping timeout: 276 seconds]
ShalokShalom has joined #ocaml
<sspi> Hi, I was wondering what's available to pretty print documentation (in this case coming from a cmti file).
<Drup> Does ocp-browser counts ?
<sspi> let me check
<Drup> (it's bundled with ocp-index when lambda-term is installed)
<sspi> I just want a few functions that do the work for me and avoid reinventing the wheel
<Drup> oh, ok, so you really want a library
<Drup> hmm, ocp-index's lib is probably your best bet then
<Drup> but I think you are better off redoing the work
jimmyrcom_ has quit [Ping timeout: 260 seconds]
andreas__ has joined #ocaml
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 240 seconds]
lopex has joined #ocaml
<orbifx[m]> is `type _ += _` for extensible variants? Are they different from polymorphic variants?
ziyourenxiang has joined #ocaml
<rks`> yes
kakadu has joined #ocaml
argent_smith has joined #ocaml
shepard has joined #ocaml
shepard has left #ocaml [#ocaml]
<orbifx[m]> thanks rks`
silver_ has joined #ocaml
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 260 seconds]
dreadedfrog has quit [Ping timeout: 240 seconds]
dreadedfrog has joined #ocaml
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 240 seconds]
dreadedfrog has quit [Ping timeout: 260 seconds]
dreadedfrog has joined #ocaml
foobaz has joined #ocaml
<foobaz> hello, anybody using coq compiled with ocaml 4.05?
<foobaz> for me ocamlopt.opt taking ridiculuous amount of memory and i am getting oom with 12gb mem
fraggle_ has quit [Ping timeout: 240 seconds]
foobaz has quit [Ping timeout: 260 seconds]
ncthom91 has joined #ocaml
_andre has joined #ocaml
Murmus_ is now known as Murmus
mbuf has quit [Quit: Leaving]
sepp2k has joined #ocaml
silver_ is now known as silver
sam_ has joined #ocaml
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
sam_ has quit [Ping timeout: 260 seconds]
silver has quit [Ping timeout: 246 seconds]
silver has joined #ocaml
silver_ has joined #ocaml
silver has quit [Ping timeout: 260 seconds]
sam_ has joined #ocaml
aciniglio has joined #ocaml
silver_ has quit [Read error: Connection reset by peer]
sh0t has joined #ocaml
silver has joined #ocaml
aciniglio has quit [Ping timeout: 260 seconds]
sam_ has quit [Ping timeout: 268 seconds]
ristos has joined #ocaml
aciniglio has joined #ocaml
silver has quit [Read error: Connection reset by peer]
silver has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
bobry has quit [Quit: Connection closed for inactivity]
ShalokShalom has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
Mercuria1Alchemi has quit [Ping timeout: 260 seconds]
sam_ has joined #ocaml
shepi has joined #ocaml
Simn has quit [Ping timeout: 255 seconds]
<kakadu> Is there any way to know in the opam file which linux we are on?
<kakadu> os variable is an output of uname but I need an output of lsb_release
sam_ has quit [Ping timeout: 260 seconds]
copy_ has joined #ocaml
fre has quit [Ping timeout: 268 seconds]
<reynir> kakadu: maybe you can check out how depext works. For example, opam show --raw conf-zlib will show different distributions - alpine, arch linux, ...
FreeBirdLjj has joined #ocaml
mengu has joined #ocaml
tokomak has joined #ocaml
argent_smith has quit [Quit: Leaving.]
mengu has quit [Ping timeout: 260 seconds]
_berke_ has joined #ocaml
argent_smith has joined #ocaml
kotangent has left #ocaml ["WeeChat 1.6"]
_berke_ has quit [Ping timeout: 240 seconds]
amvtek has joined #ocaml
amvtek has quit [Client Quit]
xuanrui has quit [Ping timeout: 260 seconds]
sam_ has joined #ocaml
malina has joined #ocaml
sam_ has quit [Ping timeout: 260 seconds]
slash^ has joined #ocaml
dakk has quit [Ping timeout: 240 seconds]
rostero has joined #ocaml
<theblatte> it seems that merlin doesn't interpret my glob "S [!_]*": jump-to-definition goes to files in _build when there are others available
<theblatte> also not working is "S [a-z]*"
<theblatte> but if I list my directories explicitly with "S foo\nS bar\n..." then it works as intended
dakk has joined #ocaml
ziyourenxiang has quit [Ping timeout: 260 seconds]
dakk has quit [Read error: Connection reset by peer]
tane has joined #ocaml
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 276 seconds]
malina has quit [Quit: Throwing apples of Montserrat]
jlam_ has joined #ocaml
Algebr has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
Simn has joined #ocaml
pzp has joined #ocaml
sh0t has quit [Ping timeout: 240 seconds]
peterpp_ has joined #ocaml
tokomak has quit [Remote host closed the connection]
sh0t has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
nicooo has quit [Remote host closed the connection]
jlam_ has quit [Ping timeout: 240 seconds]
jlam__ has joined #ocaml
nicooo has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 240 seconds]
kakadu has joined #ocaml
jnavila has joined #ocaml
kakadu has quit [Ping timeout: 240 seconds]
kakadu has joined #ocaml
jlam_ has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 260 seconds]
jlam__ has quit [Ping timeout: 255 seconds]
tane has quit [Quit: Leaving]
dejanr has joined #ocaml
dejanr has quit [Client Quit]
dejanr has joined #ocaml
jimmyrcom_ has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
dejanr has quit [Client Quit]
dejanr has joined #ocaml
maarhart has joined #ocaml
maarhart has quit [Client Quit]
jnavila has joined #ocaml
ygrek has joined #ocaml
jnavila has quit [Remote host closed the connection]
dejanr has quit []
ygrek has quit [Ping timeout: 246 seconds]
ygrek has joined #ocaml
infinity0 has quit [Ping timeout: 240 seconds]
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0 has joined #ocaml
_andre has quit [Quit: leaving]
sam_ has joined #ocaml
Denommus has joined #ocaml
Denommus has quit [Client Quit]
Denommus has joined #ocaml
sepp2k has quit [Ping timeout: 260 seconds]
sam_ has quit [Ping timeout: 260 seconds]
Simn has quit [Quit: Leaving]
<peterpp_> hannes, thanks for making me aware of Lwt_mvar yesterday, I've been refactoring and got of a lot of shared mutable state
<peterpp_> *got rid
<hannes> peterpp_: \o/
<peterpp_> apparently I can only learn by making every conceivable mistake
<peterpp_> twice
<hannes> he, same here. thrice.
<hannes> since months I'm developing a DNS resolver in OCaml... on weekends and evenings.. and only now I started to write test cases, re-read some of the RFCs just to find out that it is all wrong ;)
<peterpp_> oh what was wrong?
<hannes> in general: which data to trust, and how to handle errors to not end up in loops
jimmyrcom_ has quit [Remote host closed the connection]
<hannes> concretely: boiling the interface of subcomponents into small enough pieces to be able to sensibly test them individually (and without any IO)
<peterpp_> what made you decide to write a dns resolver originally?
<hannes> struggling with bind, and unbound... I actually use my own since quite some time on my laptop
<hannes> also, I really <3 internet core protocols.. and DNS I only implemented a stub resolver and some authoritative name server so far..
<hannes> (plus I want one where I can easily adjust my filters... such as resolve *facebook and google-analytics to 127.0.0.1
<peterpp_> ha.. I wanted to set up something like this too but somehow didn't have the patience and therefore still use a long hosts file
aciniglio has quit [Ping timeout: 240 seconds]
<hannes> peterpp_: out of curiousity, what are you developing?
<peterpp_> the backend for a web app that lets you find and compare cuneiform characters
<peterpp_> hannes,
<hannes> peterpp_: oh wow
argent_smith has quit [Quit: Leaving.]
silver has quit [Quit: rakede]
sam_ has joined #ocaml
Denommus has quit [Ping timeout: 255 seconds]
dreadedfrog has quit [Ping timeout: 240 seconds]
jimmyrcom_ has joined #ocaml
dreadedfrog has joined #ocaml
cbot has joined #ocaml
dreadedfrog has quit [Ping timeout: 240 seconds]
vramana has quit [Quit: vramana]
vramana has joined #ocaml
malina has joined #ocaml
sh0t has quit [Remote host closed the connection]
rostero has quit [Quit: Connection closed for inactivity]
vramana_ has joined #ocaml
vramana has quit [Ping timeout: 260 seconds]
andreas__ has quit [Quit: Connection closed for inactivity]
dreadedfrog has joined #ocaml
peterpp_ has quit [Ping timeout: 240 seconds]
ziyourenxiang has joined #ocaml
dreadedfrog has quit [Ping timeout: 260 seconds]
sh0t has joined #ocaml
ziyourenxiang has quit [Ping timeout: 268 seconds]
Algebr has quit [Ping timeout: 240 seconds]
mengu has joined #ocaml