#ocaml on 2014-02-02 — irc logs at freenode.irclog.whitequark.org

2014-01-28 20:18 lapinou changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | http://www.ocaml.org | OCaml 4.01.0 announce at http://bit.ly/1851A3R | Public logs at http://tunes.org/~nef/logs/ocaml/

00:02 malo has quit [Ping timeout: 252 seconds]

00:04 mcclurmc has joined #ocaml

00:10 mcclurmc has quit [Ping timeout: 260 seconds]

00:12 ulfdoz_ has joined #ocaml

00:12 Amanite has quit [Quit: Lost terminal]

00:15 philtor has joined #ocaml

00:16 ulfdoz has quit [Ping timeout: 260 seconds]

00:16 ulfdoz_ is now known as ulfdoz

00:19 clan has joined #ocaml

00:25 ollehar has quit [Ping timeout: 245 seconds]

00:35 zpe has joined #ocaml

00:39 appleby has joined #ocaml

00:44 zpe has quit [Ping timeout: 252 seconds]

00:51 appleby has quit [Quit: appleby]

00:57 zRecursive has joined #ocaml

00:59 zRecursive has quit [Remote host closed the connection]

01:06 mcclurmc has joined #ocaml

01:10 zRecursive has joined #ocaml

01:11 mcclurmc has quit [Ping timeout: 260 seconds]

01:17 appleby has joined #ocaml

01:20 mcclurmc has joined #ocaml

01:37 jao has quit [Ping timeout: 252 seconds]

01:40 zpe has joined #ocaml

01:44 zpe has quit [Ping timeout: 252 seconds]

02:28 appleby has quit [Quit: appleby]

02:41 zpe has joined #ocaml

02:45 zpe has quit [Ping timeout: 260 seconds]

03:05 appleby has joined #ocaml

03:10 zRecursive has left #ocaml []

03:22 cross has quit [Remote host closed the connection]

03:31 cross has joined #ocaml

03:35 appleby has quit [Quit: appleby]

03:40 Nahra_ has joined #ocaml

03:41 zpe has joined #ocaml

03:44 Ptival_ has joined #ocaml

03:46 zpe has quit [Ping timeout: 272 seconds]

03:47 watermind has quit [Quit: Konversation terminated!]

04:09 Qett has quit [Remote host closed the connection]

04:10 bholst has quit [Excess Flood]

04:10 bartbes has quit [Excess Flood]

04:10 bartbes has joined #ocaml

04:11 bholst has joined #ocaml

04:11 Ptival has quit [Write error: Broken pipe]

04:12 Nahra has quit [Write error: Broken pipe]

04:13 Qett has joined #ocaml

04:20 mcclurmc has quit [Remote host closed the connection]

04:31 covi has quit [Remote host closed the connection]

04:35 zRecursive has joined #ocaml

04:42 zpe has joined #ocaml

04:46 zpe has quit [Ping timeout: 260 seconds]

04:50 nikki93 has joined #ocaml

04:51 mcclurmc has joined #ocaml

04:58 mcclurmc has quit [Ping timeout: 252 seconds]

05:26 ggole has joined #ocaml

05:28 Kakadu has joined #ocaml

05:30 philtor has quit [Ping timeout: 264 seconds]

05:42 zpe has joined #ocaml

05:44 ggole has quit [Read error: Connection timed out]

05:44 ggole has joined #ocaml

05:47 zpe has quit [Ping timeout: 252 seconds]

05:51 Ptival_ is now known as Ptival

05:55 mcclurmc has joined #ocaml

06:01 mcclurmc has quit [Ping timeout: 264 seconds]

06:12 clan has quit [Quit: clan]

06:20 hto has quit [Quit: Lost terminal]

06:20 hto has joined #ocaml

06:20 hto has quit [Client Quit]

06:29 TDJACR has quit [Ping timeout: 264 seconds]

06:35 TDJACR has joined #ocaml

06:43 zpe has joined #ocaml

06:47 zpe has quit [Ping timeout: 248 seconds]

06:56 mcclurmc has joined #ocaml

07:00 malc_ has quit [Ping timeout: 245 seconds]

07:01 Yoric has joined #ocaml

