#ocaml on 2014-04-05 — 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 maattdd_ has joined #ocaml

00:05 nikki93 has joined #ocaml

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

00:13 nikki93 has joined #ocaml

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

00:22 nikki93 has joined #ocaml

00:28 maattdd_ has quit [Ping timeout: 240 seconds]

00:33 nikki93 has quit [Remote host closed the connection]

00:34 tlockney is now known as tlockney_away

00:37 zpe has joined #ocaml

00:42 zpe has quit [Ping timeout: 240 seconds]

00:50 watermind has joined #ocaml

00:51 nikki93 has joined #ocaml

00:56 nikki93 has quit [Remote host closed the connection]

01:09 nikki93 has joined #ocaml

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

01:31 nikki93 has joined #ocaml

01:38 nikki93 has quit [Remote host closed the connection]

01:40 manizzle has quit [Ping timeout: 240 seconds]

01:42 nikki93 has joined #ocaml

01:42 travisbrady has quit [Quit: travisbrady]

01:48 clan has quit [Quit: clan]

01:54 nikki93 has quit [Remote host closed the connection]

01:55 nikki93 has joined #ocaml

01:55 divyanshu has joined #ocaml

02:00 nikki93 has quit [Remote host closed the connection]

02:05 maattdd_ has joined #ocaml

02:07 nikki93 has joined #ocaml

02:10 divyanshu has quit [Quit: Computer has gone to sleep.]

02:21 lostcuaz has joined #ocaml

02:23 lostcuaz has quit [Client Quit]

02:24 divyanshu has joined #ocaml

02:24 lostcuaz has joined #ocaml

02:25 nikki93 has quit [Remote host closed the connection]

02:27 nikki93 has joined #ocaml

02:30 divyanshu has quit [Ping timeout: 255 seconds]

02:33 nikki93 has quit [Remote host closed the connection]

02:36 maattdd_ has quit [Ping timeout: 252 seconds]

02:37 q66 has quit [Quit: Leaving]

02:38 rand000 has quit [Quit: leaving]

02:42 nikki93 has joined #ocaml

02:48 nikki93 has quit [Remote host closed the connection]

02:51 travisbrady has joined #ocaml

02:52 tautologico has joined #ocaml

02:53 nikki93 has joined #ocaml

02:54 talzeus has quit [Read error: Connection reset by peer]

02:54 travisbrady has quit [Client Quit]

02:54 talzeus has joined #ocaml

02:54 talzeus has quit [Remote host closed the connection]

02:55 talzeus has joined #ocaml

02:58 malvarez has quit [Ping timeout: 245 seconds]

03:00 thomasga has joined #ocaml

03:01 nikki93 has quit [Remote host closed the connection]

03:09 nikki93 has joined #ocaml

03:12 tidren has joined #ocaml

03:13 manizzle has joined #ocaml

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

03:19 thomasga has quit [Quit: Leaving.]

03:20 zzing has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

03:20 keen_ has joined #ocaml

03:21 tidren has quit [Remote host closed the connection]

03:32 manizzle has quit [Ping timeout: 240 seconds]

03:34 nikki93 has joined #ocaml

03:41 watermind has quit [Read error: Connection reset by peer]

03:41 watermind has joined #ocaml

04:02 yacks has joined #ocaml

04:19 thomasga has joined #ocaml

04:22 lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

04:26 thomasga has quit [Ping timeout: 240 seconds]

04:34 talzeus has quit [Read error: Connection reset by peer]

04:37 willb1 has quit [Ping timeout: 240 seconds]

04:54 willb1 has joined #ocaml

04:59 clan has joined #ocaml

05:17 tlockney_away is now known as tlockney

05:22 thomasga has joined #ocaml

05:26 axiles has joined #ocaml

05:26 thomasga has quit [Read error: Operation timed out]

05:34 tlockney is now known as tlockney_away

06:09 ygrek has joined #ocaml

06:23 thomasga has joined #ocaml

06:27 thomasga has quit [Ping timeout: 255 seconds]

06:31 ggole has joined #ocaml

06:34 Yoric has joined #ocaml

06:38 Simn has joined #ocaml

06:38 Yoric has quit [Ping timeout: 240 seconds]

06:39 Submarine has joined #ocaml

06:52 willy_ has joined #ocaml

06:57 manizzle has joined #ocaml

06:59 Kakadu has joined #ocaml

06:59 tianon has quit [Ping timeout: 246 seconds]

07:00 Yoric has joined #ocaml

07:07 Yoric has quit [Ping timeout: 240 seconds]

07:23 thomasga has joined #ocaml

07:26 araujo has quit [Quit: Leaving]

07:27 thomasga has quit [Read error: Operation timed out]

