#ocaml on 2010-01-21 — irc logs at freenode.irclog.whitequark.org

2010-01-20 20:03 orbitz changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Inscription for OCaml Meeting 2010 is opened http://wiki.cocan.org/events/europe/ocamlmeetingparis2010 | yes?

00:04 Submarine has quit [Read error: 113 (No route to host)]

00:10 rwmjones_lptp_ has joined #ocaml

00:16 alexyk has joined #ocaml

00:17 rwmjones has quit [Read error: 101 (Network is unreachable)]

00:38 tmaeda is now known as tmaedaZ

00:45 valross has joined #ocaml

00:56 Waleee has quit [Client Quit]

01:04 _unK has quit [Remote closed the connection]

01:30 pad`` has joined #ocaml

01:30 pad` has quit [Read error: 104 (Connection reset by peer)]

01:35 pad`` has quit [lindbohm.freenode.net irc.freenode.net]

01:35 valross has quit [lindbohm.freenode.net irc.freenode.net]

01:35 joewilliams has quit [lindbohm.freenode.net irc.freenode.net]

01:35 hcarty_ has quit [lindbohm.freenode.net irc.freenode.net]

01:35 det has quit [lindbohm.freenode.net irc.freenode.net]

01:35 quelqun_dautre has quit [lindbohm.freenode.net irc.freenode.net]

01:35 brendan has quit [lindbohm.freenode.net irc.freenode.net]

01:35 patronus has quit [lindbohm.freenode.net irc.freenode.net]

01:35 ertai has quit [lindbohm.freenode.net irc.freenode.net]

01:35 emias has quit [lindbohm.freenode.net irc.freenode.net]

01:37 pad`` has joined #ocaml

01:37 valross has joined #ocaml

01:37 joewilliams has joined #ocaml

01:37 det has joined #ocaml

01:37 brendan has joined #ocaml

01:37 quelqun_dautre has joined #ocaml

01:37 patronus has joined #ocaml

01:37 hcarty_ has joined #ocaml

01:37 ertai has joined #ocaml

01:37 emias has joined #ocaml

01:48 boscop has quit ["Gxis revido!"]

02:09 palomer__ has joined #ocaml

02:11 palomer_ has quit [Read error: 110 (Connection timed out)]

02:38 maskd has quit ["qp"]

04:58 clog has joined #ocaml

05:01 tbrady has joined #ocaml

05:03 <tbrady> I'm trying to follow this example http://www.ffconsultancy.com/ocaml/benefits/parsing.html but I get unbound value: make_lexer, has make_lexer moved out of Genlex or something?

05:05 yakischloba has quit [Read error: 110 (Connection timed out)]

05:14 Amorphous has joined #ocaml

05:24 tmaedaZ is now known as tmaeda

05:26 tbrady has quit ["Page closed"]

05:31 yakischloba has joined #ocaml

05:37 thrasibule has quit [Read error: 110 (Connection timed out)]

05:51 ulfdoz has joined #ocaml

05:59 caligula_ has quit [Read error: 54 (Connection reset by peer)]

06:00 caligula_ has joined #ocaml

06:21 alexyk has quit []

06:38 ttamttam has joined #ocaml

06:44 ikaros has joined #ocaml

06:53 yakischloba has quit ["Leaving."]

06:54 ikaros has quit ["Leave the magic to Houdini"]

07:01 ski_ has joined #ocaml

07:05 ttamttam has quit ["Leaving."]

07:11 yakischloba has joined #ocaml

07:51 rwmjones_lptp_ has quit [Connection timed out]

07:52 ulfdoz has quit [Read error: 110 (Connection timed out)]

07:57 ttamttam has joined #ocaml

08:22 BigJ has joined #ocaml

08:41 yakischloba has quit ["Leaving."]

08:46 fx_ has joined #ocaml

09:00 Ori_B_ has joined #ocaml

09:02 Ori_B has quit [Read error: 104 (Connection reset by peer)]

09:02 <Camarade_Tux> is there no library for zippers beside ocaml-reins (which had no code change in more than almost 30 months)

09:05 rwmjones_lptp has joined #ocaml

09:05 rwmjones_lptp is now known as rwmjones

09:28 tmaeda is now known as tmaedaZ

09:31 <gildor> Camarade_Tux: is ocaml-reins still working ? no change doesn't mean that it cannot be used

09:33 <Camarade_Tux> the 0.1 version wasn't very nice either but I'm still considering it

09:33 <Camarade_Tux> I found three implementations: an external one (simple, 42 LOCs, for lists only), ocaml-reins and one in zen (which is written by Huet)

09:38 <Camarade_Tux> (the first one being http://friggeri.net/blog/2007/08/03/ocaml-zipper-and-holidays btw)

09:38 mrvn has quit [Remote closed the connection]

09:38 mrvn has joined #ocaml

09:39 Pepe_ has quit [Remote closed the connection]

09:39 Pepe_ has joined #ocaml

09:42 mal`` has quit [Remote closed the connection]

09:42 mal`` has joined #ocaml

09:46 valross has quit ["Ex-Chat"]

09:52 pimmhogeling has joined #ocaml

09:53 Ori_B has joined #ocaml

09:54 munga has joined #ocaml

09:57 Ori_B_ has quit [Read error: 104 (Connection reset by peer)]

09:57 boscop_ has joined #ocaml

09:57 boscop has joined #ocaml

09:58 boscop_ has quit [Read error: 104 (Connection reset by peer)]

10:03 ikaros has joined #ocaml

10:08 ccasin has joined #ocaml

10:16 caligula__ has joined #ocaml

10:17 ikaros_ has joined #ocaml

10:18 tmaedaZ is now known as tmaeda

10:22 ikaros_ has quit [Client Quit]

10:26 ccasin has quit ["Leaving"]

10:27 caligula_ has quit [Read error: 110 (Connection timed out)]

10:30 ikaros_ has joined #ocaml

10:30 Alpounet has quit ["Quitte"]

10:35 Alpounet has joined #ocaml

10:45 maskd has joined #ocaml

10:47 ikaros has quit [Read error: 110 (Connection timed out)]

11:05 rwmjones has quit ["This computer has gone to sleep"]

11:05 rwmjones has joined #ocaml

11:07 ccasin has joined #ocaml

11:14 Leonidas1 is now known as Leonidas

11:31 <Camarade_Tux> btw, it's not possible to point ocamlbuild at a specific _tags file, right?

11:35 <gildor> don't think so

11:36 <gildor> Camarade_Tux: you mean have _tags in another directory or with a different name

11:36 <Camarade_Tux> in another directory with a different name ;-)

11:37 <gildor> quite sure : no

11:37 <Camarade_Tux> I compile two executables and they have different _tags

11:37 ccasin has quit ["Leaving"]

11:38 <Camarade_Tux> right now I'm doing something like 'cp tags/p1.tags _tags && ocamlbuild p1.native' but I wanted to be sure there wasn't something better ;-)

11:38 <gildor> Camarade_Tux: but you can do the difference using pattern in the _tags file

11:40 <Camarade_Tux> I think I tried but cp was simpler

11:41 <flux> :)

11:41 <gildor> Probably simpler, but less ocamlbuild-ish ;-)

11:41 <gildor> is the source code visible somewhere ?

11:44 <Camarade_Tux> gildor: yeah: http://git.ocamlcore.org/cgi-bin/gitweb.cgi?p=caravel/caravel.git;a=tree;hb=gtk_notebook_blows ;-)

11:45 <Camarade_Tux> ./me.sh and src/tags

11:45 <Camarade_Tux> (note that the code may hurt your eyes right now ;-) )

11:47 <gildor> ok, you should do something with a single _tags, but it will probably be longer than your current setup

11:49 <Camarade_Tux> I'll probably add 2 or 3 executables in the future and I fear that a single _tags will get quite ugly

12:12 <mrvn> I haven't yet seen a build system which source didn't hurt my eyes.

12:18 munga has quit [Read error: 113 (No route to host)]

12:47 tmaeda is now known as tmaedaZ

12:49 <thelema> Camarade_Tux: what's the problem with the tags file?

12:51 noj has joined #ocaml

12:51 <thelema> The point of the tags file is exactly to have different settings for different files. e.g different executables

12:59 <Camarade_Tux> think I'm going to try to get a clean _tags that works for both (shell script with cp wastes cpu and io which makes builds slower)

12:59 <flux> :-)

13:00 <flux> is that really the performance problem of your build? things are quite well in that case :-)

13:00 <flux> (although I do agree that a single _tags would be nicer)

13:02 <Camarade_Tux> yes, that's the limit but right now the build time is too low for me to start doing something else so I just look at the screen and wait

13:02 <Camarade_Tux> having different _tags and copying them over makes ocamlbuild do several things twice

13:03 <thelema> what's the diff between your tags files?

13:05 <Camarade_Tux> sub-dir includes (I have two main folder and they hold .ml files with the same name, which would lead to conflicts) and packages being linked to

13:05 <Camarade_Tux> but my problem with having a single _tags was that my ocamlbuild-fu was too low, I'm going to give it another try now

13:05 <thelema> if you want different subdir includes, that'll be tough with a single _tags file

13:07 pimmhogeling has quit [Read error: 104 (Connection reset by peer)]

13:11 pimmhogeling has joined #ocaml

13:29 hcarty_ has quit [calvino.freenode.net irc.freenode.net]

13:29 quelqun_dautre has quit [calvino.freenode.net irc.freenode.net]

13:29 det has quit [calvino.freenode.net irc.freenode.net]

13:29 brendan has quit [calvino.freenode.net irc.freenode.net]

13:29 joewilliams has quit [calvino.freenode.net irc.freenode.net]

13:29 ertai has quit [calvino.freenode.net irc.freenode.net]

13:29 patronus has quit [calvino.freenode.net irc.freenode.net]

13:29 ttamttam has quit [calvino.freenode.net irc.freenode.net]

13:29 emias has quit [calvino.freenode.net irc.freenode.net]

13:29 mal`` has quit [calvino.freenode.net irc.freenode.net]

13:29 fx_ has quit [calvino.freenode.net irc.freenode.net]

13:29 TaXules has quit [calvino.freenode.net irc.freenode.net]

13:29 M| has quit [calvino.freenode.net irc.freenode.net]

13:29 fremo_ has quit [calvino.freenode.net irc.freenode.net]

13:29 jlouis has quit [calvino.freenode.net irc.freenode.net]

13:29 Asmadeus has quit [calvino.freenode.net irc.freenode.net]

13:29 srcerer has quit [calvino.freenode.net irc.freenode.net]

13:29 msteele has quit [calvino.freenode.net irc.freenode.net]

13:29 deavid has quit [calvino.freenode.net irc.freenode.net]

13:29 Camarade_Tux has quit [calvino.freenode.net irc.freenode.net]

13:29 mfp has quit [calvino.freenode.net irc.freenode.net]

13:29 peper has quit [calvino.freenode.net irc.freenode.net]

13:29 Gertm has quit [calvino.freenode.net irc.freenode.net]

13:29 flux has quit [calvino.freenode.net irc.freenode.net]

13:29 nimred_ has quit [calvino.freenode.net irc.freenode.net]

13:29 tmaedaZ has quit [calvino.freenode.net irc.freenode.net]

13:29 ski_ has quit [calvino.freenode.net irc.freenode.net]

13:29 willb has quit [calvino.freenode.net irc.freenode.net]

13:29 smimram has quit [calvino.freenode.net irc.freenode.net]

13:29 WuJiang has quit [calvino.freenode.net irc.freenode.net]

13:29 zhijie has quit [calvino.freenode.net irc.freenode.net]

13:29 rwmjones has quit [calvino.freenode.net irc.freenode.net]

13:29 Ori_B has quit [calvino.freenode.net irc.freenode.net]

13:29 |Jedai| has quit [calvino.freenode.net irc.freenode.net]

13:29 Amorphous has quit [calvino.freenode.net irc.freenode.net]

13:29 sgnb` has quit [calvino.freenode.net irc.freenode.net]