07:02 mcclurmc has quit [Ping timeout: 252 seconds]

07:10 hto has joined #ocaml

07:19 mcclurmc has joined #ocaml

07:22 Yoric has quit [Ping timeout: 276 seconds]

07:24 mcclurmc has quit [Ping timeout: 260 seconds]

07:28 appleby has joined #ocaml

07:30 appleby has quit [Client Quit]

07:31 axiles has joined #ocaml

07:34 nikki93 has quit [Remote host closed the connection]

07:43 zpe has joined #ocaml

07:47 zpe has quit [Ping timeout: 240 seconds]

08:02 FreeArtMan has joined #ocaml

08:14 ygrek has joined #ocaml

08:14 zRecursive has left #ocaml []

08:20 mcclurmc has joined #ocaml

08:25 mcclurmc has quit [Ping timeout: 245 seconds]

08:25 pminten has joined #ocaml

08:35 nikki93 has joined #ocaml

08:36 zpe has joined #ocaml

08:59 FreeArtMan has quit [Read error: Connection reset by peer]

09:00 FreeArtMan has joined #ocaml

09:03 wolfnn has joined #ocaml

09:08 nikki93 has quit [Ping timeout: 245 seconds]

09:22 mcclurmc has joined #ocaml

09:23 Simn has joined #ocaml

09:25 <gasche> let w () = Lazy.force (lazy v)

09:25 <gasche> (student projects!)

09:26 <Kakadu> ))

09:27 mcclurmc has quit [Ping timeout: 252 seconds]

09:30 ollehar has joined #ocaml

09:38 chris2_ has joined #ocaml

09:39 Ptival_ has joined #ocaml

09:42 n_v has joined #ocaml

09:42 ivan\_ has joined #ocaml

09:43 FreeArtMan has quit [*.net *.split]

09:43 ggole has quit [*.net *.split]

09:43 Ptival has quit [*.net *.split]

09:43 nisstyre has quit [*.net *.split]

09:43 chris2 has quit [*.net *.split]

09:43 n0v has quit [*.net *.split]

09:43 ivan\ has quit [*.net *.split]

09:43 IbnFirnas has quit [*.net *.split]

09:43 n_v is now known as n0v

09:50 ggole has joined #ocaml

09:51 FreeArtMan has joined #ocaml

09:51 nisstyre has joined #ocaml

10:06 nikki93 has joined #ocaml

10:23 mcclurmc has joined #ocaml

10:25 ddosia has joined #ocaml

10:28 mcclurmc has quit [Ping timeout: 260 seconds]

10:30 zpe has quit [Remote host closed the connection]

10:30 chris2_ is now known as chris2

10:30 zpe has joined #ocaml

10:35 zpe has quit [Ping timeout: 264 seconds]

10:38 nikki93 has quit [Ping timeout: 248 seconds]

10:40 zpe has joined #ocaml

11:05 kyrylo has joined #ocaml

11:18 pminten has quit [Remote host closed the connection]

11:25 mcclurmc has joined #ocaml

11:28 FreeArtMan has quit [Ping timeout: 245 seconds]

11:36 nikki93 has joined #ocaml

11:36 mcclurmc has quit [Ping timeout: 272 seconds]

11:36 kyrylo has quit [Ping timeout: 252 seconds]

11:45 tobiasBora has joined #ocaml

11:55 malo has joined #ocaml

11:59 wwilly has joined #ocaml

12:02 kyrylo has joined #ocaml

12:08 nikki93 has quit [Ping timeout: 260 seconds]

12:15 <wwilly> bonjour

12:21 darkf has quit [Quit: Leaving]

12:25 dant3 has joined #ocaml

12:26 <adrien> moin

12:26 <adrien> gasche: btw, is github used too for the phase before writing patches? like discussing approaches

12:26 * adrien is supposed to be thinking about his talk actually

12:27 dant3 has quit [Remote host closed the connection]

12:32 mcclurmc has joined #ocaml

12:37 <gasche> adrien: it's not technically possible to open a discussion without a patch right now, I think, but in theory why not

12:37 mcclurmc has quit [Ping timeout: 252 seconds]

