#ocaml on 2013-05-17 — irc logs at freenode.irclog.whitequark.org

2013-02-24 19:25 flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.00.1 http://bit.ly/UHeZyT | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/

00:01 ben_zen has quit [Quit: leaving]

00:02 ben_zen has joined #ocaml

00:10 osnr has joined #ocaml

00:10 osnr has quit [Changing host]

00:10 osnr has joined #ocaml

00:14 osnr has quit [Ping timeout: 256 seconds]

00:15 ollehar has joined #ocaml

00:16 rudi1 has joined #ocaml

00:21 eikke has quit [Read error: Operation timed out]

00:28 eikke has joined #ocaml

00:29 pippijn_ has joined #ocaml

00:30 madroach_ has joined #ocaml

00:33 ivan\ has quit [*.net *.split]

00:33 madroach has quit [*.net *.split]

00:33 pippijn has quit [*.net *.split]

00:33 emias has quit [*.net *.split]

00:33 jobseeker has quit [*.net *.split]

00:33 venk has quit [*.net *.split]

00:33 karswell has quit [*.net *.split]

00:33 tlockney has quit [*.net *.split]

00:33 ccasin has quit [*.net *.split]

00:33 sevvie has quit [*.net *.split]

00:33 jlouis has quit [*.net *.split]

00:33 lenstr has quit [*.net *.split]

00:33 TaXules_ has quit [*.net *.split]

00:33 pr has quit [*.net *.split]

00:33 gildor has quit [*.net *.split]

00:33 ipoulet_ has quit [*.net *.split]

00:33 cow-orker has quit [*.net *.split]

00:33 gustav_ has quit [*.net *.split]

00:33 yacks has quit [*.net *.split]

00:33 jave_ has quit [*.net *.split]

00:33 dwcook has quit [*.net *.split]

00:33 pango has quit [*.net *.split]

00:33 gnuvince has quit [*.net *.split]

00:33 ohama has quit [*.net *.split]

00:33 j0sh_ has quit [*.net *.split]

00:33 samebchase has quit [*.net *.split]

00:33 snarkyboojum_ has quit [*.net *.split]

00:33 rossberg_ has quit [*.net *.split]

00:33 flux has quit [*.net *.split]

00:33 bitbckt has quit [*.net *.split]

00:33 alang_ has quit [*.net *.split]

00:33 Leonidas has quit [*.net *.split]

00:33 yezariaely has quit [*.net *.split]

00:33 caligula__ has quit [*.net *.split]

00:33 IbnFirnas has quit [*.net *.split]

00:33 fds has quit [*.net *.split]

00:33 Asmadeus has quit [*.net *.split]

00:33 cdidd has quit [*.net *.split]

00:33 talzeus has quit [*.net *.split]

00:33 jbrown has quit [*.net *.split]

00:33 orbitz has quit [*.net *.split]

00:33 ggherdov has quit [*.net *.split]

00:33 olasd has quit [*.net *.split]

00:33 asmanur_ has quit [*.net *.split]

00:33 s4muel has quit [*.net *.split]

00:33 tchell_ has quit [*.net *.split]

00:33 stomp has quit [*.net *.split]

00:33 bobry has quit [*.net *.split]

00:33 Khady has quit [*.net *.split]

00:33 tane has quit [*.net *.split]

00:33 wagle has quit [*.net *.split]

00:33 rixed has quit [*.net *.split]

00:33 stevej has quit [*.net *.split]

00:33 lopex has quit [*.net *.split]

00:33 xaimus has quit [*.net *.split]

00:33 rks_ has quit [*.net *.split]

00:33 kaktus has quit [*.net *.split]

00:33 The_third_man has quit [*.net *.split]

00:33 cross has quit [*.net *.split]

00:33 deavid has quit [*.net *.split]

00:33 alxbl has quit [*.net *.split]

00:33 NaCl has quit [*.net *.split]

00:33 patronus_ has quit [*.net *.split]

00:33 rwmjones has quit [*.net *.split]

00:33 Watcher7 has quit [*.net *.split]

00:33 chris2 has quit [*.net *.split]

00:33 ia0 has quit [*.net *.split]