13:29 maskd has quit [calvino.freenode.net irc.freenode.net]

13:29 Alpounet has quit [calvino.freenode.net irc.freenode.net]

13:29 boscop has quit [calvino.freenode.net irc.freenode.net]

13:29 mrvn has quit [calvino.freenode.net irc.freenode.net]

13:29 [df] has quit [calvino.freenode.net irc.freenode.net]

13:29 diml has quit [calvino.freenode.net irc.freenode.net]

13:29 bacam has quit [calvino.freenode.net irc.freenode.net]

13:29 bzzbzz has quit [calvino.freenode.net irc.freenode.net]

13:29 tab has quit [calvino.freenode.net irc.freenode.net]

13:29 __marius1_ has quit [calvino.freenode.net irc.freenode.net]

13:29 mattam has quit [calvino.freenode.net irc.freenode.net]

13:29 jimmyb2187 has quit [calvino.freenode.net irc.freenode.net]

13:29 svenl has quit [calvino.freenode.net irc.freenode.net]

13:29 julm has quit [calvino.freenode.net irc.freenode.net]

13:29 olegfink has quit [calvino.freenode.net irc.freenode.net]

13:29 prigaux has quit [calvino.freenode.net irc.freenode.net]

13:29 jonafan has quit [calvino.freenode.net irc.freenode.net]

