#ocaml on 2017-05-30 — irc logs at freenode.irclog.whitequark.org

2016-11-11 21:04 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Current MOOC: https://huit.re/ocamlmooc | OCaml 4.04.0 release notes: http://ocaml.org/releases/4.04.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:00 ygrek has quit [Ping timeout: 240 seconds]

00:01 infinity0_ has joined #ocaml

00:01 infinity0_ has quit [Changing host]

00:01 infinity0 has quit [Killed (adams.freenode.net (Nickname regained by services))]

00:01 infinity0 has joined #ocaml

00:01 infinity0 has quit [Remote host closed the connection]

00:04 infinity0 has joined #ocaml

00:04 infinity0 has quit [Remote host closed the connection]

00:06 infinity0 has joined #ocaml

00:07 infinity0 has quit [Remote host closed the connection]

00:09 infinity0 has joined #ocaml

00:10 infinity0 has quit [Remote host closed the connection]

00:12 infinity0 has joined #ocaml

00:12 infinity0 has quit [Remote host closed the connection]

00:13 mengu has quit [Quit: Leaving...]

00:26 copy` has quit [Quit: Connection closed for inactivity]

00:38 oliverfriedmann has quit [Remote host closed the connection]

00:43 oliverfriedmann has joined #ocaml

00:47 oliverfriedmann has quit [Ping timeout: 246 seconds]

00:51 oliverfriedmann has joined #ocaml

00:53 oliverfriedmann has quit [Remote host closed the connection]

00:53 oliverfriedmann has joined #ocaml

00:57 cbot_ has joined #ocaml

00:58 cbot has quit [Ping timeout: 240 seconds]

01:05 oliverfriedmann has quit [Remote host closed the connection]

01:12 mfp has quit [Ping timeout: 260 seconds]

01:20 oliverfriedmann has joined #ocaml

01:20 oliverfriedmann has quit [Remote host closed the connection]

01:21 oliverfriedmann has joined #ocaml

01:26 oliverfriedmann has quit [Remote host closed the connection]

01:27 oliverfriedmann has joined #ocaml

01:36 lizzin has joined #ocaml

01:37 silver_ has quit [Read error: Connection reset by peer]

01:48 oliverfriedmann has quit [Remote host closed the connection]

01:55 cbot has joined #ocaml

01:55 cbot_ has quit [Ping timeout: 268 seconds]

02:08 zaquest has quit [Remote host closed the connection]

02:15 lizzin has quit [Ping timeout: 268 seconds]

02:33 jao has quit [Ping timeout: 268 seconds]

02:37 dudelson has quit [Ping timeout: 245 seconds]

02:49 ygrek has joined #ocaml

02:50 oliverfriedmann has joined #ocaml

02:55 oliverfriedmann has quit [Ping timeout: 260 seconds]

03:18 oliverfriedmann has joined #ocaml

03:18 oliverfriedmann has quit [Remote host closed the connection]

03:19 oliverfriedmann has joined #ocaml

03:23 oliverfriedmann has quit [Ping timeout: 245 seconds]

03:36 MercurialAlchemi has joined #ocaml

03:38 segmond has joined #ocaml

03:53 ygrek has quit [Remote host closed the connection]

03:53 nicootje has quit [Remote host closed the connection]

03:54 hannes` has joined #ocaml

03:55 ygrek has joined #ocaml

03:55 hannes has quit [Ping timeout: 240 seconds]

03:56 ygrek has quit [Remote host closed the connection]

03:56 ygrek has joined #ocaml

03:56 dx has quit [Ping timeout: 240 seconds]

03:57 dx has joined #ocaml

04:08 nicootje has joined #ocaml

04:12 infinity0 has joined #ocaml

04:25 segmond has quit [Quit: l8r]

04:37 olibjerd has joined #ocaml

04:42 letaris has quit [Ping timeout: 240 seconds]

04:47 MercurialAlchemi has quit [Ping timeout: 240 seconds]

04:51 jack5638 has quit [Ping timeout: 240 seconds]

04:58 jack5638 has joined #ocaml

05:30 raphaelss has quit [Remote host closed the connection]