00:33 gasche has quit [*.net *.split]

00:33 cthuluh has quit [*.net *.split]

00:33 noj has quit [*.net *.split]

00:33 nicoo has quit [*.net *.split]

00:36 ivan\ has joined #ocaml

00:38 tane has joined #ocaml

00:38 wagle has joined #ocaml

00:38 rixed has joined #ocaml

00:38 stevej has joined #ocaml

00:38 lopex has joined #ocaml

00:38 xaimus has joined #ocaml

00:38 rks_ has joined #ocaml

00:38 kaktus has joined #ocaml

00:38 The_third_man has joined #ocaml

00:38 cross has joined #ocaml

00:38 deavid has joined #ocaml

00:38 alxbl has joined #ocaml

00:38 NaCl has joined #ocaml

00:38 patronus_ has joined #ocaml

00:38 rwmjones has joined #ocaml

00:38 Watcher7 has joined #ocaml

00:38 chris2 has joined #ocaml

00:38 ia0 has joined #ocaml

00:38 gasche has joined #ocaml

00:38 cthuluh has joined #ocaml

00:38 noj has joined #ocaml

00:38 nicoo has joined #ocaml

00:38 rudi1 is now known as rgrinberg

00:38 dwcook has joined #ocaml

00:38 dwcook has quit [Changing host]

00:38 dwcook has joined #ocaml

00:39 thelema_ has joined #ocaml

00:42 thelema has quit [Ping timeout: 248 seconds]

00:46 tane has quit [Quit: Verlassend]

00:52 cdidd has joined #ocaml

00:52 jbrown has joined #ocaml

00:52 orbitz has joined #ocaml

00:52 ggherdov has joined #ocaml

00:52 olasd has joined #ocaml

00:52 asmanur_ has joined #ocaml

00:52 s4muel has joined #ocaml

00:52 tchell_ has joined #ocaml

00:52 stomp has joined #ocaml

00:52 bobry has joined #ocaml

00:52 Khady has joined #ocaml

00:52 gnuvince has joined #ocaml

00:52 emias_ has joined #ocaml

00:52 ohama has joined #ocaml

00:52 gustav_ has joined #ocaml

00:52 venk has joined #ocaml

00:52 yacks has joined #ocaml

00:52 jobseeker has joined #ocaml

00:52 jave_ has joined #ocaml

00:52 sevvie has joined #ocaml

00:52 karswell has joined #ocaml

00:52 j0sh_ has joined #ocaml

00:52 samebchase has joined #ocaml

00:52 snarkyboojum_ has joined #ocaml

00:52 tlockney has joined #ocaml

00:52 pango has joined #ocaml

00:52 ccasin has joined #ocaml

00:52 rossberg_ has joined #ocaml

00:52 flux has joined #ocaml

00:52 bitbckt has joined #ocaml

00:52 alang_ has joined #ocaml

00:52 Leonidas has joined #ocaml

00:52 Asmadeus has joined #ocaml

00:52 fds has joined #ocaml

00:52 IbnFirnas has joined #ocaml

00:52 caligula__ has joined #ocaml

00:52 yezariaely has joined #ocaml

00:52 jlouis has joined #ocaml

00:52 lenstr has joined #ocaml

00:52 TaXules_ has joined #ocaml

00:52 pr has joined #ocaml

00:52 gildor has joined #ocaml

00:52 ipoulet_ has joined #ocaml

00:52 cow-orker has joined #ocaml

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

00:53 ollehar has joined #ocaml

00:56 halabund has joined #ocaml

00:58 jcao219 has quit [Ping timeout: 256 seconds]

00:59 sivoais_ has joined #ocaml

00:59 mfp_ has quit [Read error: Connection reset by peer]

00:59 emmanuelux has quit [Ping timeout: 252 seconds]

01:00 sivoais_ has quit [Read error: Connection reset by peer]

01:00 sivoais has quit [Read error: Connection reset by peer]

01:01 sivoais has joined #ocaml

01:02 emmanuelux has joined #ocaml

01:17 halabund has quit [Quit: halabund]

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

01:19 oriba has quit [Quit: oriba]