13:29 thelema has quit [calvino.freenode.net irc.freenode.net]

13:29 haelix has quit [calvino.freenode.net irc.freenode.net]

13:29 shr3kst3r has quit [calvino.freenode.net irc.freenode.net]

13:29 diginux has quit [calvino.freenode.net irc.freenode.net]

13:29 schme has quit [calvino.freenode.net irc.freenode.net]

13:29 mehdid has quit [calvino.freenode.net irc.freenode.net]

13:29 Tianon has quit [calvino.freenode.net irc.freenode.net]

13:29 hyperboreean has quit [calvino.freenode.net irc.freenode.net]

13:29 mbishop has quit [calvino.freenode.net irc.freenode.net]

13:29 peddie has quit [calvino.freenode.net irc.freenode.net]

13:29 companion_cube has quit [calvino.freenode.net irc.freenode.net]

13:29 tarbo2_ has quit [calvino.freenode.net irc.freenode.net]

13:29 gildor has quit [calvino.freenode.net irc.freenode.net]

13:29 orbitz has quit [calvino.freenode.net irc.freenode.net]

13:31 mal`` has joined #ocaml

13:31 fx_ has joined #ocaml

13:31 ttamttam has joined #ocaml

13:31 emias has joined #ocaml

13:31 ertai has joined #ocaml