12:37 <adrien> ok, I'll send a patch which renames Unix to AdrienLib then

12:38 <gasche> if you want to discuss the sequel of your cross-compilation patches, you could simply submit what you have already done (eg. what was reverted from trunk) as a basis for discussion, indicating that you don't plan for it to be merged

12:38 <adrien> hmmm, I'd really take a different approach

12:38 <adrien> well

12:38 <adrien> similar approach but different implementation

12:39 <gasche> still it can be interesting to show the patches, and describe the problems with the previous try and how you wish to solve them

12:40 <adrien> point

12:40 <adrien> I'll see what I do

12:40 <adrien> (moving to my talk in a few minutes)

12:55 q66 has quit [Quit: Leaving]

12:58 circ-user-Vfe2d has joined #ocaml

12:58 q66 has joined #ocaml

12:58 q66 has quit [Changing host]

12:58 q66 has joined #ocaml

12:58 circ-user-Vfe2d is now known as sagotch

13:05 nikki93 has joined #ocaml

13:22 zpe_ has joined #ocaml

13:24 zpe has quit [Ping timeout: 240 seconds]

13:28 pminten has joined #ocaml

13:34 mcclurmc has joined #ocaml

13:38 nikki93 has quit [Ping timeout: 240 seconds]

13:39 mcclurmc has quit [Ping timeout: 251 seconds]

13:54 FreeArtMan has joined #ocaml

14:07 milosn has quit [Ping timeout: 252 seconds]

14:08 sagotch has quit [Remote host closed the connection]

14:08 tane has joined #ocaml

14:09 milosn has joined #ocaml

14:13 <jpdeplaix> gasche: s/Friday/Thursday/ ? (in the last gagallium post)

14:13 struktured has quit [Ping timeout: 252 seconds]

14:16 lostcuaz has joined #ocaml

14:20 appleby has joined #ocaml

14:22 struktured has joined #ocaml

14:32 appleby has quit [Quit: appleby]

14:35 FreeArtMan has quit [Ping timeout: 272 seconds]

14:35 mcclurmc has joined #ocaml

14:35 nikki93 has joined #ocaml

14:40 mcclurmc has quit [Ping timeout: 240 seconds]

14:41 appleby has joined #ocaml

14:43 lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

14:45 <appleby> hey guys from the intro to gtk tutorial

14:46 <appleby> what is with this statement

14:46 <appleby> let vbox = GPack.vbox ~packing:window#add () in

14:46 <appleby> window#connect#destroy ~callback:Main.quit;

14:46 <appleby> there is no vbox after the "in"

14:49 <appleby> okay nvm

14:53 nikki93 has quit [Ping timeout: 272 seconds]

14:56 philtor has joined #ocaml

14:58 pminten has quit [Quit: Leaving]

15:04 nikki93 has joined #ocaml

15:10 nikki93 has quit [Remote host closed the connection]

15:23 appleby has quit [Quit: appleby]

15:34 pminten has joined #ocaml

15:36 Ptival_ is now known as Ptival

15:37 mcclurmc has joined #ocaml

15:42 mcclurmc has quit [Ping timeout: 248 seconds]

15:44 nikki93 has joined #ocaml

15:45 kyrylo has quit [Quit: Viva la revolucion!]

15:46 kyrylo has joined #ocaml

15:47 kyrylo has quit [Client Quit]

15:56 dant3 has joined #ocaml

15:56 appleby has joined #ocaml

15:57 jonludlam has joined #ocaml

15:57 jonludlam has quit [Remote host closed the connection]

16:02 jonludlam has joined #ocaml

16:04 pminten has quit [Quit: Leaving]

16:04 jonludlam has quit [Remote host closed the connection]

16:08 x4i has joined #ocaml

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

16:10 zpe has joined #ocaml

16:10 <adrien> gasche: I'll do my best to annoy you as much as possible fairly soon :)

16:11 <adrien> fosdem closed, bye

16:14 zpe has quit [Ping timeout: 252 seconds]

16:22 sagotch has joined #ocaml

16:23 nikki93 has quit [Remote host closed the connection]

16:23 dant3 has quit [Remote host closed the connection]

16:32 x4i has quit [Ping timeout: 245 seconds]