05:38 MercurialAlchemi has joined #ocaml

05:48 zaquest has joined #ocaml

06:20 dtornabene has quit [Quit: Leaving]

06:25 toolslive has quit [Remote host closed the connection]

06:27 FreeBirdLjj has joined #ocaml

06:33 alfredo has joined #ocaml

06:39 Simn has joined #ocaml

06:44 alfredo has quit [Ping timeout: 246 seconds]

06:49 govg has joined #ocaml

06:56 infinity0 has quit [Remote host closed the connection]

07:03 dtornabene has joined #ocaml

07:04 dtornabene has quit [Client Quit]

07:05 dtornabene has joined #ocaml

07:07 oliverfriedmann has joined #ocaml

07:08 <dtornabene> hey all, having a problem getting utop to find installed packages (installed via opam)

07:16 jlam__ has joined #ocaml

07:16 jlam1 has joined #ocaml

07:17 jlam has quit [Ping timeout: 245 seconds]

07:20 jlam__ has quit [Ping timeout: 268 seconds]

07:25 ygrek has quit [Ping timeout: 246 seconds]

07:27 AltGr has joined #ocaml

07:30 <octachron> dtornabene, common causes of this problem: the opam environment was not set (try eval `opam config env`), the findlib package name is not exactly the same as the opam one, forgetting to require the package (#require "package_name";;"

07:35 cbot has quit [Ping timeout: 260 seconds]

07:44 argent_smith has joined #ocaml

07:52 govg has quit [Ping timeout: 240 seconds]

07:58 zpe has joined #ocaml

08:21 zpe has quit [Remote host closed the connection]

08:22 zpe has joined #ocaml

08:23 oliverfriedmann has quit [Remote host closed the connection]

08:23 zpe has quit [Read error: Connection reset by peer]

08:23 zpe has joined #ocaml

09:00 FreeBirdLjj has quit [Remote host closed the connection]

09:01 FreeBirdLjj has joined #ocaml

09:04 <dtornabene> octachron: thank you for responding, it turned out to be the .ocamlinit file missing the #require declarations you mentioned

09:05 FreeBirdLjj has quit [Ping timeout: 240 seconds]

09:05 <dtornabene> fwiw if anyone else reads this, i had tried the eval `opam config env` trick to no avail, had to google around a bit more than I was doing. and turned up the mention of the ocamlinit file

09:10 mfp has joined #ocaml

09:23 oliverfriedmann has joined #ocaml

09:27 def`_ has quit [*.net *.split]

09:27 lpaste has quit [*.net *.split]

09:27 octachron has quit [*.net *.split]

09:27 jimt has quit [*.net *.split]

09:27 adrien has quit [*.net *.split]

09:27 mami has quit [*.net *.split]

09:27 engil has quit [*.net *.split]

09:27 diginet has quit [*.net *.split]

09:27 mfp has quit [*.net *.split]

09:27 hannes` has quit [*.net *.split]

09:27 banjiewen has quit [*.net *.split]

09:27 kalio has quit [*.net *.split]

09:27 henrytill has quit [*.net *.split]

09:27 eikke has quit [*.net *.split]

09:27 jrslepak has quit [*.net *.split]

09:27 DanielRichman has quit [*.net *.split]

09:27 xaimus has quit [*.net *.split]

09:27 so has quit [*.net *.split]

09:27 shon has quit [*.net *.split]

09:27 rks` has quit [*.net *.split]

09:27 companion_cube has quit [*.net *.split]

09:27 Khady has quit [*.net *.split]

09:28 so has joined #ocaml

09:36 oliverfriedmann has quit [Ping timeout: 258 seconds]

09:36 infinity0 has joined #ocaml

09:39 andreas has joined #ocaml

09:49 def` has joined #ocaml

09:49 octachron has joined #ocaml

09:49 adrien has joined #ocaml

09:49 mami has joined #ocaml

09:49 diginet has joined #ocaml

09:49 jimt has joined #ocaml

09:49 engil has joined #ocaml

09:51 lpaste has joined #ocaml

09:57 kakadu has joined #ocaml

10:10 jack5638 has quit [Ping timeout: 240 seconds]

10:11 jack5638 has joined #ocaml

10:13 18VAA951I has joined #ocaml

10:13 banjiewen has joined #ocaml

10:13 mfp has joined #ocaml

10:13 henrytill has joined #ocaml

10:13 eikke has joined #ocaml

10:13 jrslepak has joined #ocaml

10:13 kalio has joined #ocaml

10:13 rks` has joined #ocaml

10:13 shon has joined #ocaml

10:13 DanielRichman has joined #ocaml

10:13 Khady has joined #ocaml

10:13 xaimus has joined #ocaml

10:13 companion_cube has joined #ocaml

10:14 andreas has joined #ocaml

10:14 andreas has quit [Changing host]

10:14 mami has joined #ocaml

10:14 mami has quit [Changing host]

10:15 relrod has quit [Ping timeout: 240 seconds]

10:16 srcerer_ has quit [Ping timeout: 246 seconds]

10:26 ziyourenxiang has joined #ocaml

10:27 grayswandyr has joined #ocaml

10:33 olibjerd has quit [Quit: olibjerd]

10:34 grayswandyr has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

10:34 oliverfriedmann has joined #ocaml

10:41 oliverfriedmann has quit [Ping timeout: 240 seconds]

10:51 zpe_ has joined #ocaml

10:53 zpe has quit [Ping timeout: 246 seconds]

11:30 olibjerd has joined #ocaml

11:39 oliverfriedmann has joined #ocaml

11:41 dtornabene has quit [Read error: Connection reset by peer]

11:41 dtornabene has joined #ocaml

11:43 jack5638 has quit [Ping timeout: 272 seconds]

11:47 oliverfriedmann has quit [Ping timeout: 245 seconds]

11:50 jack5638 has joined #ocaml

11:59 _andre has joined #ocaml

12:11 jack5638 has quit [Ping timeout: 245 seconds]

12:13 dtornabene has quit [Read error: Connection reset by peer]

12:13 dtornabene has joined #ocaml

12:17 jack5638 has joined #ocaml

12:19 sepp2k has joined #ocaml

12:19 sepp2k has quit [Client Quit]

12:20 sepp2k has joined #ocaml

12:22 dtornabene has quit [Quit: Leaving]

12:31 silver has joined #ocaml

12:31 18VAA951I is now known as hannes

12:36 ziyourenxiang has quit [Ping timeout: 240 seconds]

12:37 CcxWrk has quit [Ping timeout: 240 seconds]

12:38 grayswandyr has joined #ocaml

12:39 ziyourenxiang has joined #ocaml

12:39 shinnya has joined #ocaml

12:45 beginner has joined #ocaml

12:48 oliverfriedmann has joined #ocaml

12:52 <beginner> has someone here ever tried or considered using the go llvm debug bindings?

12:53 ryanartecona has joined #ocaml

12:58 oliverfriedmann has quit [Ping timeout: 268 seconds]

13:01 grayswandyr has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

13:02 olibjerd has quit [Remote host closed the connection]

13:04 grayswandyr has joined #ocaml

13:07 olibjerd has joined #ocaml

13:11 olibjerd has left #ocaml [#ocaml]

13:11 grayswandyr has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

13:11 olibjerd has joined #ocaml

13:13 olibjerd has left #ocaml [#ocaml]

13:23 olibjerd has joined #ocaml

13:23 jack5638 has quit [Ping timeout: 255 seconds]

13:24 ryanartecona has quit [Quit: ryanartecona]

13:31 spew has joined #ocaml

13:36 olibjerd has left #ocaml [#ocaml]

13:37 olibjerd has joined #ocaml

13:37 olibjerd has left #ocaml [#ocaml]

13:37 olibjerd has joined #ocaml

13:38 <companion_cube> what for?

13:42 jack5638 has joined #ocaml

13:49 fraggle-boate_ has joined #ocaml

13:52 fraggle-boate has quit [Ping timeout: 240 seconds]

13:55 BitPuffin has joined #ocaml

13:55 oliverfriedmann has joined #ocaml

14:02 beccamorgan has joined #ocaml

14:04 oliverfriedmann has quit [Ping timeout: 240 seconds]

14:07 MercurialAlchemi has quit [Ping timeout: 245 seconds]

14:14 oliverfriedmann has joined #ocaml

14:15 <beginner> source code debugging of dsl code

14:16 <beginner> companion_cube: do you use the llvm bindings

14:22 oliverfriedmann has quit []

14:31 copy` has joined #ocaml

14:33 spew has quit [Ping timeout: 245 seconds]

14:34 FreeBirdLjj has joined #ocaml

14:35 jao has joined #ocaml

14:39 gasche has joined #ocaml

14:39 <gasche> I'm coming to ask for proposals to the OCaml Workshop

14:39 <gasche> I don't think I have received the proposals from the people of the chan yet!

14:40 <gasche> (it takes 20mn to one hour to write a proposal, no need to wait for the last minute)

14:41 <flux> how long does it take to have an idea for writing the proposal?-)