13:31 hcarty_ has joined #ocaml

13:31 patronus has joined #ocaml

13:31 quelqun_dautre has joined #ocaml

13:31 brendan has joined #ocaml

13:31 det has joined #ocaml

13:31 joewilliams has joined #ocaml

13:31 jlouis has joined #ocaml

13:31 mfp has joined #ocaml

13:31 Camarade_Tux has joined #ocaml

13:31 srcerer has joined #ocaml

13:31 deavid has joined #ocaml

13:31 Asmadeus has joined #ocaml

13:31 msteele has joined #ocaml

13:31 TaXules has joined #ocaml

13:31 fremo_ has joined #ocaml

13:31 peper has joined #ocaml

13:31 M| has joined #ocaml

13:31 flux has joined #ocaml

13:31 Gertm has joined #ocaml

13:31 ski_ has joined #ocaml

13:31 WuJiang has joined #ocaml

13:31 nimred_ has joined #ocaml

13:31 zhijie has joined #ocaml

13:31 smimram has joined #ocaml

13:31 tmaedaZ has joined #ocaml

13:31 willb has joined #ocaml

13:32 boscop has joined #ocaml

13:32 Amorphous has joined #ocaml

13:32 bacam has joined #ocaml

13:32 jonafan has joined #ocaml

13:32 rwmjones has joined #ocaml

13:32 Ori_B has joined #ocaml

13:32 |Jedai| has joined #ocaml