16:33 shinnya has quit [Ping timeout: 260 seconds]

16:35 jao has joined #ocaml

16:35 jao has quit [Changing host]

16:35 jao has joined #ocaml

16:38 mcclurmc has joined #ocaml

16:38 tobiasBora has quit [Read error: Connection reset by peer]

16:39 nikki93 has joined #ocaml

16:39 appleby_ has joined #ocaml

16:40 appleby has quit [Ping timeout: 240 seconds]

16:40 appleby_ is now known as appleby

16:41 tobiasBora has joined #ocaml

16:41 <sagotch> hi everyone

16:42 <sagotch> what is supposed to be *.mlp?

16:42 x4i has joined #ocaml

16:43 mcclurmc has quit [Ping timeout: 252 seconds]

16:44 nikki93 has quit [Remote host closed the connection]

16:46 nikki93 has joined #ocaml

16:48 <Kakadu> No idea

16:48 <Kakadu> where have you get it?

16:48 arj has joined #ocaml

16:49 zpe has joined #ocaml

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

16:53 FreeArtMan has joined #ocaml

16:54 jao has quit [Ping timeout: 264 seconds]

16:55 kyrylo has joined #ocaml

16:56 appleby has quit [Quit: appleby]

16:59 sagotch has quit [Remote host closed the connection]

17:07 struktured has quit [Ping timeout: 264 seconds]

17:07 ygrek has quit [Ping timeout: 265 seconds]

17:12 appleby has joined #ocaml

17:13 appleby has quit [Client Quit]

17:24 nikki93 has joined #ocaml

17:27 nikki93 has quit [Remote host closed the connection]

17:34 dant3 has joined #ocaml

17:37 tobiasBora has quit [Quit: Konversation terminated!]

17:39 dant3 has quit [Ping timeout: 260 seconds]

17:40 mcclurmc has joined #ocaml

17:45 mcclurmc has quit [Ping timeout: 252 seconds]

17:49 IbnFirnas has joined #ocaml

17:49 IbnFirnas has quit [Changing host]

17:49 IbnFirnas has joined #ocaml

17:55 philtor has quit [Ping timeout: 252 seconds]

18:06 Kakadu has quit [Remote host closed the connection]

18:06 Kakadu has joined #ocaml

18:10 nikki93 has joined #ocaml

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

18:11 kyrylo has joined #ocaml

18:11 sillyotter has joined #ocaml

18:12 struktured has joined #ocaml

18:14 nikki93 has quit [Remote host closed the connection]

18:15 tane has quit [Quit: Verlassend]

18:16 wolfnn has quit [Ping timeout: 252 seconds]

18:18 nikki93 has joined #ocaml

18:18 sillyotter has quit [Quit: Leaving]

18:24 arj has quit [Quit: Leaving.]

18:28 ollehar has quit [Ping timeout: 245 seconds]

18:30 ollehar has joined #ocaml

18:31 nikki93 has quit [Remote host closed the connection]

18:33 ggole has quit []

18:34 ulfdoz has quit [Ping timeout: 252 seconds]

18:35 nikki93 has joined #ocaml

18:35 struktured has quit [Ping timeout: 252 seconds]

18:58 nikki93 has quit [Remote host closed the connection]

18:59 nikki93 has joined #ocaml

19:01 ollehar has quit [Ping timeout: 245 seconds]

19:02 ollehar has joined #ocaml

19:06 Anarchos has joined #ocaml

19:08 nisstyre has quit [Quit: Leaving]

19:08 nikki93 has quit [Remote host closed the connection]

19:08 appleby has joined #ocaml

19:21 appleby has quit [Quit: appleby]

19:26 arj has joined #ocaml

19:29 <adrien> saarin: .ml flefiles to be preprocessed?

19:29 <adrien> erf

19:31 <adrien> sorry for the tab-fail, connection is *very* laggy

19:31 <adrien> sagotch: ^

19:44 nikki93 has joined #ocaml

19:45 nikki93 has quit [Remote host closed the connection]

19:49 nikki93 has joined #ocaml

19:49 jsc has joined #ocaml

19:50 nikki93 has quit [Remote host closed the connection]

