#ocaml on 2012-09-16 — irc logs at freenode.irclog.whitequark.org

2011-07-12 19:41 gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.1 http://bit.ly/nNVIVH

00:05 bddn has quit [Ping timeout: 245 seconds]

00:07 lggr has joined #ocaml

00:16 lggr has quit [Ping timeout: 248 seconds]

00:18 lggr has joined #ocaml

00:25 lggr has quit [Ping timeout: 240 seconds]

00:32 Ptival has joined #ocaml

00:34 lggr has joined #ocaml

00:43 lggr has quit [Ping timeout: 260 seconds]

00:45 lggr has joined #ocaml

00:48 bddn has joined #ocaml

00:52 lggr has quit [Ping timeout: 246 seconds]

00:54 lggr has joined #ocaml

00:55 bddn has quit [Remote host closed the connection]

00:57 ulfdoz_ has joined #ocaml

01:00 ulfdoz has quit [Ping timeout: 244 seconds]

01:00 ulfdoz_ is now known as ulfdoz

01:00 bddn has joined #ocaml

01:01 lggr has quit [Ping timeout: 260 seconds]

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

01:09 lggr has joined #ocaml

01:19 lggr has quit [Ping timeout: 248 seconds]

01:19 madroach has quit [Ping timeout: 265 seconds]

01:20 lggr has joined #ocaml

01:20 madroach has joined #ocaml

01:28 lggr has quit [Ping timeout: 272 seconds]

01:31 lggr has joined #ocaml

01:38 lggr has quit [Ping timeout: 255 seconds]

01:45 lggr has joined #ocaml

01:47 bddn has joined #ocaml

01:55 lggr has quit [Ping timeout: 260 seconds]

02:00 lggr has joined #ocaml

02:09 lggr has quit [Ping timeout: 240 seconds]

02:14 lggr has joined #ocaml

02:24 lggr has quit [Ping timeout: 252 seconds]

02:29 lggr has joined #ocaml

02:38 lggr has quit [Ping timeout: 244 seconds]

02:41 sepp2k1 has quit [Remote host closed the connection]

02:43 lggr has joined #ocaml

02:51 lggr has quit [Ping timeout: 252 seconds]

02:57 lggr has joined #ocaml

03:04 lggr has quit [Ping timeout: 240 seconds]

03:11 lggr has joined #ocaml

03:15 BiDOrD has joined #ocaml

03:18 BiDOrD_ has quit [Ping timeout: 252 seconds]

03:19 lggr has quit [Ping timeout: 268 seconds]

03:22 lggr has joined #ocaml

03:29 lggr has quit [Ping timeout: 255 seconds]

03:33 lggr has joined #ocaml

03:37 lggr has quit [Ping timeout: 240 seconds]

03:42 lggr has joined #ocaml

03:48 lggr has quit [Ping timeout: 240 seconds]

03:58 chispita has quit [Ping timeout: 240 seconds]

03:59 lggr has joined #ocaml

04:06 lggr has quit [Ping timeout: 244 seconds]

04:07 wtetzner has quit [Read error: Connection reset by peer]

04:13 lggr has joined #ocaml

04:18 emmanuelux has quit [Quit: emmanuelux]

04:20 lggr has quit [Ping timeout: 260 seconds]

04:24 lggr has joined #ocaml

04:30 lggr has quit [Ping timeout: 244 seconds]

04:35 lggr has joined #ocaml

04:39 lggr has quit [Ping timeout: 245 seconds]

04:46 lggr has joined #ocaml

04:54 lggr has quit [Ping timeout: 248 seconds]

05:01 lggr has joined #ocaml

05:02 cdidd has joined #ocaml

05:08 lggr has quit [Ping timeout: 260 seconds]

05:11 lggr has joined #ocaml

05:16 lggr has quit [Ping timeout: 244 seconds]

05:21 mattrepl has quit [Quit: mattrepl]

05:23 lggr has joined #ocaml

05:29 lggr has quit [Ping timeout: 245 seconds]

05:33 lggr has joined #ocaml

05:41 lggr has quit [Ping timeout: 268 seconds]

05:47 lggr has joined #ocaml

05:54 lggr has quit [Ping timeout: 245 seconds]

06:02 lggr has joined #ocaml

06:08 gnuvince has quit [Ping timeout: 240 seconds]

06:10 lggr has quit [Ping timeout: 264 seconds]

06:16 lggr has joined #ocaml

06:23 lggr has quit [Ping timeout: 240 seconds]

06:24 lggr has joined #ocaml

06:32 lggr has quit [Ping timeout: 240 seconds]

06:39 lggr has joined #ocaml