01:19 madroach_ has quit [Ping timeout: 240 seconds]

01:21 eikke has quit [Ping timeout: 245 seconds]

01:21 madroach has joined #ocaml

01:21 halabund has joined #ocaml

01:30 rgrinberg has quit [Quit: WeeChat 0.4.0]

01:39 talzeus has joined #ocaml

01:53 q66 has quit [Remote host closed the connection]

02:05 yezariaely has quit [Remote host closed the connection]

02:06 yezariaely has joined #ocaml

02:10 osnr has joined #ocaml

02:10 osnr has quit [Changing host]

02:10 osnr has joined #ocaml

02:14 osnr has quit [Ping timeout: 256 seconds]

02:18 halabund has left #ocaml []

03:03 Neros has quit [Ping timeout: 256 seconds]

03:05 weie has joined #ocaml

03:24 emmanuelux has quit [Quit: emmanuelux]

03:25 jcao219 has joined #ocaml

03:58 mattrepl has quit [Quit: mattrepl]

04:03 xaimus has quit [Ping timeout: 252 seconds]

04:08 osnr has joined #ocaml

04:08 osnr has quit [Changing host]

04:08 osnr has joined #ocaml

04:08 osnr has quit [Client Quit]

04:22 zarul has quit [Read error: Operation timed out]

04:23 zarul has joined #ocaml

04:30 zarul has quit [Changing host]

04:30 zarul has joined #ocaml

04:37 pRTGv has joined #ocaml

04:38 pRTGv has quit [Remote host closed the connection]

04:57 B6i7s has joined #ocaml

04:59 B6i7s has quit [Remote host closed the connection]

05:04 ggole has joined #ocaml

05:06 dezzy has quit [Remote host closed the connection]

05:08 jcao219 has quit [Ping timeout: 256 seconds]

05:16 pippijn_ is now known as pippijn

05:20 Yoric has joined #ocaml

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

05:32 BiDOrD has quit [Ping timeout: 252 seconds]

05:35 BiDOrD has joined #ocaml

05:37 cdidd has joined #ocaml

05:51 mfp has joined #ocaml

06:00 cdidd has quit [Ping timeout: 256 seconds]

06:00 cdidd has joined #ocaml

06:01 ttamttam has joined #ocaml

06:15 cdidd has quit [Remote host closed the connection]

06:23 cdidd has joined #ocaml

06:24 djcoin has joined #ocaml

06:29 Kakadu has joined #ocaml

06:32 osnr has joined #ocaml

06:32 osnr has quit [Changing host]

06:32 osnr has joined #ocaml

06:41 Snark has joined #ocaml

07:00 osnr has quit [Quit: Leaving.]

07:00 ggole has quit [Ping timeout: 246 seconds]

07:02 osnr has joined #ocaml

07:02 osnr has quit [Changing host]

07:02 osnr has joined #ocaml

07:03 adrien_o1w has joined #ocaml

07:03 Watcher7 is now known as Watcher7|off

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

07:04 osnr has joined #ocaml

07:04 osnr has quit [Changing host]

07:04 osnr has joined #ocaml

07:05 Arsenik has joined #ocaml

07:07 adrien_oww has quit [Ping timeout: 245 seconds]

07:12 ggole has joined #ocaml

07:12 ollehar has joined #ocaml

07:15 emias_ has quit [Read error: Connection reset by peer]

07:19 yacks has quit [Ping timeout: 276 seconds]

07:24 adrien_o1w is now known as adrien_oww

07:27 mika1 has joined #ocaml

07:28 testcocoon has quit [Quit: Coyote finally caught me]

07:30 sgnb has joined #ocaml

07:32 testcocoon has joined #ocaml

07:34 ontologiae has joined #ocaml

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

07:35 odXTx has joined #ocaml

07:39 Yoric has quit [Ping timeout: 246 seconds]

07:40 odXTx has quit [Ping timeout: 252 seconds]

07:42 cago has joined #ocaml

07:44 eikke has joined #ocaml

07:52 dezzy has joined #ocaml

08:08 zpe has joined #ocaml

08:09 yacks has joined #ocaml

08:18 ocp has joined #ocaml