07:38 Yoric has joined #ocaml

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

07:56 steshaw has joined #ocaml

07:58 steshaw has quit [Client Quit]

07:58 rolfkanies has joined #ocaml

08:04 rolfkanies has quit [Remote host closed the connection]

08:07 zpe has joined #ocaml

08:18 ypagun has joined #ocaml

08:24 thomasga has joined #ocaml

08:27 ypagun has quit [Ping timeout: 240 seconds]

08:28 sagotch has joined #ocaml

08:28 thomasga has quit [Ping timeout: 255 seconds]

08:31 <willy_> bonjour

08:32 watermind has quit [Read error: Connection reset by peer]

08:33 watermind has joined #ocaml

08:52 ikaros has joined #ocaml

08:57 ollehar has joined #ocaml

09:16 maattdd_ has joined #ocaml

09:18 rand000 has joined #ocaml

09:22 pminten has joined #ocaml

09:24 thomasga has joined #ocaml

09:26 ygrek has quit [Ping timeout: 240 seconds]

09:27 thomasga1 has joined #ocaml

09:29 elfring has joined #ocaml

09:29 thomasga has quit [Ping timeout: 268 seconds]

09:34 ski has quit [Quit: Lost terminal]

09:36 thomasga1 has quit [Quit: Leaving.]

09:37 ollehar has quit [Ping timeout: 240 seconds]

09:38 sagotch has quit [Remote host closed the connection]

09:51 ollehar has joined #ocaml

09:51 michael_lee has joined #ocaml

09:53 michael_lee has quit [Max SendQ exceeded]

09:55 michael_lee has joined #ocaml

09:57 ikaros has quit [Quit: Ex-Chat]

10:02 michael_lee has quit [Max SendQ exceeded]

10:05 <nicoo> willy_: This channel is English-speaking. For French, use #ocaml-fr

10:12 steshaw has joined #ocaml

10:12 steshaw has quit [Remote host closed the connection]

10:16 algoriddle has quit [Quit: WeeChat 0.4.3]

10:18 Submarine has quit [Remote host closed the connection]

10:20 thomasga has joined #ocaml

10:21 Submarine has joined #ocaml

10:22 michael_lee has joined #ocaml

10:24 thomasga has quit [Read error: Operation timed out]

10:29 watermind has quit [Read error: Connection reset by peer]

10:30 watermind has joined #ocaml

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

10:49 pminten has quit [Remote host closed the connection]

11:05 nikki93 has joined #ocaml

11:30 watermind has quit [Quit: Konversation terminated!]

11:30 watermind has joined #ocaml

11:31 ygrek has joined #ocaml

11:33 watermind has quit [Read error: Connection reset by peer]

11:34 watermind has joined #ocaml

11:35 watermind has quit [Client Quit]

11:35 watermind has joined #ocaml

11:40 avsm has joined #ocaml

11:42 ygrek_ has joined #ocaml

11:42 avsm1 has joined #ocaml

11:42 avsm1 has quit [Client Quit]

11:43 avsm has quit [Read error: Connection reset by peer]

11:44 ygrek has quit [Ping timeout: 240 seconds]

12:04 maattdd_ has quit [Ping timeout: 240 seconds]

12:05 ygrek_ has quit [Ping timeout: 268 seconds]

12:09 ygrek_ has joined #ocaml

12:12 pminten has joined #ocaml

12:23 thomasga has joined #ocaml

12:28 thomasga has quit [Ping timeout: 268 seconds]

12:31 maattdd_ has joined #ocaml

12:33 ollehar has quit [Ping timeout: 240 seconds]

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

12:40 ygrek has joined #ocaml

12:40 q66 has joined #ocaml

12:40 ygrek_ has quit [Remote host closed the connection]

12:57 q66 has quit [Ping timeout: 252 seconds]

13:01 thomasga has joined #ocaml

13:01 q66 has joined #ocaml

13:02 maattdd_ has joined #ocaml

13:05 thomasga has quit [Ping timeout: 240 seconds]

13:06 maattdd_ has quit [Ping timeout: 240 seconds]

13:11 ygrek_ has joined #ocaml

13:11 mort___ has joined #ocaml

13:12 ygrek has quit [Remote host closed the connection]

13:15 ygrek_ has quit [Ping timeout: 255 seconds]

13:29 thomasga has joined #ocaml

13:41 thomasga has quit [Quit: Leaving.]

13:50 Hannibal_Smith has joined #ocaml

13:54 Thooms has joined #ocaml

13:54 pminten has quit [Remote host closed the connection]

14:01 maattdd_ has joined #ocaml

14:06 maattdd_ has quit [Ping timeout: 255 seconds]

14:08 ygrek has joined #ocaml