06:42 eikke has quit [Ping timeout: 255 seconds]

06:46 lggr has quit [Ping timeout: 244 seconds]

06:48 thelema_ has quit [*.net *.split]

06:48 caligula_ has quit [*.net *.split]

06:48 cacho has quit [*.net *.split]

06:48 abeaulieu has quit [*.net *.split]

06:48 jonafan has quit [*.net *.split]

06:48 brendan has quit [*.net *.split]

06:48 willb has quit [*.net *.split]

06:48 ulfdoz has quit [*.net *.split]

06:48 thizanne has quit [*.net *.split]

06:48 hnrgrgr has quit [*.net *.split]

06:53 lggr has joined #ocaml

07:01 lggr has quit [Ping timeout: 272 seconds]

07:02 lggr has joined #ocaml

07:03 eni has joined #ocaml

07:06 lggr has quit [Ping timeout: 248 seconds]

07:11 cacho has joined #ocaml

07:11 abeaulieu has joined #ocaml

07:11 jonafan has joined #ocaml

07:11 brendan has joined #ocaml

07:11 willb has joined #ocaml

07:11 cdidd has quit [Read error: Connection reset by peer]

07:12 Ptival has quit [Read error: Connection reset by peer]

07:12 thelema_ has joined #ocaml

07:12 caligula_ has joined #ocaml

07:12 ulfdoz has joined #ocaml

07:12 thizanne has joined #ocaml

07:12 hnrgrgr has joined #ocaml

07:13 lggr has joined #ocaml

07:13 milosn has quit [Ping timeout: 260 seconds]

07:17 cdidd has joined #ocaml

07:17 lggr has quit [Ping timeout: 240 seconds]

07:24 lggr has joined #ocaml

07:26 eikke has joined #ocaml

07:28 lggr has quit [Ping timeout: 248 seconds]

07:34 lggr has joined #ocaml

07:41 lggr has quit [Ping timeout: 245 seconds]

07:43 eikke has quit [Ping timeout: 255 seconds]

07:43 lggr has joined #ocaml

07:48 mnabil has joined #ocaml

07:50 lggr has quit [Ping timeout: 260 seconds]

07:54 lggr has joined #ocaml

07:57 Oejet has joined #ocaml

08:01 lggr has quit [Ping timeout: 272 seconds]

08:08 ftrvxmtrx has quit [Quit: Leaving]

08:08 lggr has joined #ocaml

08:15 lggr has quit [Ping timeout: 240 seconds]

08:17 ontologiae has joined #ocaml

08:22 lggr has joined #ocaml

08:24 Yoric has joined #ocaml

08:26 lggr has quit [Ping timeout: 244 seconds]

08:28 Yoric has quit [Client Quit]

08:28 Yoric has joined #ocaml

08:34 lggr has joined #ocaml

08:38 Yoric has quit [Remote host closed the connection]

08:38 Yoric has joined #ocaml

08:39 lggr has quit [Ping timeout: 244 seconds]

08:46 lggr has joined #ocaml

08:53 lggr has quit [Ping timeout: 272 seconds]

08:58 cdidd has quit [Remote host closed the connection]

09:00 lggr has joined #ocaml

09:08 lggr has quit [Ping timeout: 264 seconds]

09:08 lggr has joined #ocaml

09:15 lggr has quit [Ping timeout: 240 seconds]

09:22 lggr has joined #ocaml

09:30 lggr has quit [Ping timeout: 272 seconds]

09:35 Snark has joined #ocaml

09:36 lggr has joined #ocaml

09:44 lggr has quit [Ping timeout: 252 seconds]

09:50 lggr has joined #ocaml

09:51 ftrvxmtrx has joined #ocaml

09:57 lggr has quit [Ping timeout: 244 seconds]

10:01 lggr has joined #ocaml

10:02 eni has quit [Ping timeout: 248 seconds]

10:06 eni has joined #ocaml

10:07 lggr has quit [Ping timeout: 245 seconds]

10:12 lggr has joined #ocaml

10:19 lggr has quit [Ping timeout: 245 seconds]

10:26 lggr has joined #ocaml

10:33 lggr has quit [Ping timeout: 245 seconds]

10:35 err404 has joined #ocaml

10:40 larhat has joined #ocaml

10:40 lggr has joined #ocaml

10:48 lggr has quit [Ping timeout: 245 seconds]

10:52 mnabil has quit [Read error: No route to host]

10:53 fraggle_ has quit [Remote host closed the connection]

10:55 lggr has joined #ocaml

11:01 lggr has quit [Ping timeout: 252 seconds]

11:05 lggr has joined #ocaml

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