08:19 jbrown has quit [Ping timeout: 264 seconds]

08:26 dwmw2_gone is now known as dwmw2

08:27 emias has joined #ocaml

08:30 fasta has joined #ocaml

08:34 jbrown has joined #ocaml

08:55 ollehar1 has joined #ocaml

08:57 ollehar has quit [Ping timeout: 246 seconds]

08:58 yacks has quit [Ping timeout: 276 seconds]

09:04 yacks has joined #ocaml

09:28 raichoo has joined #ocaml

09:33 ccasin has quit [Ping timeout: 245 seconds]

09:35 ccasin has joined #ocaml

09:39 Yoric has joined #ocaml

09:39 tane has joined #ocaml

09:45 yacks has quit [Ping timeout: 245 seconds]

09:48 beckerb__ has joined #ocaml

09:50 yacks has joined #ocaml

09:53 q66 has joined #ocaml

10:02 mcclurmc has joined #ocaml

10:04 beckerb__ has quit [Read error: Connection reset by peer]

10:04 beckerb__ has joined #ocaml

10:11 mcclurmc has quit [Ping timeout: 240 seconds]

10:11 tane has quit [Remote host closed the connection]

10:13 osnr has quit [Quit: Leaving.]

10:17 PM has quit [Ping timeout: 246 seconds]

10:17 Tobu has quit [Ping timeout: 246 seconds]

10:18 Tobu has joined #ocaml

10:20 Drup has joined #ocaml

10:23 PM has joined #ocaml

10:29 ttamttam has quit [Quit: ttamttam]

11:01 thomasga has joined #ocaml

11:03 beckerb__ has quit [Read error: Connection reset by peer]

11:07 _andre has joined #ocaml

11:13 osnr has joined #ocaml

11:13 osnr has quit [Changing host]

11:13 osnr has joined #ocaml

11:17 beckerb__ has joined #ocaml

11:19 ollehar1 has quit [Ping timeout: 248 seconds]

11:21 beckerb__ has quit [Read error: Connection reset by peer]

11:21 ttamttam has joined #ocaml

11:22 osnr has quit [Ping timeout: 252 seconds]

11:24 tane has joined #ocaml

11:24 ttamttam has left #ocaml []

11:27 ontologiae has quit [Quit: WeeChat 0.4.0]

11:35 beckerb__ has joined #ocaml

11:40 beckerb__ has quit [Read error: Connection reset by peer]

11:41 beckerb__ has joined #ocaml

11:49 mort___ has joined #ocaml

11:49 beckerb__ has quit [Read error: Connection reset by peer]

11:50 osnr has joined #ocaml

11:50 osnr has quit [Changing host]

11:50 osnr has joined #ocaml

11:53 beckerb__ has joined #ocaml

11:54 osnr has quit [Ping timeout: 256 seconds]

11:54 beckerb__ has quit [Read error: Connection reset by peer]

11:57 beckerb__ has joined #ocaml

12:01 ollehar has joined #ocaml

12:11 beckerb__ has quit [Read error: Connection reset by peer]

12:18 talzeus has quit [Remote host closed the connection]

12:31 mattrepl has joined #ocaml

12:33 Kakadu has quit []

12:35 beckerb__ has joined #ocaml

12:35 Yoric has quit [Ping timeout: 252 seconds]

12:37 Yoric has joined #ocaml

12:39 tani has joined #ocaml

12:40 beckerb__ has quit [Read error: Connection reset by peer]

12:42 raichoo has quit [Ping timeout: 276 seconds]

12:42 Neros has joined #ocaml

12:43 tane has quit [Ping timeout: 248 seconds]

12:43 raichoo has joined #ocaml

12:43 beckerb__ has joined #ocaml

12:50 Yoric has quit [Ping timeout: 252 seconds]

12:51 Yoric has joined #ocaml

12:58 ollehar has quit [Ping timeout: 256 seconds]

13:03 beckerb__ has quit [Read error: Connection reset by peer]

13:06 cdidd has quit [Ping timeout: 252 seconds]

13:13 dsheets has joined #ocaml

13:23 beckerb__ has joined #ocaml

13:25 ggole has quit [Ping timeout: 240 seconds]