14:08 root_empire has joined #ocaml

14:10 michael_lee has quit [Ping timeout: 240 seconds]

14:13 root_empire has quit [Max SendQ exceeded]

14:18 maattdd_ has joined #ocaml

14:18 BiDOrD has joined #ocaml

14:21 darkf has quit [Quit: Leaving]

14:23 maattdd_ has quit [Ping timeout: 268 seconds]

14:25 thomasga has joined #ocaml

14:26 S11001001 has joined #ocaml

14:26 S11001001 has quit [Changing host]

14:26 S11001001 has joined #ocaml

14:31 maattdd_ has joined #ocaml

14:33 travisbrady has joined #ocaml

14:33 thomasga has quit [Quit: Leaving.]

14:36 maattdd_ has quit [Ping timeout: 240 seconds]

14:44 maattdd_ has joined #ocaml

14:48 <bjorkintosh> i thought ocaml was a french language!

14:49 <mrvn> it originated in french. so what?

14:49 <mrvn> s/french/france/

14:49 <bjorkintosh> see?

14:50 <adrien> it didn't start in french

14:50 <adrien> it only got in french with version 5 :)

14:50 <bjorkintosh> i rest my case!

14:55 amirmc has joined #ocaml

15:04 amirmc has quit [Ping timeout: 240 seconds]

15:07 talzeus has joined #ocaml

15:07 talzeus has quit [Remote host closed the connection]

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

15:08 talzeus has joined #ocaml

15:10 maattdd_ has quit [Ping timeout: 268 seconds]

15:27 talzeus has quit [Read error: Connection reset by peer]

15:28 talzeus has joined #ocaml

15:29 talzeus_ has joined #ocaml

15:29 amirmc has joined #ocaml

15:33 talzeus has quit [Ping timeout: 265 seconds]

15:33 maattdd_ has joined #ocaml

15:34 thomasga has joined #ocaml

15:38 maattdd_ has quit [Ping timeout: 252 seconds]

15:38 thomasga has quit [Ping timeout: 268 seconds]

15:39 S11001001 has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]

15:40 Kakadu has quit [Quit: Konversation terminated!]

15:43 Kakadu has joined #ocaml

15:43 Kakadu has quit [Client Quit]

15:44 Kakadu has joined #ocaml

15:46 Kakadu has quit [Client Quit]

15:47 Kakadu has joined #ocaml

15:52 Kakadu has quit [Quit: Konversation terminated!]

16:01 maattdd_ has joined #ocaml

16:05 maattdd_ has quit [Ping timeout: 255 seconds]

16:16 tautologico has quit [Quit: Connection closed for inactivity]

16:19 thomasga has joined #ocaml

16:28 thomasga has quit [Quit: Leaving.]

16:40 Moataz-E has joined #ocaml

16:46 ygrek has quit [Ping timeout: 268 seconds]

17:01 maattdd_ has joined #ocaml

17:06 maattdd_ has quit [Ping timeout: 255 seconds]

17:06 thomasga has joined #ocaml

17:10 Moataz-E has left #ocaml []

17:17 malvarez has joined #ocaml

17:22 thomasga has quit [Quit: Leaving.]

17:31 maattdd_ has joined #ocaml

17:34 travisbrady has quit [Quit: travisbrady]

17:35 maattdd_ has quit [Ping timeout: 240 seconds]

17:39 amirmc has quit [Quit: Leaving.]

17:42 travisbrady has joined #ocaml

17:48 zzing has joined #ocaml

17:48 Thooms has quit [Quit: WeeChat 0.3.8]

17:53 ygrek has joined #ocaml

18:01 clan has quit [Quit: clan]

18:04 clan has joined #ocaml

18:05 clan has quit [Client Quit]

18:10 maattdd_ has joined #ocaml

18:18 travisbrady has quit [Quit: travisbrady]

18:22 thomasga has joined #ocaml

18:27 thomasga has quit [Ping timeout: 255 seconds]

18:27 kakadu_ has joined #ocaml

18:31 kakadu_ has quit [Client Quit]

18:34 kakadu_ has joined #ocaml

18:36 travisbrady has joined #ocaml

18:37 elfring has quit [Quit: Konversation terminated!]

18:38 Hannibal_Smith has quit [Quit: Sto andando via]

18:43 maattdd_ has quit [Ping timeout: 252 seconds]

18:46 <nicoo> adrien: You must be talking about “Chamelle numéro 5”, not OCaml :3

18:46 kakadu_ is now known as Kakadu

18:47 pawelbx has quit [Ping timeout: 252 seconds]

18:53 mort___ has quit [Quit: Leaving.]

18:59 Kakadu has quit [Quit: Konversation terminated!]