19:50 <jsc> I'm just looking at the tryOCaml tutorial (first time seeing OCaml syntax) and I wondered: Why the pipe characters for lists of string literals?

19:51 <jsc> The prompt seems to make no distinction between ["John"; "Doe"] and [|"John"; "Doe"]

19:52 <Anarchos> there is a distinction between list and array.

19:53 <flux> the syntax for arrays would be [|elt1; elt2|]

19:53 struktured has joined #ocaml

19:53 <jsc> So that's all that is? Pipes in arrays, nothing for a list?

19:55 <flux> yes

19:56 <jsc> That makes sense. Thanks a lot.

19:56 cross has quit [Quit: leaving]

19:56 appleby has joined #ocaml

19:59 cross has joined #ocaml

19:59 cross has quit [Client Quit]

19:59 cross has joined #ocaml

20:00 cross has quit [Client Quit]

20:01 cross has joined #ocaml

20:06 Yoric has joined #ocaml

20:06 nikki93 has joined #ocaml

20:11 Kakadu has quit [Quit: Konversation terminated!]

20:11 Eyyub has joined #ocaml

20:15 <flux> good luck :)

20:16 Eyyub has quit [Ping timeout: 240 seconds]

20:17 Eyyub has joined #ocaml

20:24 ulfdoz has joined #ocaml

20:31 axiles has quit [Quit: Quitte]

20:37 nikki93 has quit [Remote host closed the connection]

20:37 nikki93 has joined #ocaml

20:45 mcclurmc has joined #ocaml

20:46 <companion_cube> o/

20:46 <pippijn> \o

20:46 <companion_cube> yo

20:46 <pippijn> how was the weekend?

20:47 <companion_cube> pretty good, thanks. What about yours?

20:47 <pippijn> exhausting

20:47 <pippijn> I went back to germany visiting my parents

20:48 <companion_cube> by train?

20:48 <pippijn> yes

20:49 mcclurmc has quit [Ping timeout: 252 seconds]

21:19 Eyyub has quit [Ping timeout: 248 seconds]

21:19 appleby_ has joined #ocaml

21:20 appleby has quit [Ping timeout: 264 seconds]

21:20 appleby_ is now known as appleby

21:20 Eyyub has joined #ocaml

21:32 <arj> how can I get my home directory in ocaml?

21:35 wwilly has quit [Quit: This computer has gone to sleep]

21:40 jsc has quit [Quit: Leaving]

21:46 mcclurmc has joined #ocaml

21:49 arj has quit [Quit: Leaving.]

21:51 mcclurmc has quit [Ping timeout: 252 seconds]

21:53 nikki93 has quit [Remote host closed the connection]

21:54 Eyyub has quit [Ping timeout: 245 seconds]

21:56 Eyyub has joined #ocaml

22:03 ulfdoz has quit [Ping timeout: 248 seconds]

22:08 FreeArtMan has quit [Quit: main.lv]

22:11 Eyyub has quit [Ping timeout: 260 seconds]

22:12 Eyyub has joined #ocaml

22:18 philtor has joined #ocaml

22:20 appleby has quit [Quit: appleby]

22:22 lostcuaz has joined #ocaml

22:22 lostcuaz has quit [Read error: Connection reset by peer]

22:23 lostcuaz has joined #ocaml

22:24 zpe has quit [Remote host closed the connection]

22:25 zpe has joined #ocaml

22:29 Thooms has joined #ocaml

22:30 zpe has quit [Ping timeout: 264 seconds]

22:36 Thooms has quit [Ping timeout: 260 seconds]

22:38 philtor has quit [Ping timeout: 240 seconds]

22:41 nikki93 has joined #ocaml

22:43 Yoric has quit [Ping timeout: 272 seconds]

22:50 nisstyre has joined #ocaml

22:55 appleby has joined #ocaml

22:55 zpe has joined #ocaml

22:56 appleby has quit [Client Quit]

23:04 zpe has quit [Ping timeout: 248 seconds]

23:04 darkf has joined #ocaml

23:10 Simn has quit [Quit: Leaving]

23:17 ollehar has quit [Ping timeout: 245 seconds]

23:19 appleby has joined #ocaml