13:33 sgnb` has joined #ocaml

13:33 prigaux has joined #ocaml

13:33 thelema has joined #ocaml

13:33 shr3kst3r has joined #ocaml

13:33 hyperboreean has joined #ocaml

13:33 orbitz has joined #ocaml

13:33 mehdid has joined #ocaml

13:33 companion_cube has joined #ocaml

13:33 mbishop has joined #ocaml

13:33 peddie has joined #ocaml

13:33 schme has joined #ocaml

13:33 Tianon has joined #ocaml

13:33 gildor has joined #ocaml

13:33 diginux has joined #ocaml

13:33 haelix has joined #ocaml

13:33 tarbo2_ has joined #ocaml

13:34 olegfink has joined #ocaml

13:34 svenl has joined #ocaml

13:35 Alpounet has joined #ocaml

13:35 tab has joined #ocaml

13:35 maskd has joined #ocaml

13:35 mrvn has joined #ocaml

13:35 [df] has joined #ocaml

13:35 bzzbzz has joined #ocaml

13:35 __marius1_ has joined #ocaml

13:35 mattam has joined #ocaml

13:35 __marius1_ has quit [Operation timed out]

13:35 __marius__ has joined #ocaml

13:35 julm has joined #ocaml

13:35 mrvn has quit [Read error: 54 (Connection reset by peer)]

13:35 mrvn_ has joined #ocaml

13:35 diml has joined #ocaml

13:36 maskd has quit [Read error: 54 (Connection reset by peer)]

13:36 maskd has joined #ocaml

13:36 jimmyb2187 has joined #ocaml

13:40 ccasin has joined #ocaml

13:46 julm has quit [Client Quit]

13:46 julm has joined #ocaml

13:46 _zack has joined #ocaml

14:05 olegfink has quit ["WeeChat 0.2.6.3"]

14:15 _andre has joined #ocaml

14:15 ccasin has quit [Read error: 110 (Connection timed out)]

14:19 ccasin has joined #ocaml

14:30 tab has quit [calvino.freenode.net irc.freenode.net]

14:30 svenl has quit [calvino.freenode.net irc.freenode.net]

14:30 quelqun_dautre has quit [calvino.freenode.net irc.freenode.net]

14:30 hcarty_ has quit [calvino.freenode.net irc.freenode.net]

14:30 brendan has quit [calvino.freenode.net irc.freenode.net]

14:30 joewilliams has quit [calvino.freenode.net irc.freenode.net]

14:30 det has quit [calvino.freenode.net irc.freenode.net]

14:30 patronus has quit [calvino.freenode.net irc.freenode.net]

14:30 ertai has quit [calvino.freenode.net irc.freenode.net]

14:31 tab has joined #ocaml

14:31 svenl has joined #ocaml

14:31 joewilliams has joined #ocaml

14:31 ertai has joined #ocaml

14:31 hcarty_ has joined #ocaml

14:31 patronus has joined #ocaml

14:31 quelqun_dautre has joined #ocaml

14:31 brendan has joined #ocaml

14:31 det has joined #ocaml

14:32 patronus has quit [Success]

14:34 haelix has quit [calvino.freenode.net irc.freenode.net]

14:34 diginux has quit [calvino.freenode.net irc.freenode.net]

14:34 mehdid has quit [calvino.freenode.net irc.freenode.net]

14:34 shr3kst3r has quit [calvino.freenode.net irc.freenode.net]

14:34 thelema has quit [calvino.freenode.net irc.freenode.net]

14:34 gildor has quit [calvino.freenode.net irc.freenode.net]

14:34 companion_cube has quit [calvino.freenode.net irc.freenode.net]

14:34 schme has quit [calvino.freenode.net irc.freenode.net]

14:34 tarbo2_ has quit [calvino.freenode.net irc.freenode.net]

14:34 Tianon has quit [calvino.freenode.net irc.freenode.net]

14:34 mbishop has quit [calvino.freenode.net irc.freenode.net]

14:34 hyperboreean has quit [calvino.freenode.net irc.freenode.net]

14:34 peddie has quit [calvino.freenode.net irc.freenode.net]

14:34 orbitz has quit [calvino.freenode.net irc.freenode.net]

14:34 |Jedai| has quit [calvino.freenode.net irc.freenode.net]

14:34 jonafan has quit [calvino.freenode.net irc.freenode.net]

14:34 bacam has quit [calvino.freenode.net irc.freenode.net]

14:34 rwmjones has quit [calvino.freenode.net irc.freenode.net]

14:34 Ori_B has quit [calvino.freenode.net irc.freenode.net]

14:34 Amorphous has quit [calvino.freenode.net irc.freenode.net]

14:34 diml has quit [calvino.freenode.net irc.freenode.net]

14:34 [df] has quit [calvino.freenode.net irc.freenode.net]

14:34 mattam has quit [calvino.freenode.net irc.freenode.net]

14:34 bzzbzz has quit [calvino.freenode.net irc.freenode.net]

14:34 nimred_ has quit [calvino.freenode.net irc.freenode.net]

14:34 tmaedaZ has quit [calvino.freenode.net irc.freenode.net]

14:34 mrvn_ has quit [calvino.freenode.net irc.freenode.net]

14:34 __marius__ has quit [calvino.freenode.net irc.freenode.net]

14:34 willb has quit [calvino.freenode.net irc.freenode.net]

14:34 smimram has quit [calvino.freenode.net irc.freenode.net]

14:34 WuJiang has quit [calvino.freenode.net irc.freenode.net]

14:34 zhijie has quit [calvino.freenode.net irc.freenode.net]

14:34 ski_ has quit [calvino.freenode.net irc.freenode.net]

14:34 diml has joined #ocaml

14:34 mattam has joined #ocaml

14:34 bzzbzz has joined #ocaml

14:34 [df] has joined #ocaml

14:35 bacam has joined #ocaml

14:35 jonafan has joined #ocaml

14:35 rwmjones has joined #ocaml

14:35 Ori_B has joined #ocaml

14:35 |Jedai| has joined #ocaml

14:35 Amorphous has joined #ocaml

14:36 mrvn_ has joined #ocaml

14:36 __marius__ has joined #ocaml

14:36 ski_ has joined #ocaml

14:36 WuJiang has joined #ocaml

14:36 nimred_ has joined #ocaml

14:36 zhijie has joined #ocaml

14:36 smimram has joined #ocaml

14:36 tmaedaZ has joined #ocaml

14:36 willb has joined #ocaml

14:41 patronus has joined #ocaml

14:44 zerny has joined #ocaml

14:48 zerny has left #ocaml []

14:48 nimred_ has quit [calvino.freenode.net irc.freenode.net]

14:48 tmaedaZ has quit [calvino.freenode.net irc.freenode.net]

14:48 nimred has joined #ocaml

14:50 thelema has joined #ocaml

14:50 shr3kst3r has joined #ocaml

14:50 hyperboreean has joined #ocaml

14:50 orbitz has joined #ocaml

14:50 mehdid has joined #ocaml

14:50 companion_cube has joined #ocaml

14:50 mbishop has joined #ocaml

14:50 peddie has joined #ocaml

14:50 schme has joined #ocaml

14:50 Tianon has joined #ocaml

14:50 gildor has joined #ocaml

14:50 diginux has joined #ocaml

14:50 haelix has joined #ocaml

14:50 tarbo2_ has joined #ocaml

14:51 tmaedaZ has joined #ocaml

14:51 alexyk has joined #ocaml

14:52 ski_ has quit ["Lost terminal"]

14:54 _zack has quit ["Leaving."]

14:54 _zack has joined #ocaml

15:10 Submarine has joined #ocaml

15:22 derdon has joined #ocaml

15:31 seanmcl has joined #ocaml

15:39 djanderson has joined #ocaml

15:41 Submarine_ has joined #ocaml

15:55 djanderson has quit []

15:55 pimmhogeling has quit [Read error: 110 (Connection timed out)]

15:57 _unK has joined #ocaml

15:59 Submarine has quit [Read error: 110 (Connection timed out)]

16:02 _andre has quit ["*snicker-puff*"]

16:05 maelcoluim has joined #ocaml

16:26 Submarine has joined #ocaml

16:27 Submarine has quit [Read error: 104 (Connection reset by peer)]

16:27 Submarine__ has joined #ocaml

16:30 Submarine_ has quit [Read error: 104 (Connection reset by peer)]

16:30 Submarine__ is now known as Submarine

16:37 yakischloba1 has joined #ocaml

17:00 Submarine has quit [Read error: 104 (Connection reset by peer)]

17:00 Submarine_ has joined #ocaml

17:01 fx_ has quit [Read error: 60 (Operation timed out)]

17:18 _zack has quit ["Leaving."]

17:35 itewsh has joined #ocaml

17:40 ttamttam has quit ["Leaving."]

17:43 ccasin has quit [Read error: 60 (Operation timed out)]

18:00 ulfdoz has joined #ocaml

18:03 Submarine_ has quit ["Leaving"]

18:07 maelcolu1m has joined #ocaml

18:13 yakischloba1 has quit [Read error: 110 (Connection timed out)]

18:13 ikaros_ has quit ["Leave the magic to Houdini"]

18:17 maelcoluim has quit [Read error: 110 (Connection timed out)]

18:28 alexyk has quit []

18:28 yakischloba has joined #ocaml

18:36 seanmcl has quit []

18:38 seanmcl has joined #ocaml

18:38 seanmcl has quit [Client Quit]

18:48 ikaros has joined #ocaml

18:52 seanmcl has joined #ocaml

19:06 maelcoluim has joined #ocaml

19:16 ttamttam has joined #ocaml

19:17 maelcolu1m has quit [Read error: 110 (Connection timed out)]

19:27 demitar has joined #ocaml

19:28 demitar has quit [Read error: 104 (Connection reset by peer)]

19:41 alexyk_ has joined #ocaml

19:53 seanmcl has quit []

19:59 seanmcl has joined #ocaml

20:10 ksson has joined #ocaml

20:15 diginux has left #ocaml []

20:17 pad` has joined #ocaml