13:25 ollehar has joined #ocaml

13:32 ollehar1 has joined #ocaml

13:33 rgrinberg has joined #ocaml

13:34 ollehar has quit [Ping timeout: 256 seconds]

13:38 ggole has joined #ocaml

13:41 Neros has quit [Read error: Connection reset by peer]

13:43 jamii has joined #ocaml

13:46 Neros has joined #ocaml

13:47 rwmjones has quit [Ping timeout: 252 seconds]

13:50 osnr has joined #ocaml

13:50 osnr has quit [Changing host]

13:50 osnr has joined #ocaml

13:52 ttamttam has joined #ocaml

13:52 ttamttam has left #ocaml []

13:55 osnr has quit [Ping timeout: 252 seconds]

14:00 rwmjones has joined #ocaml

14:24 beckerb__ has quit [Quit: Konversation terminated!]

14:25 beckerb__ has joined #ocaml

14:30 beckerb__ has quit [Read error: Connection reset by peer]

14:33 smondet has joined #ocaml

14:35 travisbrady has joined #ocaml

14:39 rgrinberg has quit [Read error: Operation timed out]

14:45 darkf has quit [Quit: Leaving]

14:50 <companion_cube> I love GADT. They are so awesome.

14:52 beckerb__ has joined #ocaml

14:52 beckerb__ has quit [Read error: Connection reset by peer]

14:52 ohama has quit [Read error: Operation timed out]

14:54 mort___ has left #ocaml []

14:54 ohama has joined #ocaml

14:55 beckerb__ has joined #ocaml

14:57 beckerb__ has quit [Read error: Connection reset by peer]

14:59 beckerb__ has joined #ocaml

14:59 raichoo has quit [Quit: leaving]

15:01 dsheets has quit [Ping timeout: 248 seconds]

15:04 beckerb__ has quit [Client Quit]

15:19 mika1 has quit [Quit: Leaving.]

15:19 cago has left #ocaml []

15:20 raichoo has joined #ocaml

15:26 <flux> you've actually found use for them?-)

15:26 ocp has quit [Read error: Operation timed out]

15:34 ousado has joined #ocaml

15:36 ollehar1 has quit [Ping timeout: 248 seconds]

15:38 <companion_cube> flux: yes, actually :)

15:38 <companion_cube> well, my use cases may be a little weird

15:38 <companion_cube> but it's mainly type-safe translation between user-defined types, and a fixed (recursive) structure that has some fixed meaning

15:50 osnr has joined #ocaml

15:50 osnr has quit [Changing host]

15:50 osnr has joined #ocaml

15:53 ollehar has joined #ocaml

15:56 zpe has quit [Remote host closed the connection]

15:57 zpe has joined #ocaml

15:59 osnr has quit [Ping timeout: 256 seconds]

16:05 Yoric has quit [Ping timeout: 252 seconds]

16:26 Arsenik has quit [Ping timeout: 256 seconds]

16:39 jamii has quit [Ping timeout: 245 seconds]

16:40 ollehar has quit [Quit: ollehar]

16:53 zpe has quit [Remote host closed the connection]

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

16:58 eni has joined #ocaml

17:11 ttamttam has joined #ocaml

17:14 travisbrady has quit [Quit: travisbrady]

17:15 djcoin has quit [Quit: WeeChat 0.4.0]

17:17 jobseeker has quit [Disconnected by services]

17:17 caligula__ has quit [Read error: Operation timed out]

17:17 jobseeker has joined #ocaml

17:20 zpe has joined #ocaml

17:24 jobseeker has quit [Disconnected by services]

17:26 jobseeker has joined #ocaml

17:33 Neros has quit [Ping timeout: 256 seconds]

17:33 eikke has quit [Ping timeout: 240 seconds]

17:36 Drup has quit [Ping timeout: 276 seconds]

17:38 ggole has quit []

17:53 q66_ has joined #ocaml

17:55 q66 has quit [Disconnected by services]

17:55 q66_ is now known as q66

18:02 Drup has joined #ocaml

18:05 rgrinberg has joined #ocaml