19:00 basus1 has quit [Ping timeout: 240 seconds]

19:00 basus1 has joined #ocaml

19:03 Kakadu has joined #ocaml

19:03 travisbrady has quit [Quit: travisbrady]

19:07 travisbrady has joined #ocaml

19:23 thomasga has joined #ocaml

19:24 <adrien> oh, right, sorry :)

19:28 thomasga has quit [Ping timeout: 255 seconds]

19:41 malvarez has quit [Ping timeout: 268 seconds]

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

19:45 nikki93 has joined #ocaml

19:49 Thooms has joined #ocaml

19:51 watermind has quit [Quit: Konversation terminated!]

19:51 watermind has joined #ocaml

19:54 clan has joined #ocaml

19:58 malvarez has joined #ocaml

20:02 ggole has quit []

20:03 ygrek has quit [Ping timeout: 240 seconds]

20:14 <adrien> crap, I've pretty much emptied my todo list

20:15 <adrien> I'll have to work on the cross-compilation stuff

20:15 <mrvn> please do

20:16 <adrien> been wondering what to start with

20:16 <adrien> I'll probably try to merge Makefile.nt files back into Makefile ones

20:16 <adrien> need to coordinate a bit with Alain Frisch

20:20 lostcuaz has joined #ocaml

20:25 WraithM has quit [Ping timeout: 240 seconds]

20:28 michael_lee has joined #ocaml

20:40 Yoric has joined #ocaml

20:45 tnguyen has joined #ocaml

20:53 Thooms has quit [Quit: WeeChat 0.3.8]

20:57 Yoric has quit [Ping timeout: 240 seconds]

20:57 malvarez has quit [Ping timeout: 240 seconds]

21:06 michael_lee has quit [Quit: Ex-Chat]

21:06 elfring has joined #ocaml

21:06 elfring has quit [Client Quit]

21:07 elfring has joined #ocaml

21:13 elfring has quit [Quit: Konversation terminated!]

21:13 travisbrady has quit [Quit: travisbrady]

21:21 tianon has joined #ocaml

21:22 thomasga has joined #ocaml

21:27 thomasga has quit [Ping timeout: 240 seconds]

21:28 <adrien> gasche: do you have physical access to Damien Doligez?

21:28 <Armael> :D

21:29 <adrien> gasche: rev 14402 seems to be close to (or at least overlap with) what is needed to have ocamlbuild not depend on bash.exe on windows

21:29 <adrien> gasche: I'd have to dig up a comment in the corresponding bug report on mantis to be sure but there's at least some similarity

21:35 zzing has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

21:41 willy_ has quit [Quit: This computer has gone to sleep]

21:42 pawelbx has joined #ocaml

21:51 axiles has quit [Remote host closed the connection]

21:58 zzing has joined #ocaml

22:08 q66_ has joined #ocaml

22:08 q66_ has quit [Changing host]

22:08 q66_ has joined #ocaml

22:08 q66 has quit [Disconnected by services]

22:08 shinnya has joined #ocaml

22:08 q66_ is now known as q66

22:19 rinaku has left #ocaml []

22:19 q66 has quit [Ping timeout: 252 seconds]

22:21 q66 has joined #ocaml

22:28 Kakadu has quit [Quit: Konversation terminated!]

22:30 q66 has quit [Ping timeout: 252 seconds]

22:31 q66 has joined #ocaml

22:36 araujo has joined #ocaml

22:39 q66 has quit [Ping timeout: 252 seconds]

22:41 q66 has joined #ocaml

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

22:43 zzing has joined #ocaml

22:44 travisbrady has joined #ocaml

22:44 <ruzu> ocaml mycaml

22:46 michel_mno_afk has quit [Ping timeout: 240 seconds]

22:47 michel_mno_afk has joined #ocaml

22:48 michel_mno_afk is now known as michel_mno

22:49 q66 has quit [Ping timeout: 252 seconds]

22:51 q66 has joined #ocaml

22:56 struktured has joined #ocaml

23:05 q66 has quit [Ping timeout: 252 seconds]

23:10 struktured has quit [Ping timeout: 255 seconds]

23:14 Simn has quit [Quit: Leaving]

23:17 q66 has joined #ocaml

23:17 q66 has quit [Changing host]

23:17 q66 has joined #ocaml

23:24 darkf has joined #ocaml

23:26 struktured has joined #ocaml

23:27 watermind has quit [Quit: Konversation terminated!]

23:35 rand000 has quit [Quit: leaving]

23:36 madroach has quit [Ping timeout: 252 seconds]

23:37 madroach has joined #ocaml

23:42 NoNNaN has quit [Remote host closed the connection]

23:43 NoNNaN has joined #ocaml