14:44 <Simn> I have a module which compiles fine with OCaml but makes OCaml+flambda error out without any information. Any clues what to look for?

14:44 ryanartecona has joined #ocaml

14:44 <zozozo> gasche: i'm writing my proposal this afternoon, :p

14:44 <gasche> Simn: if this is an uncaught exception, OCAMLRUNPARAM=b may help

14:45 <zozozo> I just got interesting results of sat solver benchs in ocaml

14:45 <Simn> I have that defined. It's not an exception either, it just seems to exit with error code 127.

14:46 <gasche> Simn: just submit a bug report maybe?

14:46 <gasche> try it with the current trunk first, to make sure it hasn't been fixed

14:46 <Simn> That's why I'm asking for possible causes, so I can report a bit more than "my project doesn't compile".

14:47 <Drup> gasche: do you have many proposals already ?

14:48 <Drup> (mine are written, just need to submit them ;))

14:52 <octachron> gasche, the wonder of last minute submissions, have you ever looked at http://dx.doi.org/10.1142/S0219525910002554 ?

14:53 <gasche> Drup: I'm not sure I'm supposed lift the secrets of workshop organizations, but I haven't received any actual submission yet

14:53 <gasche> it's my first time doing this and the idea that everyone would submit at the very last minute makes the game a bit stressful

