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

2010-01-14 12:10 gildor 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

00:04 tmaeda is now known as tmaedaZ

00:30 M| has quit [Read error: 113 (No route to host)]

00:31 otswim has quit [Read error: 113 (No route to host)]

00:31 pimmhogeling has quit [Read error: 110 (Connection timed out)]

00:35 orbitz has quit [Read error: 60 (Operation timed out)]

00:38 eldragon has joined #ocaml

00:44 orbitz has joined #ocaml

00:49 M| has joined #ocaml

00:50 joewilliams has quit [Remote closed the connection]

00:58 joewilliams has joined #ocaml

01:01 M| has quit [Read error: 104 (Connection reset by peer)]

01:03 ski_ has joined #ocaml

01:07 M| has joined #ocaml

01:09 alexyk has joined #ocaml

01:09 M| has quit [Read error: 104 (Connection reset by peer)]

01:17 M| has joined #ocaml

01:33 palomer_ has joined #ocaml

01:34 palomer has quit [Read error: 110 (Connection timed out)]

01:37 travisbrady has quit []

01:52 eldragon has left #ocaml []

01:52 eldragon has joined #ocaml

01:52 eldragon has left #ocaml []

02:22 joewilliams has quit [Remote closed the connection]

02:22 rwmjones_lptp_ has joined #ocaml

02:24 Drk-Sd` has quit ["dodo"]

02:28 yakischloba has quit ["Leaving."]

02:29 rwmjones has quit [Read error: 101 (Network is unreachable)]

02:48 caligula__ has joined #ocaml

03:02 maskd has quit ["tr"]

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

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

03:46 travisbrady has joined #ocaml

03:48 pad` has quit [Remote closed the connection]

04:06 valross has joined #ocaml

04:27 tmaedaZ is now known as tmaeda

04:32 <palomer_> not much action today

04:40 <travisbrady> anyone have pointers on what is generating this error? http://hpaste.org/fastcgi/hpaste.fcgi/view?id=16340#a16340 this works in the toplevel

04:41 mjsor has joined #ocaml

04:49 mjsor has quit []

04:52 <det> I'm an idiot :<