11:16 lggr has joined #ocaml

11:23 larhat1 has joined #ocaml

11:25 lggr has quit [Ping timeout: 264 seconds]

11:26 larhat has quit [Ping timeout: 246 seconds]

11:30 lggr has joined #ocaml

11:32 ollehar has joined #ocaml

11:37 lggr has quit [Ping timeout: 252 seconds]

11:44 lggr has joined #ocaml

11:45 chispita has joined #ocaml

11:52 lggr has quit [Ping timeout: 252 seconds]

11:59 lggr has joined #ocaml

12:05 f[x] has quit [Ping timeout: 260 seconds]

12:07 lggr has quit [Ping timeout: 264 seconds]

12:10 lggr has joined #ocaml

12:17 lggr has quit [Ping timeout: 264 seconds]

12:21 lggr has joined #ocaml

12:28 lggr has quit [Ping timeout: 244 seconds]

12:30 lggr has joined #ocaml

12:36 lggr has quit [Ping timeout: 252 seconds]

12:40 lggr has joined #ocaml

12:44 ollehar has quit [Ping timeout: 246 seconds]

12:48 lggr has quit [Ping timeout: 268 seconds]

12:51 lggr has joined #ocaml

12:58 jathd has quit [Remote host closed the connection]

12:59 lggr has quit [Ping timeout: 244 seconds]

13:00 sepp2k has joined #ocaml

13:06 lggr has joined #ocaml

13:10 ftrvxmtrx has quit [Quit: Leaving]

13:13 lggr has quit [Ping timeout: 244 seconds]

13:16 ontologiae has quit [Ping timeout: 246 seconds]

13:20 lggr has joined #ocaml

13:28 lggr has quit [Ping timeout: 272 seconds]

13:35 lggr has joined #ocaml

13:40 Yoric has quit [Ping timeout: 240 seconds]

13:42 lggr has quit [Ping timeout: 240 seconds]

13:46 Yoric has joined #ocaml

13:53 larhat1 has quit [Ping timeout: 244 seconds]

13:57 lggr has joined #ocaml

14:01 eni has quit [Ping timeout: 240 seconds]

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

14:04 eni has joined #ocaml

14:06 lggr has joined #ocaml

14:10 mattrepl has joined #ocaml

14:12 lggr has quit [Ping timeout: 252 seconds]

14:12 BiDOrD_ has joined #ocaml

14:13 BiDOrD has quit [Ping timeout: 264 seconds]

14:20 lggr has joined #ocaml

14:22 Ptival has joined #ocaml

14:29 lggr has quit [Ping timeout: 240 seconds]

14:31 lggr has joined #ocaml

14:32 larhat has joined #ocaml

14:37 lggr has quit [Ping timeout: 244 seconds]

14:39 lggr has joined #ocaml

14:44 lggr has quit [Ping timeout: 272 seconds]

14:44 fraggle_ has joined #ocaml

14:48 eni has quit [Ping timeout: 248 seconds]

14:51 lggr has joined #ocaml

14:58 lggr has quit [Ping timeout: 240 seconds]

15:01 lggr has joined #ocaml

15:06 lggr has quit [Ping timeout: 252 seconds]

15:06 larhat has quit [Quit: Leaving.]

15:07 larhat has joined #ocaml

15:15 lggr has joined #ocaml

15:22 lggr has quit [Ping timeout: 252 seconds]

15:24 lggr has joined #ocaml

15:30 Kakadu has joined #ocaml

15:33 lggr has quit [Ping timeout: 260 seconds]

15:35 lggr has joined #ocaml

15:39 larhat has quit [Quit: Leaving.]

15:40 olle has joined #ocaml

15:42 lggr has quit [Ping timeout: 268 seconds]

15:46 lggr has joined #ocaml

15:50 lggr has quit [Ping timeout: 240 seconds]

15:58 lggr has joined #ocaml

16:02 lggr has quit [Ping timeout: 244 seconds]

16:06 lggr has joined #ocaml

16:13 lggr has quit [Ping timeout: 252 seconds]

16:17 lggr has joined #ocaml

16:23 lggr has quit [Ping timeout: 248 seconds]

16:28 lggr has joined #ocaml

16:29 Ptival has quit [Ping timeout: 245 seconds]

16:32 Znudzon has joined #ocaml

16:34 lggr has quit [Ping timeout: 252 seconds]

16:37 sepp2k1 has joined #ocaml

16:39 sepp2k has quit [Ping timeout: 264 seconds]

16:39 lggr has joined #ocaml

16:46 lggr has quit [Ping timeout: 252 seconds]

16:51 lggr has joined #ocaml