18:06 <rgrinberg> is there a way to point ocamlbuild to the correct ocamlfind binary?

18:07 zpe has quit [Remote host closed the connection]

18:08 jobseeker has quit [Disconnected by services]

18:08 jobseeker has joined #ocaml

18:09 <rgrinberg> right now my ocamlbuild points to the system's ocamlfind

18:09 <rgrinberg> but i'd like it to point to the one at ~/.opam/system/bin/ocamlfind

18:18 Yoric has joined #ocaml

18:20 <asmanur_> rgrinberg: it doesn't take the first in your $PATH ?

18:32 eni has quit [Ping timeout: 256 seconds]

18:34 ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]

18:36 troydm has quit [Quit: What is hope? That all of your wishes and all of your dreams come true? (C) Rau Le Creuset]

18:36 TDJACR has quit [Quit: Quit]

18:37 troydm has joined #ocaml

18:38 cdidd has joined #ocaml

18:40 mattrepl has quit [Quit: mattrepl]

18:48 ivan\ has joined #ocaml

18:50 troydm has quit [Quit: What is hope? That all of your wishes and all of your dreams come true? (C) Rau Le Creuset]

18:52 <rgrinberg> asmanur_: i dont think so

18:53 <rgrinberg> asmanur_: at least it does not use the one @ `which ocamlfind`

18:53 <rgrinberg> which is in my local opam dir

18:58 oriba has joined #ocaml

19:00 <asmanur_> rgrinberg: did you clean your directory ?

19:02 troydm has joined #ocaml

19:11 mort___ has joined #ocaml

19:18 zpe has joined #ocaml

19:21 zpe has quit [Read error: Operation timed out]

19:22 ttamttam has left #ocaml []

19:26 Arsenik has joined #ocaml

19:29 jcao219 has joined #ocaml

19:34 _andre has quit [Quit: leaving]

19:35 emmanuelux has joined #ocaml

19:44 <rgrinberg> asmanur_: I did

19:44 <rgrinberg> in fact I'm having this problem with merlin

19:44 <rgrinberg> :D

19:47 jcao219 has quit [Ping timeout: 248 seconds]

20:00 mort___ has quit [Quit: Leaving.]

20:05 Watcher7|off is now known as Watcher7

20:18 Snark has quit [Quit: leaving]

20:19 Kakadu has joined #ocaml

20:40 Watcher7 is now known as Watcher7|off

20:41 Watcher7|off has quit [Quit: ded]

20:44 Watcher7|off has joined #ocaml

20:44 Watcher7|off is now known as Watcher7

20:47 bobry has quit []

20:47 bobry has joined #ocaml

20:50 malo has joined #ocaml

20:58 osnr has joined #ocaml

20:58 osnr has quit [Changing host]

20:58 osnr has joined #ocaml

20:58 Leonidas has quit [Quit: An ideal world is left as an exercise to the reader]

21:01 tani has quit [Quit: Verlassend]

21:17 Yoric has quit [Ping timeout: 252 seconds]

21:23 Arsenik has quit [Remote host closed the connection]

21:23 jcao219 has joined #ocaml

21:33 Leonidas_ has joined #ocaml

21:43 eikke has joined #ocaml

21:51 Leonidas_ is now known as Leonidas

21:58 Kakadu has quit []

22:08 osnr has quit [Ping timeout: 260 seconds]

22:12 ollehar has joined #ocaml

22:21 ousado has quit [Ping timeout: 245 seconds]

22:22 smondet has quit [Ping timeout: 248 seconds]

22:24 ousado has joined #ocaml

22:27 ollehar has quit [Ping timeout: 246 seconds]

22:44 Neros has joined #ocaml

22:46 eikke has quit [Ping timeout: 256 seconds]

22:49 gnuvince has quit [Remote host closed the connection]

22:51 eikke has joined #ocaml

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

23:29 dsheets has joined #ocaml

23:34 osnr has joined #ocaml

23:34 osnr has quit [Changing host]

23:34 osnr has joined #ocaml

23:42 jcao219 has quit [Ping timeout: 248 seconds]

23:44 oriba has quit [Quit: oriba]

23:49 eikke has quit [Ping timeout: 256 seconds]