04:53 <det> I spent 1 hour trying to figure out why my NFA is recognizing "1.2" as an "UpperId" rather than a "Float", rewrote the NFA compiler and then I figure out my printing code for the data type just said "UpperId(%s)" instead of "Float(%s)" :(

04:55 <det> travisbrady, You need to link with the threads package ?

04:56 <det> actually, I have no idea

04:58 <travisbrady> det: thank you

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

05:05 Gertm has joined #ocaml

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

05:11 yakischloba has joined #ocaml

05:13 Amorphous has joined #ocaml

05:32 gilsonm has quit []

05:42 joewilliams has joined #ocaml

05:51 joewilliams has quit []

06:00 joewilliams has joined #ocaml

06:00 ulfdoz has joined #ocaml

06:07 joewilliams has quit [Excess Flood]

06:11 joewilliams has joined #ocaml

06:13 joewilliams has quit [Remote closed the connection]

06:18 joewilliams has joined #ocaml

06:24 joewilliams has quit [Remote closed the connection]

06:24 joewilliams has joined #ocaml

06:32 alexyk has quit []

06:35 travisbrady has quit []

06:37 Submarine has joined #ocaml

06:44 joewilliams has quit [Remote closed the connection]

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

07:10 ttamttam has joined #ocaml

07:21 Submarine has quit ["Leaving"]

07:28 valross has quit [Remote closed the connection]

08:05 ikaros has joined #ocaml

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

08:12 _zack has joined #ocaml

08:16 ccasin has joined #ocaml

08:18 joewilliams has joined #ocaml

08:27 joewilliams has quit [Remote closed the connection]

08:38 avsm has joined #ocaml

08:41 ikaros has quit ["Leave the magic to Houdini"]

08:50 Submarine has joined #ocaml

09:01 avsm has quit ["Leaving."]

09:18 Yoric has joined #ocaml

09:25 ccasin has quit [Read error: 110 (Connection timed out)]

09:29 valross has joined #ocaml

09:36 ccasin has joined #ocaml

09:50 pimmhogeling has joined #ocaml

09:57 munga has joined #ocaml

10:03 Pepe_ has quit [Read error: 60 (Operation timed out)]

10:03 Pepe_ has joined #ocaml

10:21 pimmhogeling has quit [Read error: 104 (Connection reset by peer)]

10:25 Yoric has quit []

10:31 <munga> while generating the doco for my project with ocamldoc I've plenty of "Warning: Module or module type Hashtbl.Make not found" ... I've statements of the form module H = Hashtbl.Make ( ... ) what am I doing wrong ?

10:31 rwmjones_lptp_ is now known as rwmjones

10:33 <mrvn> Hashtbl is not a functor.

10:35 avsm has joined #ocaml

10:36 <flux> ..but it does have one

10:40 <mrvn> hmm, right. never used that one.

10:40 ccasin has quit [Remote closed the connection]

10:47 valross has quit [Remote closed the connection]

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

10:57 avsm has quit ["Leaving."]

11:24 Submarine has quit [Read error: 60 (Operation timed out)]

11:27 Yoric has joined #ocaml

11:29 maskd has joined #ocaml

11:38 Submarine has joined #ocaml

11:59 munga has quit ["Ex-Chat"]

12:17 boscop has joined #ocaml

12:17 ksson has joined #ocaml

12:19 Submarine has quit [Read error: 110 (Connection timed out)]

12:28 ksson has quit [lindbohm.freenode.net irc.freenode.net]

12:28 Pepe_ has quit [lindbohm.freenode.net irc.freenode.net]

12:29 M| has quit [lindbohm.freenode.net irc.freenode.net]

12:29 ertai has quit [lindbohm.freenode.net irc.freenode.net]

12:29 thrasibule_ has quit [lindbohm.freenode.net irc.freenode.net]

12:29 mehdid has quit [lindbohm.freenode.net irc.freenode.net]

12:29 shr3kst3r has quit [lindbohm.freenode.net irc.freenode.net]

12:29 nimred has quit [lindbohm.freenode.net irc.freenode.net]

12:29 tmaeda has quit [lindbohm.freenode.net irc.freenode.net]

12:29 maskd has quit [lindbohm.freenode.net irc.freenode.net]

12:29 caligula__ has quit [lindbohm.freenode.net irc.freenode.net]

12:29 hyperboreean has quit [lindbohm.freenode.net irc.freenode.net]

12:29 Leonidas has quit [lindbohm.freenode.net irc.freenode.net]

12:29 WuJiang_ has quit [lindbohm.freenode.net irc.freenode.net]

12:29 zhijie has quit [lindbohm.freenode.net irc.freenode.net]

12:29 smimram has quit [lindbohm.freenode.net irc.freenode.net]

12:29 willb has quit [lindbohm.freenode.net irc.freenode.net]

12:30 rwmjones has quit [Read error: 60 (Operation timed out)]

12:30 ksson has joined #ocaml

12:30 maskd has joined #ocaml

12:30 Pepe_ has joined #ocaml

12:30 caligula__ has joined #ocaml

12:30 M| has joined #ocaml

12:30 ertai has joined #ocaml

12:30 hyperboreean has joined #ocaml

12:30 Leonidas has joined #ocaml

12:30 WuJiang_ has joined #ocaml

12:30 zhijie has joined #ocaml

12:30 thrasibule_ has joined #ocaml

12:30 mehdid has joined #ocaml

12:30 shr3kst3r has joined #ocaml

12:30 smimram has joined #ocaml

12:30 nimred has joined #ocaml

12:30 tmaeda has joined #ocaml

12:30 willb has joined #ocaml

12:30 Leonidas1 has joined #ocaml

12:31 caligula_ has joined #ocaml

12:31 Leonidas has quit [Success]

12:31 mehdid has quit [Read error: 104 (Connection reset by peer)]

12:31 mehdid has joined #ocaml

12:36 caligula_ has quit [lindbohm.freenode.net irc.freenode.net]

12:36 shr3kst3r has quit [lindbohm.freenode.net irc.freenode.net]

12:36 M| has quit [lindbohm.freenode.net irc.freenode.net]

12:36 ksson has quit [lindbohm.freenode.net irc.freenode.net]

12:36 thrasibule_ has quit [lindbohm.freenode.net irc.freenode.net]

12:36 nimred has quit [lindbohm.freenode.net irc.freenode.net]

12:36 tmaeda has quit [lindbohm.freenode.net irc.freenode.net]

12:36 ertai has quit [lindbohm.freenode.net irc.freenode.net]

12:36 Pepe_ has quit [lindbohm.freenode.net irc.freenode.net]

12:36 willb has quit [lindbohm.freenode.net irc.freenode.net]

12:36 smimram has quit [lindbohm.freenode.net irc.freenode.net]

12:36 WuJiang_ has quit [lindbohm.freenode.net irc.freenode.net]

12:36 caligula__ has quit [lindbohm.freenode.net irc.freenode.net]

12:36 maskd has quit [lindbohm.freenode.net irc.freenode.net]

12:36 hyperboreean has quit [lindbohm.freenode.net irc.freenode.net]

12:36 zhijie has quit [lindbohm.freenode.net irc.freenode.net]

12:36 Leonidas1 has quit [lindbohm.freenode.net irc.freenode.net]

12:36 palomer_ has quit [lindbohm.freenode.net irc.freenode.net]

12:36 orbitz has quit [lindbohm.freenode.net irc.freenode.net]

12:36 rbancroft has quit [lindbohm.freenode.net irc.freenode.net]

12:36 infoe has quit [lindbohm.freenode.net irc.freenode.net]

12:36 fx_ has quit [lindbohm.freenode.net irc.freenode.net]

12:36 BigJ has quit [lindbohm.freenode.net irc.freenode.net]

12:36 mal`` has quit [lindbohm.freenode.net irc.freenode.net]

12:36 fabjan has quit [lindbohm.freenode.net irc.freenode.net]

12:36 infoe- has quit [lindbohm.freenode.net irc.freenode.net]

12:36 Mr_Awesome has quit [lindbohm.freenode.net irc.freenode.net]

12:36 Amorphous has quit [lindbohm.freenode.net irc.freenode.net]

12:36 sgnb` has quit [lindbohm.freenode.net irc.freenode.net]

12:36 boscop has quit [lindbohm.freenode.net irc.freenode.net]

12:36 diml has quit [lindbohm.freenode.net irc.freenode.net]

12:36 jonafan has quit [lindbohm.freenode.net irc.freenode.net]

12:36 thelema has quit [lindbohm.freenode.net irc.freenode.net]

12:36 tab has quit [lindbohm.freenode.net irc.freenode.net]

12:36 bzzbzz has quit [lindbohm.freenode.net irc.freenode.net]

12:36 prigaux has quit [lindbohm.freenode.net irc.freenode.net]

12:36 bacam has quit [lindbohm.freenode.net irc.freenode.net]

12:36 mattam has quit [lindbohm.freenode.net irc.freenode.net]

12:36 __marius1_ has quit [lindbohm.freenode.net irc.freenode.net]

12:36 [df] has quit [lindbohm.freenode.net irc.freenode.net]

12:36 svenl has quit [lindbohm.freenode.net irc.freenode.net]

12:36 jimmyb2187 has quit [lindbohm.freenode.net irc.freenode.net]

12:36 olegfink has quit [lindbohm.freenode.net irc.freenode.net]

12:36 julm has quit [lindbohm.freenode.net irc.freenode.net]

12:36 mehdid has quit [lindbohm.freenode.net irc.freenode.net]

12:36 companion_cube has quit [lindbohm.freenode.net irc.freenode.net]

12:36 mbishop has quit [lindbohm.freenode.net irc.freenode.net]

12:36 peddie has quit [lindbohm.freenode.net irc.freenode.net]

12:36 mbac has quit [lindbohm.freenode.net irc.freenode.net]

12:36 schme has quit [lindbohm.freenode.net irc.freenode.net]

12:36 Tianon has quit [lindbohm.freenode.net irc.freenode.net]

12:36 gildor has quit [lindbohm.freenode.net irc.freenode.net]

12:36 Ori_B has quit [lindbohm.freenode.net irc.freenode.net]

12:36 mrvn has quit [lindbohm.freenode.net irc.freenode.net]

12:36 haelix has quit [lindbohm.freenode.net irc.freenode.net]

12:36 tarbo2_ has quit [lindbohm.freenode.net irc.freenode.net]

12:36 diginux has quit [lindbohm.freenode.net irc.freenode.net]

12:36 Yoric has quit [lindbohm.freenode.net irc.freenode.net]

12:36 _zack has quit [lindbohm.freenode.net irc.freenode.net]

12:36 hcarty_ has quit [lindbohm.freenode.net irc.freenode.net]

12:36 peper has quit [lindbohm.freenode.net irc.freenode.net]

12:36 patronus has quit [lindbohm.freenode.net irc.freenode.net]

12:36 quelqun_dautre has quit [lindbohm.freenode.net irc.freenode.net]

12:36 brendan has quit [lindbohm.freenode.net irc.freenode.net]

12:36 det has quit [lindbohm.freenode.net irc.freenode.net]

12:36 _Jedai_ has quit [lindbohm.freenode.net irc.freenode.net]

12:36 Gertm has quit [lindbohm.freenode.net irc.freenode.net]

12:36 flux has quit [lindbohm.freenode.net irc.freenode.net]

12:36 ttamttam has quit [lindbohm.freenode.net irc.freenode.net]

12:36 emias has quit [lindbohm.freenode.net irc.freenode.net]

12:37 jonafan has joined #ocaml

12:45 _Jedai_ has joined #ocaml

12:45 det has joined #ocaml

12:45 brendan has joined #ocaml

12:45 quelqun_dautre has joined #ocaml

12:45 patronus has joined #ocaml

12:45 peper has joined #ocaml

12:45 hcarty_ has joined #ocaml

12:45 _zack has joined #ocaml

12:45 Yoric has joined #ocaml

12:45 flux has joined #ocaml

12:45 Gertm has joined #ocaml

12:45 emias has joined #ocaml

12:45 ttamttam has joined #ocaml

12:45 caligula_ has joined #ocaml

12:45 ksson has joined #ocaml

12:45 maskd has joined #ocaml

12:45 Pepe_ has joined #ocaml

12:45 caligula__ has joined #ocaml

12:45 M| has joined #ocaml

12:45 ertai has joined #ocaml

12:45 hyperboreean has joined #ocaml

12:45 WuJiang_ has joined #ocaml

12:45 zhijie has joined #ocaml

12:45 thrasibule_ has joined #ocaml

12:45 shr3kst3r has joined #ocaml

12:45 smimram has joined #ocaml

12:45 nimred has joined #ocaml

12:45 tmaeda has joined #ocaml

12:45 willb has joined #ocaml

12:46 jonafan has quit [Killed by sagan.freenode.net (Nick collision)]

12:46 jonafan has joined #ocaml

12:46 rwmjones has joined #ocaml

12:46 boscop_ has joined #ocaml

12:46 orbitz has joined #ocaml

12:46 thelema_ has joined #ocaml

12:46 Leonidas1 has joined #ocaml

12:46 palomer_ has joined #ocaml

12:46 rbancroft has joined #ocaml

12:46 infoe has joined #ocaml

12:46 fx_ has joined #ocaml

12:46 BigJ has joined #ocaml

12:46 mal`` has joined #ocaml

12:46 Mr_Awesome has joined #ocaml

12:46 infoe- has joined #ocaml

12:46 fabjan has joined #ocaml

12:46 mehdid has joined #ocaml

12:46 Amorphous has joined #ocaml

12:46 companion_cube has joined #ocaml

12:46 mbishop has joined #ocaml

12:46 peddie has joined #ocaml

12:46 [df] has joined #ocaml

12:46 sgnb` has joined #ocaml

12:46 mbac has joined #ocaml

12:46 diml has joined #ocaml

12:46 schme has joined #ocaml

12:46 tab has joined #ocaml

12:46 bzzbzz has joined #ocaml

12:46 Tianon has joined #ocaml

12:46 gildor has joined #ocaml

12:46 Ori_B has joined #ocaml

12:46 prigaux has joined #ocaml

12:46 __marius1_ has joined #ocaml

12:46 mrvn has joined #ocaml

12:46 mattam has joined #ocaml

12:46 jimmyb2187 has joined #ocaml

12:46 julm has joined #ocaml

12:46 bacam has joined #ocaml

12:46 svenl has joined #ocaml

12:46 olegfink has joined #ocaml

12:46 diginux has joined #ocaml

12:46 haelix has joined #ocaml

12:46 tarbo2_ has joined #ocaml

12:47 jonafan_ has joined #ocaml

12:49 jonafan has quit [lindbohm.freenode.net irc.freenode.net]

12:49 shr3kst3r has quit [lindbohm.freenode.net irc.freenode.net]

12:49 M| has quit [lindbohm.freenode.net irc.freenode.net]

12:49 ksson has quit [lindbohm.freenode.net irc.freenode.net]

12:49 thrasibule_ has quit [lindbohm.freenode.net irc.freenode.net]

12:49 caligula_ has quit [lindbohm.freenode.net irc.freenode.net]

12:49 nimred has quit [lindbohm.freenode.net irc.freenode.net]

12:49 ertai has quit [lindbohm.freenode.net irc.freenode.net]

12:49 Pepe_ has quit [lindbohm.freenode.net irc.freenode.net]

12:49 tmaeda has quit [lindbohm.freenode.net irc.freenode.net]

12:49 willb has quit [lindbohm.freenode.net irc.freenode.net]

12:49 smimram has quit [lindbohm.freenode.net irc.freenode.net]

12:49 WuJiang_ has quit [lindbohm.freenode.net irc.freenode.net]

12:49 caligula__ has quit [lindbohm.freenode.net irc.freenode.net]

12:49 maskd has quit [lindbohm.freenode.net irc.freenode.net]

12:49 hyperboreean has quit [lindbohm.freenode.net irc.freenode.net]

12:49 zhijie has quit [lindbohm.freenode.net irc.freenode.net]

12:50 jonafan has joined #ocaml

12:50 caligula_ has joined #ocaml

12:50 ksson has joined #ocaml

12:50 maskd has joined #ocaml

12:50 Pepe_ has joined #ocaml

12:50 caligula__ has joined #ocaml

12:50 M| has joined #ocaml

12:50 ertai has joined #ocaml

12:50 hyperboreean has joined #ocaml

12:50 WuJiang_ has joined #ocaml

12:50 zhijie has joined #ocaml

12:50 thrasibule_ has joined #ocaml

12:50 shr3kst3r has joined #ocaml

12:50 smimram has joined #ocaml

12:50 nimred has joined #ocaml

12:50 tmaeda has joined #ocaml

12:50 willb has joined #ocaml

12:50 jonafan_ has quit [Killed by sagan.freenode.net (Nick collision)]

12:50 caligula__ has quit [SendQ exceeded]

12:50 jonafan_ has joined #ocaml

12:51 pimmhogeling has joined #ocaml

12:53 _zack has quit [lindbohm.freenode.net irc.freenode.net]

12:53 hcarty_ has quit [lindbohm.freenode.net irc.freenode.net]

12:53 quelqun_dautre has quit [lindbohm.freenode.net irc.freenode.net]

12:53 det has quit [lindbohm.freenode.net irc.freenode.net]

12:53 Yoric has quit [lindbohm.freenode.net irc.freenode.net]

12:53 peper has quit [lindbohm.freenode.net irc.freenode.net]

12:53 patronus has quit [lindbohm.freenode.net irc.freenode.net]

12:53 brendan has quit [lindbohm.freenode.net irc.freenode.net]

12:53 _Jedai_ has quit [lindbohm.freenode.net irc.freenode.net]

12:54 Yoric has joined #ocaml

12:54 _zack has joined #ocaml

12:54 hcarty_ has joined #ocaml

12:54 patronus has joined #ocaml

12:54 quelqun_dautre has joined #ocaml

12:54 brendan has joined #ocaml

12:54 det has joined #ocaml

12:54 _Jedai_ has joined #ocaml

12:56 peper has joined #ocaml

12:56 pimmhogeling has quit [lindbohm.freenode.net irc.freenode.net]

12:56 fx_ has quit [lindbohm.freenode.net irc.freenode.net]

12:56 palomer_ has quit [lindbohm.freenode.net irc.freenode.net]

12:56 rbancroft has quit [lindbohm.freenode.net irc.freenode.net]

12:56 Leonidas1 has quit [lindbohm.freenode.net irc.freenode.net]

12:56 fabjan has quit [lindbohm.freenode.net irc.freenode.net]

12:56 mal`` has quit [lindbohm.freenode.net irc.freenode.net]

12:56 BigJ has quit [lindbohm.freenode.net irc.freenode.net]

12:56 boscop_ has quit [lindbohm.freenode.net irc.freenode.net]

12:56 rwmjones has quit [lindbohm.freenode.net irc.freenode.net]

12:56 Mr_Awesome has quit [lindbohm.freenode.net irc.freenode.net]

12:56 infoe has quit [lindbohm.freenode.net irc.freenode.net]

12:56 infoe- has quit [lindbohm.freenode.net irc.freenode.net]

12:58 pimmhogeling has joined #ocaml

12:58 rwmjones has joined #ocaml

12:58 boscop_ has joined #ocaml

12:58 Leonidas1 has joined #ocaml

12:58 palomer_ has joined #ocaml

12:58 rbancroft has joined #ocaml

12:58 infoe has joined #ocaml

12:58 fx_ has joined #ocaml

12:58 BigJ has joined #ocaml

12:58 mal`` has joined #ocaml

12:58 Mr_Awesome has joined #ocaml

12:58 infoe- has joined #ocaml

12:58 fabjan has joined #ocaml

12:58 Submarine has joined #ocaml

13:00 mal`` has quit [Remote closed the connection]

13:00 mal`` has joined #ocaml

13:01 thelema_ has quit [Remote closed the connection]

13:04 jonafan has quit [Connection timed out]

13:06 thelema has joined #ocaml

13:08 jonafan has joined #ocaml

13:08 _unK has joined #ocaml

13:11 caligula__ has joined #ocaml

13:11 thrasibule has joined #ocaml

13:12 mal`` has quit [lindbohm.freenode.net irc.freenode.net]

13:12 jonafan_ has quit [lindbohm.freenode.net irc.freenode.net]

13:12 shr3kst3r has quit [lindbohm.freenode.net irc.freenode.net]

13:12 M| has quit [lindbohm.freenode.net irc.freenode.net]

13:12 ksson has quit [lindbohm.freenode.net irc.freenode.net]

13:12 thrasibule_ has quit [lindbohm.freenode.net irc.freenode.net]

13:12 caligula_ has quit [lindbohm.freenode.net irc.freenode.net]

13:12 nimred has quit [lindbohm.freenode.net irc.freenode.net]

13:12 ertai has quit [lindbohm.freenode.net irc.freenode.net]

13:12 Pepe_ has quit [lindbohm.freenode.net irc.freenode.net]

13:12 tmaeda has quit [lindbohm.freenode.net irc.freenode.net]

13:12 willb has quit [lindbohm.freenode.net irc.freenode.net]

13:12 smimram has quit [lindbohm.freenode.net irc.freenode.net]

13:12 WuJiang_ has quit [lindbohm.freenode.net irc.freenode.net]

13:12 maskd has quit [lindbohm.freenode.net irc.freenode.net]

13:12 hyperboreean has quit [lindbohm.freenode.net irc.freenode.net]

13:12 zhijie has quit [lindbohm.freenode.net irc.freenode.net]

13:13 ertai has joined #ocaml

13:13 M| has joined #ocaml

13:13 hyperboreean has joined #ocaml

13:13 shr3kst3r has joined #ocaml

13:14 mal`` has joined #ocaml

13:14 jonafan_ has joined #ocaml

13:14 caligula_ has joined #ocaml

13:14 ksson has joined #ocaml

13:14 maskd has joined #ocaml

13:14 Pepe_ has joined #ocaml

13:14 WuJiang_ has joined #ocaml

13:14 zhijie has joined #ocaml

13:14 thrasibule_ has joined #ocaml

13:14 smimram has joined #ocaml

13:14 nimred has joined #ocaml

13:14 tmaeda has joined #ocaml

13:14 willb has joined #ocaml

13:15 WuJiang_ has quit [Read error: 104 (Connection reset by peer)]

13:15 nimred has quit [Remote closed the connection]

13:15 nimred_ has joined #ocaml

13:15 Pepe__ has joined #ocaml

13:15 maskd- has joined #ocaml

13:15 Pepe_ has quit [Connection reset by peer]

13:17 ertai has quit [lindbohm.freenode.net irc.freenode.net]

13:17 _unK has quit [lindbohm.freenode.net irc.freenode.net]

13:17 thelema has quit [lindbohm.freenode.net irc.freenode.net]

13:17 brendan has quit [lindbohm.freenode.net irc.freenode.net]

13:17 quelqun_dautre has quit [lindbohm.freenode.net irc.freenode.net]

13:17 hcarty_ has quit [lindbohm.freenode.net irc.freenode.net]

13:17 _zack has quit [lindbohm.freenode.net irc.freenode.net]

13:17 _Jedai_ has quit [lindbohm.freenode.net irc.freenode.net]

13:17 Yoric has quit [lindbohm.freenode.net irc.freenode.net]

13:17 det has quit [lindbohm.freenode.net irc.freenode.net]

13:17 patronus has quit [lindbohm.freenode.net irc.freenode.net]

13:17 ertai has joined #ocaml

13:17 _unK has joined #ocaml

13:17 thelema has joined #ocaml

13:17 Yoric has joined #ocaml

13:17 _zack has joined #ocaml

13:17 hcarty_ has joined #ocaml

13:17 patronus has joined #ocaml

13:17 quelqun_dautre has joined #ocaml

13:17 brendan has joined #ocaml

13:17 det has joined #ocaml

13:17 _Jedai_ has joined #ocaml

13:17 _unK has quit [Success]

13:17 drunK_ has joined #ocaml

13:20 pimmhogeling has quit [Read error: 110 (Connection timed out)]

13:21 WuJiang has joined #ocaml

13:24 maskd has quit [Nick collision from services.]

13:24 maskd- is now known as maskd

13:25 thrasibule_ has quit [Connection timed out]

13:27 jonafan_ has quit [Connection timed out]

13:28 caligula_ has quit [No route to host]

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

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

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

13:29 _zack has quit [lindbohm.freenode.net irc.freenode.net]

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

13:29 _Jedai_ has quit [lindbohm.freenode.net irc.freenode.net]

13:29 Yoric has quit [lindbohm.freenode.net irc.freenode.net]

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

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

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

13:29 drunK_ has quit [lindbohm.freenode.net irc.freenode.net]

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

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

13:29 ksson has quit [lindbohm.freenode.net irc.freenode.net]

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

13:29 tmaeda has quit [lindbohm.freenode.net irc.freenode.net]

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

13:29 Pepe__ has quit [lindbohm.freenode.net irc.freenode.net]

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

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

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

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

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

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

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

13:29 Submarine has quit [lindbohm.freenode.net irc.freenode.net]

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

13:29 rbancroft has quit [lindbohm.freenode.net irc.freenode.net]

13:29 palomer_ has quit [lindbohm.freenode.net irc.freenode.net]

13:29 fabjan has quit [lindbohm.freenode.net irc.freenode.net]

13:29 BigJ has quit [lindbohm.freenode.net irc.freenode.net]

13:29 infoe- has quit [lindbohm.freenode.net irc.freenode.net]

13:29 infoe has quit [lindbohm.freenode.net irc.freenode.net]

13:29 Mr_Awesome has quit [lindbohm.freenode.net irc.freenode.net]

13:29 Leonidas1 has quit [lindbohm.freenode.net irc.freenode.net]

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

13:29 boscop_ has quit [lindbohm.freenode.net irc.freenode.net]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

13:29 thrasibule has quit [lindbohm.freenode.net irc.freenode.net]

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

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

13:29 mbac has quit [lindbohm.freenode.net irc.freenode.net]

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

13:30 haelix has quit [lindbohm.freenode.net irc.freenode.net]

13:30 schme has quit [lindbohm.freenode.net irc.freenode.net]

13:30 Ori_B has quit [lindbohm.freenode.net irc.freenode.net]

13:30 companion_cube has quit [lindbohm.freenode.net irc.freenode.net]

13:30 Tianon has quit [lindbohm.freenode.net irc.freenode.net]

13:30 tarbo2_ has quit [lindbohm.freenode.net irc.freenode.net]

13:30 diginux has quit [lindbohm.freenode.net irc.freenode.net]

13:30 mbishop has quit [lindbohm.freenode.net irc.freenode.net]

13:30 peddie has quit [lindbohm.freenode.net irc.freenode.net]

13:30 orbitz has quit [lindbohm.freenode.net irc.freenode.net]

13:42 flux has joined #ocaml

13:42 Gertm has joined #ocaml

13:43 _Jedai_ has joined #ocaml

13:43 det has joined #ocaml

13:43 brendan has joined #ocaml

13:43 quelqun_dautre has joined #ocaml

13:43 patronus has joined #ocaml

13:43 hcarty_ has joined #ocaml

13:43 _zack has joined #ocaml

13:43 Yoric has joined #ocaml

13:43 ertai has joined #ocaml

13:43 pimmhogeling has joined #ocaml

13:43 Submarine_ has joined #ocaml

13:43 willb has joined #ocaml

13:43 tmaeda has joined #ocaml

13:43 smimram has joined #ocaml

13:43 zhijie has joined #ocaml

13:43 ksson has joined #ocaml

13:43 mal`` has joined #ocaml

13:43 nimred_ has joined #ocaml

13:43 Pepe__ has joined #ocaml

13:43 maskd has joined #ocaml

13:43 WuJiang has joined #ocaml

13:43 _unK has joined #ocaml

13:43 boscop_ has joined #ocaml

13:43 thelema has joined #ocaml

13:43 emias has joined #ocaml

13:43 ttamttam has joined #ocaml

13:43 fabjan has joined #ocaml

13:43 infoe- has joined #ocaml

13:43 Mr_Awesome has joined #ocaml

13:43 BigJ has joined #ocaml

13:43 fx_ has joined #ocaml

13:43 infoe has joined #ocaml

13:43 rbancroft has joined #ocaml

13:43 palomer_ has joined #ocaml

13:43 Leonidas1 has joined #ocaml

13:43 rwmjones has joined #ocaml

13:43 Submarine has joined #ocaml

13:43 shr3kst3r has joined #ocaml

13:43 hyperboreean has joined #ocaml

13:43 thrasibule has joined #ocaml

13:43 jonafan has joined #ocaml

13:43 orbitz has joined #ocaml

13:43 mehdid has joined #ocaml

13:43 Amorphous has joined #ocaml

13:43 companion_cube has joined #ocaml

13:43 mbishop has joined #ocaml

13:43 peddie has joined #ocaml

13:43 [df] has joined #ocaml

13:43 sgnb` has joined #ocaml

13:43 mbac has joined #ocaml

13:43 diml has joined #ocaml

13:43 schme has joined #ocaml

13:43 tab has joined #ocaml

13:43 bzzbzz has joined #ocaml

13:43 Tianon has joined #ocaml

13:43 gildor has joined #ocaml

13:43 Ori_B has joined #ocaml

13:43 prigaux has joined #ocaml

13:43 __marius1_ has joined #ocaml

13:43 mrvn has joined #ocaml

13:43 mattam has joined #ocaml

13:43 jimmyb2187 has joined #ocaml

13:43 julm has joined #ocaml

13:43 bacam has joined #ocaml

13:43 svenl has joined #ocaml

13:43 olegfink has joined #ocaml

13:43 diginux has joined #ocaml

13:43 haelix has joined #ocaml

13:43 tarbo2_ has joined #ocaml

13:54 Submarine has quit [Connection timed out]

13:57 pimmhogeling has quit [Read error: 110 (Connection timed out)]

14:10 derdon has joined #ocaml

14:28 pimmhogeling has joined #ocaml

14:41 mbac has quit [Remote closed the connection]

14:41 pimmhogeling has quit [Read error: 104 (Connection reset by peer)]

15:31 alexyk has joined #ocaml

15:45 joewilliams has joined #ocaml

15:47 joewilliams has quit [Remote closed the connection]

15:47 joewilliams has joined #ocaml

15:55 ksson has quit ["leaving"]

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

16:37 <olegfink> fx_: (mildly offtopic) is that something with my client or should I do anything specific to speak in ocaml@c.j.r?

16:44 <fx_> request voice via pm

16:45 <fx_> this attempt counts :)

16:47 <olegfink> hm, doesn't look like it really got counted.

16:49 yakischloba has joined #ocaml

16:50 alexyk has quit []

16:51 pimmhogeling has joined #ocaml

16:52 joewilliams has quit [Remote closed the connection]

16:59 thrasibule has quit [Read error: 110 (Connection timed out)]

16:59 joewilliam has joined #ocaml

17:05 joewilliams has joined #ocaml

17:06 joewilliam has quit [Client Quit]

17:11 joewilliams has quit ["ZNC - http://znc.sourceforge.net"]

17:11 joewilliams has joined #ocaml

17:11 alexyk has joined #ocaml

17:11 caligula_ has joined #ocaml

17:12 caligula__ has quit [Read error: 60 (Operation timed out)]

17:19 alexyk has quit []

17:27 _zack has joined #ocaml

17:35 tmaeda is now known as tmaedaZ

17:36 fx_ has quit [Read error: 110 (Connection timed out)]

17:46 Regenschein has joined #ocaml

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

17:56 Submarine_ has quit [Read error: 110 (Connection timed out)]

18:01 itewsh has joined #ocaml

18:12 derdon has quit []

18:19 Yoric has quit []

18:28 ulfdoz has joined #ocaml

18:34 ikaros has joined #ocaml

18:35 pad` has joined #ocaml

18:48 demitar has joined #ocaml

18:59 Alpounet has joined #ocaml

19:00 alexyk has joined #ocaml

19:02 demitar has quit ["Ex-Chat"]

19:02 Pepe_ has joined #ocaml

19:03 derdon has joined #ocaml

19:14 Pepe__ has quit [Read error: 113 (No route to host)]

19:21 ttamttam has joined #ocaml

19:24 ikaros has quit ["Leave the magic to Houdini"]

19:28 ikaros has joined #ocaml

19:34 Waleee has joined #ocaml

19:55 <flux> [Caml-list] ANN: Objective Caml 3.11.2 released.

19:56 lutter has left #ocaml []

19:56 <flux> PR#4921: configure option to help cross-compilers

19:56 <flux> PR#123, PR#4477: custom exception printers

19:56 alexyk has quit []

19:57 <flux> PR#4922: ocamlbuild recompiles too many files

19:58 <flux> (some random personal choices)

20:00 ttamttam has quit ["Leaving."]

20:00 <Camarade_Tux> yeah, I remember going through the makefiles and set the correct path to ld ;-)