16:52 Oejet has quit [Ping timeout: 264 seconds]

16:54 Cyanure has quit [Remote host closed the connection]

16:59 lggr has quit [Ping timeout: 272 seconds]

17:01 olle has quit [Ping timeout: 244 seconds]

17:01 zbroyar has joined #ocaml

17:03 Tobu has quit [Read error: Connection reset by peer]

17:03 Tobu_ has joined #ocaml

17:03 lggr has joined #ocaml

17:11 lggr has quit [Ping timeout: 260 seconds]

17:15 lggr has joined #ocaml

17:15 osa1 has joined #ocaml

17:21 <Drakken> So, how did the meeting go?

17:24 lggr has quit [Ping timeout: 268 seconds]

17:27 Cyanure has joined #ocaml

17:27 lggr has joined #ocaml

17:29 olle has joined #ocaml

17:34 lggr has quit [Ping timeout: 252 seconds]

17:36 lggr has joined #ocaml

17:40 Ptival has joined #ocaml

17:42 zbroyar has quit [Quit: Leaving.]

17:42 Oejet has joined #ocaml

17:42 lggr has quit [Ping timeout: 244 seconds]

17:45 lggr has joined #ocaml

17:46 osa1 has quit [Ping timeout: 260 seconds]

17:49 lggr has quit [Ping timeout: 248 seconds]

17:54 <Kakadu> Drakken: I was not there(

17:54 <Kakadu> I've studing XEN and really don't understand this error.

17:55 <Kakadu> http://paste.in.ua/4735/

17:56 lggr has joined #ocaml

17:59 deavid has quit [Quit: No Ping reply in 180 seconds.]

17:59 <Kakadu> error |> split |> diff == https://paste.debian.net/plain/190072

17:59 deavid has joined #ocaml

18:03 lggr has quit [Ping timeout: 252 seconds]

18:03 osa1 has joined #ocaml

18:06 deavid has quit [Quit: No Ping reply in 180 seconds.]

18:06 deavid has joined #ocaml

18:08 lggr has joined #ocaml

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

18:15 lggr has quit [Ping timeout: 252 seconds]

18:18 deavid has quit [Quit: No Ping reply in 180 seconds.]

18:18 osa1 has joined #ocaml

18:20 lggr has joined #ocaml

18:21 deavid has joined #ocaml

18:24 lggr has quit [Ping timeout: 245 seconds]

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

18:32 lggr has joined #ocaml

18:40 lggr has quit [Ping timeout: 264 seconds]

18:44 lggr has joined #ocaml

18:45 osa1 has quit [Ping timeout: 246 seconds]

18:48 lggr has quit [Ping timeout: 246 seconds]

18:48 <Drakken> Kakadu: Where are those two references to create? Is one of them in a signature? Obviously their types don't match.

18:52 lggr has joined #ocaml

18:56 lggr has quit [Ping timeout: 244 seconds]

19:05 <Kakadu> Drakken: I don't understand. Nothing is obvious to me

19:05 <Kakadu> what to references do you mean?

19:06 <Drakken> Kakadu: One of those should be the definition, and the other might be in a .mli file.

19:06 <Drakken> Is there more to the error message?

19:07 Znudzon has quit [Remote host closed the connection]

19:08 <Kakadu> Drakken: there is long error: http://paste.in.ua/4737/

19:09 lggr has joined #ocaml

19:10 <Kakadu> line 85 here: http://anonscm.debian.org/gitweb/?p=pkg-xen/xen-api.git;a=blob;f=ocaml/xapi/api_server.ml;h=d0252d1f591d4be207fc0984078f9f491ad19f79;hb=HEAD#l85

19:11 Playground has joined #ocaml

19:11 <Kakadu> it seems problem is in VM module: http://anonscm.debian.org/gitweb/?p=pkg-xen/xen-api.git;a=blob;f=ocaml/xapi/api_server.ml;h=d0252d1f591d4be207fc0984078f9f491ad19f79;hb=HEAD#l32

19:13 <Kakadu> bad bad bad function is here: http://paste.in.ua/4738/#846

19:14 <Drakken> Kakadu did you notice the findlib error messge?

19:14 <Drakken> messAge

19:15 <Kakadu> mli for xapi_vm: http://paste.in.ua/4739/#142

19:15 <Kakadu> Drakken: yep, but it is not a problem

19:15 <Kakadu> Everything was compilable until my patches)

19:17 lggr has quit [Ping timeout: 240 seconds]

19:21 lggr has joined #ocaml

19:25 gnuvince has joined #ocaml

19:28 lggr has quit [Ping timeout: 268 seconds]