14:54 <gasche> also I like sending emails and urging people on IRC

14:54 <gasche> ( octachron: I'm also expecting an email reply from you )

14:54 spew has joined #ocaml

14:55 <gasche> octachron: interesting! one could expect workshops to have a different dynamic as proposals are much easier to write than conference submissions

14:55 <gasche> ( and of course the paper is behind a paywall )

14:55 <octachron> gasche, http://perso.ens-lyon.fr/patrick.flandrin/timestamps_ECCS_SVJ.pdf for the pdf

14:56 <Drup> gasche: you underestimate procrastination :D

14:57 <Drup> (about secrets of workshop organizations: I can get the number of submission when I do my submission, IDs are in distributed in orders :D)

14:58 beginner has quit [Remote host closed the connection]

14:59 <gasche> a couple days ago I read the latest proceedings of the SAT, SMT and CASC competitions

14:59 <gasche> fascinating stuff

15:02 dudelson has joined #ocaml

15:02 <Leonidas> you know, workshops are like ebay, you just snipe at the last minute

15:16 <companion_cube> o/ gasche

15:17 spew has quit [Ping timeout: 260 seconds]

15:22 MK__ has joined #ocaml

15:23 <hannes> gasche: while I still do some OCaml programming, I don't have the feeling any substantial and of interest to the attendees is atm on the list... most recent a unikernel orchestration system which is still unfinished (but pretty lightweight :)

15:24 <MK__> Is there any Lwt-based Log library?

15:24 <Drup> MK__: Lwt_log ?

15:24 <MK__> thx

15:25 argent_smith has quit [Quit: Leaving.]

15:25 <hannes> MK__: there are at least two, Lwt_log, as part of the lwt distribution, and logs_lwt, part of Logs (http://erratique.ch/software/logs/doc/Logs_lwt.html)

15:26 <MK__> Is there any pros/cons?

15:26 <Drup> (lwt|log){2} :p

15:26 <MK__> lol

15:27 <MK__> And more important, howto?

15:27 <hannes> MK__: I don't know much about Lwt_log, but I know Logs_lwt has a decent separation between message generation and reporter -- and if there is no reporter, the format string is not even evaluated :)

15:30 silver has quit [Read error: Connection reset by peer]

15:32 shinnya has quit [Ping timeout: 240 seconds]

15:36 CcxWrk has joined #ocaml

15:37 zpe_ has quit [Remote host closed the connection]

15:38 zpe has joined #ocaml

15:42 MercurialAlchemi has joined #ocaml

15:42 zpe has quit [Ping timeout: 272 seconds]

15:43 colonelj has joined #ocaml

15:43 <colonelj> is there a way to do simultaneous assignments? like (p.x, p.y) <- (p.y, p.x)

15:44 <Drup> colonelj: "let x = y and y = x in ..."

15:44 <Drup> (without "rec")

15:46 <flux> ih colonelj is looking for mutating assingment, then no?

15:48 <Drup> hum, yeah, for mutable things, not really

15:48 Anarchos has joined #ocaml

15:57 ryanartecona has quit [Quit: ryanartecona]

15:57 slash^ has joined #ocaml

16:02 jlam has joined #ocaml

16:02 jlam1 has quit [Ping timeout: 240 seconds]

16:04 jlam__ has joined #ocaml

16:06 jlam has quit [Ping timeout: 240 seconds]

16:10 awal has quit [Remote host closed the connection]

16:11 beccamorgan has quit [Read error: Connection reset by peer]

16:12 spew has joined #ocaml

16:12 Exagone313 has quit [Quit: see ya!]

16:15 beccamorgan has joined #ocaml

16:18 Exagone313 has joined #ocaml

16:18 beccamorgan has quit [Remote host closed the connection]

16:20 beccamorgan has joined #ocaml

16:21 olibjerd has quit [Quit: olibjerd]

16:27 relrod has joined #ocaml

16:27 relrod has quit [Changing host]

16:27 relrod has joined #ocaml

16:30 spew has quit [Ping timeout: 255 seconds]

16:35 jlam_ is now known as jlam

16:36 raphaelss has joined #ocaml

16:41 FreeBirdLjj has quit [Remote host closed the connection]

16:41 FreeBirdLjj has joined #ocaml

16:45 CcxWrk has quit [Read error: Connection reset by peer]

16:45 CcxWrk has joined #ocaml

16:45 FreeBirdLjj has quit [Ping timeout: 245 seconds]

16:51 MK__ has quit [Remote host closed the connection]

16:58 ontologiae has joined #ocaml

16:58 jnavila has joined #ocaml

17:05 AltGr has left #ocaml [#ocaml]

17:09 Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]

17:13 ygrek has joined #ocaml

17:13 cthuluh has quit [Ping timeout: 268 seconds]

17:15 letaris has joined #ocaml

17:16 letaris has quit [Remote host closed the connection]

17:17 letaris has joined #ocaml

17:18 spew has joined #ocaml

17:21 beccamorgan has quit [Read error: Connection reset by peer]

17:27 pierpa has joined #ocaml

17:31 mehdib has quit [Quit: No Ping reply in 180 seconds.]

17:33 mehdib has joined #ocaml

17:33 shinnya has joined #ocaml

17:38 jnavila has quit [Ping timeout: 240 seconds]

17:41 saml has joined #ocaml

17:45 mengu has joined #ocaml

17:50 spew has quit [Ping timeout: 246 seconds]

17:50 ontologiae has quit [Ping timeout: 260 seconds]

17:51 beccamorgan has joined #ocaml

17:52 cbot has joined #ocaml

17:52 beccamorgan has quit [Remote host closed the connection]

17:54 beccamorgan has joined #ocaml

18:15 ryanartecona has joined #ocaml

18:18 spew has joined #ocaml

18:18 beccamorgan has quit [Read error: Connection reset by peer]

18:22 olibjerd has joined #ocaml

18:24 beccamorgan has joined #ocaml

18:25 TheLemonMan has joined #ocaml

18:26 beccamorgan has quit [Remote host closed the connection]

18:27 Exagone313 has quit [Quit: see ya!]

18:27 spew has quit [Ping timeout: 240 seconds]

18:29 beccamorgan has joined #ocaml

18:33 Exagone313 has joined #ocaml

18:37 cthuluh_ has joined #ocaml

18:40 pigeonv has joined #ocaml

18:42 pigeonv has quit [Client Quit]

18:42 pigeonv has joined #ocaml

18:48 <pigeonv> hello everyone! I'm trying to use Irmin_git with Cohttp but it looks like it gets stuck with a lock on a branch when I try to update something. Has anyone here dealt with the same kind of issue?

18:49 cbot_ has joined #ocaml

18:52 cbot has quit [Ping timeout: 260 seconds]

18:53 gasche has left #ocaml ["ERC (IRC client for Emacs 24.5.1)"]

18:57 jnavila has joined #ocaml

19:00 ryanartecona has quit [Quit: ryanartecona]

19:01 <saml> are you trying to write web scale microservices in ocaml?

19:03 <pigeonv> a small web site, actually (which I'd like to scale easily)

19:05 ryanartecona has joined #ocaml

19:05 kakadu has quit [Quit: Konversation terminated!]

19:06 <pigeonv> currently, it loops forever (one one thread)

19:10 <pigeonv> in strace, I see lots of references to futexes

19:22 jnavila has quit [Ping timeout: 240 seconds]

19:26 srcerer has joined #ocaml

19:28 ontologiae has joined #ocaml

19:29 spew has joined #ocaml

19:44 jnavila has joined #ocaml

19:46 beccamorgan has quit [Read error: Connection reset by peer]

19:50 MercurialAlchemi has quit [Ping timeout: 240 seconds]

20:02 kakadu has joined #ocaml

20:06 ontologiae has quit [Ping timeout: 260 seconds]

20:14 olibjerd has quit [Quit: olibjerd]

20:34 silver has joined #ocaml

20:38 slash^ has quit [Remote host closed the connection]

20:38 pigeonv has quit [Quit: WeeChat 1.6]

20:44 spew has quit [Ping timeout: 255 seconds]

20:45 argent_smith has joined #ocaml

20:57 spew has joined #ocaml

21:00 ryanartecona has quit [Quit: ryanartecona]

21:02 _andre has quit [Quit: leaving]

21:04 jnavila has quit [Remote host closed the connection]

21:06 ontologiae has joined #ocaml

21:08 jlam_ has joined #ocaml

21:10 jlam__ has quit [Ping timeout: 260 seconds]

21:12 jlam__ has joined #ocaml

21:13 jlam_ has quit [Ping timeout: 246 seconds]

21:15 spew has quit [Quit: foobar]

21:23 ryanartecona has joined #ocaml

21:27 dudelson has quit [Ping timeout: 255 seconds]

21:37 sepp2k has quit [Ping timeout: 255 seconds]

22:03 TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]

22:04 dudelson has joined #ocaml

22:06 raphaelss has quit [Ping timeout: 240 seconds]

22:18 ryanartecona has quit [Quit: ryanartecona]

22:39 argent_smith has quit [Quit: Leaving.]

22:47 jlam_ has joined #ocaml

22:48 jlam__ has quit [Ping timeout: 246 seconds]

22:52 kakadu has quit [Remote host closed the connection]

22:58 Simn has quit [Quit: Leaving]

23:00 raphaelss has joined #ocaml

23:03 moei has quit [Quit: Leaving...]

23:06 mengu has quit [Quit: Leaving...]

23:07 raphaelss has quit [Ping timeout: 260 seconds]

23:11 ontologiae has quit [Ping timeout: 240 seconds]

23:43 ryanartecona has joined #ocaml

23:47 cbot_ has quit [Ping timeout: 245 seconds]

23:48 cbot has joined #ocaml

23:50 copy` has quit [Quit: Connection closed for inactivity]