20:02 <mfp> can somebody update the /topic?

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?

20:03 <orbitz> mfp: anyone can apparently

20:03 <mfp> (!)

20:05 alexyk has joined #ocaml

20:06 ttamttam has joined #ocaml

20:06 _zack has quit ["Leaving."]

20:12 <palomer_> whoa, I might be in paris at that time

20:14 <flux> my gf suggested a trip to paris, but one month earlier ;)

20:15 <palomer_> I think not having a girlfriend is a prerequisite for ocaml events

20:16 boscop_ is now known as boscop

20:17 ikaros has quit ["Leave the magic to Houdini"]

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

20:26 ttamttam has joined #ocaml

20:34 derdon has quit []

20:34 derdon has joined #ocaml

20:34 derdon has quit [Client Quit]

20:39 ttamttam has quit ["Leaving."]

20:41 ttamttam has joined #ocaml

20:44 ttamttam has quit [Client Quit]

21:02 Waleee has quit [Read error: 60 (Operation timed out)]

21:02 Waleee has joined #ocaml

21:16 pimmhogeling has quit [Read error: 110 (Connection timed out)]

21:55 djanderson has joined #ocaml

22:05 Regenschein has quit [Read error: 60 (Operation timed out)]

22:05 Regenschein has joined #ocaml

22:07 alexyk has quit []

22:16 ulfdoz has quit [Read error: 60 (Operation timed out)]

22:18 ofaurax has joined #ocaml

22:38 ikaros has joined #ocaml

22:40 alexyk has joined #ocaml

22:54 Submarine has joined #ocaml

23:01 itewsh has quit [Client Quit]

23:02 BigJ has quit [Read error: 110 (Connection timed out)]

23:04 <palomer_> is there a way to get findlib to install a package and if it already exists overwrite the directory?

23:13 |Jedai| has joined #ocaml

23:16 Regenschein has quit []

23:23 ikaros_ has joined #ocaml

23:27 _Jedai_ has quit [Read error: 110 (Connection timed out)]

23:31 djanderson has quit []

23:32 ikaros has quit [Read error: 110 (Connection timed out)]

23:34 ofaurax has quit ["Leaving"]

23:43 alexyk has quit []

23:45 ikaros_ has quit ["Leave the magic to Houdini"]

23:51 djanderson has joined #ocaml

23:56 tmaedaZ is now known as tmaeda