19:30 Ptival has joined #ocaml

19:32 lggr has joined #ocaml

19:42 lggr has quit [Ping timeout: 260 seconds]

19:43 lggr has joined #ocaml

19:51 lggr has quit [Ping timeout: 272 seconds]

19:56 lggr has joined #ocaml

20:00 Playground has quit [Ping timeout: 248 seconds]

20:02 lggr has quit [Ping timeout: 245 seconds]

20:05 Yoric has quit [Ping timeout: 246 seconds]

20:07 lggr has joined #ocaml

20:11 gnuvince has quit [Ping timeout: 272 seconds]

20:14 lggr has quit [Ping timeout: 245 seconds]

20:14 Ptival has quit [Read error: Connection reset by peer]

20:15 larhat has joined #ocaml

20:18 lggr has joined #ocaml

20:20 fraggle_ has quit [Ping timeout: 252 seconds]

20:25 lggr has quit [Ping timeout: 245 seconds]

20:26 gnuvince has joined #ocaml

20:30 lggr has joined #ocaml

20:30 emmanuelux has joined #ocaml

20:34 lggr has quit [Ping timeout: 272 seconds]

20:38 Playground has joined #ocaml

20:41 lggr has joined #ocaml

20:45 lggr has quit [Ping timeout: 255 seconds]

20:49 fraggle_ has joined #ocaml

20:52 lggr has joined #ocaml

20:54 ftrvxmtrx has joined #ocaml

20:55 Snark has quit [Quit: Quitte]

20:58 lggr has quit [Ping timeout: 268 seconds]

21:03 lggr has joined #ocaml

21:07 fraggle_ has quit [Read error: Connection timed out]

21:08 fraggle_ has joined #ocaml

21:10 lggr has quit [Ping timeout: 240 seconds]

21:15 lggr has joined #ocaml

21:17 Kakadu has quit [Quit: Konversation terminated!]

21:22 lggr has quit [Ping timeout: 240 seconds]

21:24 eikke has joined #ocaml

21:26 lggr has joined #ocaml

21:26 Znudzon has joined #ocaml

21:32 lggr has quit [Ping timeout: 255 seconds]

21:35 olle has quit [Ping timeout: 244 seconds]

21:37 lggr has joined #ocaml

21:41 lggr has quit [Ping timeout: 244 seconds]

21:45 lggr has joined #ocaml

21:53 lggr has quit [Ping timeout: 248 seconds]

21:53 milosn has joined #ocaml

21:57 lggr has joined #ocaml

21:58 Cyanure has quit [Remote host closed the connection]

22:04 lggr has quit [Ping timeout: 244 seconds]

22:08 lggr has joined #ocaml

22:12 eikke has quit [Ping timeout: 252 seconds]

22:12 lggr has quit [Ping timeout: 240 seconds]

22:13 Playground has quit [Quit: leaving]

22:19 lggr has joined #ocaml

22:25 lggr has quit [Ping timeout: 248 seconds]

22:30 lggr has joined #ocaml

22:32 Anarchos has joined #ocaml

22:32 ulfdoz has quit [Ping timeout: 244 seconds]

22:37 lggr has quit [Ping timeout: 246 seconds]

22:40 gnuvince has quit [Ping timeout: 272 seconds]

22:41 lggr has joined #ocaml

22:43 tufisi has quit [Ping timeout: 248 seconds]

22:48 eni has joined #ocaml

22:49 lggr has quit [Ping timeout: 272 seconds]

22:53 wtetzner has joined #ocaml

22:54 Znudzon has quit [Ping timeout: 252 seconds]

22:54 Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]

22:55 lggr has joined #ocaml

23:02 lggr has quit [Ping timeout: 244 seconds]

23:07 eni has quit [Quit: Leaving]

23:10 lggr has joined #ocaml

23:18 lggr has quit [Ping timeout: 272 seconds]

23:21 <larhat> hcarty: could you please run 'oasis setup' in you lwt-zmq and include setup.ml and other stuff in repo? also, did you see https://github.com/camlunity/lwt_zmq ?

23:21 lggr has joined #ocaml

23:25 Oejet has quit [Ping timeout: 252 seconds]

23:28 lggr has quit [Ping timeout: 255 seconds]

23:32 lggr has joined #ocaml

23:39 lggr has quit [Ping timeout: 252 seconds]

23:40 emmanuelux has quit [Quit: emmanuelux]

23:46 lggr has joined #ocaml

23:51 Ptival has joined #ocaml

23:53 lggr has quit [Ping timeout: 245 seconds]

23:56 emmanuelux has joined #ocaml

23:57 lggr has joined #ocaml