20:18 seanmcl has quit []

20:23 seanmcl has joined #ocaml

20:25 seanmcl has quit [Client Quit]

20:27 seanmcl has joined #ocaml

20:32 Submarine has joined #ocaml

20:34 derdon has quit []

20:47 joewilliams is now known as joewilliams_away

20:48 yakischloba has quit ["Leaving."]

20:49 joewilliams_away is now known as joewilliams

20:49 Associat0r has joined #ocaml

20:50 yakischloba has joined #ocaml

20:50 Associat0r has quit [Remote closed the connection]

20:56 alexyk_ has left #ocaml []

21:01 ksson has quit ["leaving"]

21:01 maelcolu1m has joined #ocaml

21:14 maelcoluim has quit [Read error: 110 (Connection timed out)]

21:15 ttamttam has quit ["Leaving."]

21:20 joewilliams is now known as joewilliams_away

21:25 ulfdoz has quit [Read error: 110 (Connection timed out)]

21:47 joewilliams_away is now known as joewilliams

21:58 djanderson has joined #ocaml

22:06 joewilliams is now known as joewilliams_away

22:06 joewilliams_away is now known as joewilliams

22:14 munga has joined #ocaml

22:27 djanderson has quit []

22:34 pimmhogeling has joined #ocaml

22:40 djanderson has joined #ocaml

22:47 Pimm has joined #ocaml

22:47 pimmhogeling has quit [Read error: 104 (Connection reset by peer)]

22:48 Pimm has quit [Client Quit]

22:48 pimmhogeling has joined #ocaml

22:50 Alpounet has quit [Remote closed the connection]

22:50 alp has joined #ocaml

22:51 alp has quit [Remote closed the connection]

22:51 alp__ has joined #ocaml

22:52 alp__ has quit [Remote closed the connection]

22:52 Alpounet has joined #ocaml

22:52 boscop has quit ["Gxis revido!"]

22:56 seanmcl has quit []

23:00 munga has quit ["Ex-Chat"]

23:01 itewsh has quit [Client Quit]

23:02 Submarine has quit [Read error: 113 (No route to host)]

23:52 tmaedaZ is now known as tmaeda

23:53 ikaros has quit ["Leave the magic to Houdini"]