#ocaml on 2009-08-04 — irc logs at freenode.irclog.whitequark.org

2009-06-12 13:52 kaustuv changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | 3.11.1 out now! Get yours from http://caml.inria.fr/ocaml/release.html

00:10 julm has joined #ocaml

00:18 julm has quit ["leaving"]

00:35 sOpen has joined #ocaml

00:35 <sOpen> Can you make dynamic left-hand sides in OCaml pattern matches?

00:35 <sOpen> more than just 'where'

00:36 <kaustuv> sOpen: not sure what you mean, but a pattern match is compiled to a jump table which is static

00:37 <sOpen> kaustuv: ok... that's what i thought and that answers my question... thanks!

00:37 <Camarade_Tux> not sure either but if you want something for string, there is mikmatch which is a syntax extension

00:38 <sOpen> Camarade_Tux: ah... that is a cool extension! thanks

00:40 <Camarade_Tux> :)

00:41 <Camarade_Tux> btw, it's mikmatch for ocaml>=3.10 and micmatch for <3.10 (iirc)

00:41 <Camarade_Tux> bedtime now ^^

00:43 bluestorm has joined #ocaml

00:46 Amorphous has quit [Read error: 110 (Connection timed out)]

00:50 Amorphous has joined #ocaml

00:53 sOpen has left #ocaml []

01:13 bluestorm has quit ["Leaving"]

01:38 julm has joined #ocaml

01:55 verte has joined #ocaml

02:01 seafood has joined #ocaml

03:09 julm has quit ["leaving"]

03:12 willb has joined #ocaml

03:14 julm has joined #ocaml

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

03:32 BiDOrD has joined #ocaml

03:49 authentic has joined #ocaml

04:10 Hadaka_ has joined #ocaml

04:11 Hadaka has quit [Read error: 104 (Connection reset by peer)]

04:37 sgnb` has quit [Read error: 104 (Connection reset by peer)]

04:38 sgnb` has joined #ocaml

04:56 Hadaka_ has quit [Read error: 60 (Operation timed out)]

05:07 Hadaka has joined #ocaml

05:08 Ori_B_ is now known as Ori_B

05:33 Hadaka has quit [Read error: 104 (Connection reset by peer)]

05:38 Hadaka has joined #ocaml

05:41 jeddhaberstro has quit [Client Quit]

07:04 seafood has quit []

07:08 smimou has joined #ocaml

07:11 sgnb` has quit [Remote closed the connection]

07:13 sgnb has joined #ocaml

07:25 julm has quit ["leaving"]

07:54 julm has joined #ocaml

08:18 filp has joined #ocaml

08:26 julm has quit ["leaving"]

08:26 julm has joined #ocaml

08:29 eevar2 has joined #ocaml

08:49 itewsh has joined #ocaml

08:54 Cromulent has joined #ocaml

08:55 Cromulent has quit []

08:57 julm has quit ["leaving"]

09:03 marteo has joined #ocaml

09:25 hkBst has joined #ocaml

09:29 itewsh has quit [Remote closed the connection]

09:31 sparta has joined #ocaml

10:14 sparta has quit ["Ex-Chat"]

10:16 authentic has quit [Read error: 60 (Operation timed out)]

10:18 Narrenschiff has joined #ocaml

10:18 Narrenschiff has quit [Remote closed the connection]

10:18 Narrenschiff has joined #ocaml

10:19 sramsay has joined #ocaml

10:21 buzz0r_ has joined #ocaml

10:23 Cromulent has joined #ocaml

10:32 Cromulent has quit []

10:53 authentic has joined #ocaml

11:09 authentic has quit [bartol.freenode.net irc.freenode.net]

11:09 schme has quit [bartol.freenode.net irc.freenode.net]

11:09 wysek has quit [bartol.freenode.net irc.freenode.net]

11:09 bohanlon has quit [bartol.freenode.net irc.freenode.net]

11:09 Camarade_Tux has quit [bartol.freenode.net irc.freenode.net]

11:09 willb has quit [bartol.freenode.net irc.freenode.net]

11:09 rwmjones-afk has quit [bartol.freenode.net irc.freenode.net]

11:09 poucet has quit [bartol.freenode.net irc.freenode.net]

11:09 lanaer has quit [bartol.freenode.net irc.freenode.net]

11:09 anders^^ has quit [bartol.freenode.net irc.freenode.net]

11:09 nimred has quit [bartol.freenode.net irc.freenode.net]

11:09 sramsay has quit [bartol.freenode.net irc.freenode.net]

11:09 Submarine has quit [bartol.freenode.net irc.freenode.net]

11:09 hkBst has quit [bartol.freenode.net irc.freenode.net]

11:09 whoknows has quit [bartol.freenode.net irc.freenode.net]

11:09 kaustuv has quit [bartol.freenode.net irc.freenode.net]

11:09 munga has quit [bartol.freenode.net irc.freenode.net]

11:09 sbok has quit [bartol.freenode.net irc.freenode.net]

11:09 Narrenschiff has quit [bartol.freenode.net irc.freenode.net]

11:09 Amorphous has quit [bartol.freenode.net irc.freenode.net]

11:09 bacam has quit [bartol.freenode.net irc.freenode.net]

11:09 animist has quit [bartol.freenode.net irc.freenode.net]

11:09 cmeme has quit [bartol.freenode.net irc.freenode.net]

11:09 deavid has quit [bartol.freenode.net irc.freenode.net]

11:09 holgr has quit [bartol.freenode.net irc.freenode.net]

11:09 svenl has quit [bartol.freenode.net irc.freenode.net]

11:09 bartiosze has quit [bartol.freenode.net irc.freenode.net]

11:09 mellum has quit [bartol.freenode.net irc.freenode.net]

11:09 mfp_ has quit [bartol.freenode.net irc.freenode.net]

11:09 easy4 has quit [bartol.freenode.net irc.freenode.net]

11:09 TaXules has quit [bartol.freenode.net irc.freenode.net]

11:09 aij_ has quit [bartol.freenode.net irc.freenode.net]

11:09 prigaux has quit [bartol.freenode.net irc.freenode.net]

11:09 ertai has quit [bartol.freenode.net irc.freenode.net]

11:09 Asmadeus has quit [bartol.freenode.net irc.freenode.net]

11:09 brendan has quit [bartol.freenode.net irc.freenode.net]

11:09 tarbo2 has quit [bartol.freenode.net irc.freenode.net]

11:09 mbishop has quit [bartol.freenode.net irc.freenode.net]

11:09 tsuyoshi has quit [bartol.freenode.net irc.freenode.net]

11:09 maskd has quit [bartol.freenode.net irc.freenode.net]

11:09 noj has quit [bartol.freenode.net irc.freenode.net]

11:09 qwr has quit [bartol.freenode.net irc.freenode.net]

11:09 caligula has quit [bartol.freenode.net irc.freenode.net]

11:09 Demitar has quit [bartol.freenode.net irc.freenode.net]

11:09 eevar2 has quit [bartol.freenode.net irc.freenode.net]

11:09 smimou has quit [bartol.freenode.net irc.freenode.net]

11:09 peddie has quit [bartol.freenode.net irc.freenode.net]

11:09 r0bby has quit [bartol.freenode.net irc.freenode.net]

11:09 tonyIII has quit [bartol.freenode.net irc.freenode.net]

11:09 Pepe_ has quit [bartol.freenode.net irc.freenode.net]

11:09 ozzloy has quit [bartol.freenode.net irc.freenode.net]

11:09 jonafan has quit [bartol.freenode.net irc.freenode.net]

11:09 erickt has quit [bartol.freenode.net irc.freenode.net]

11:09 gildor has quit [bartol.freenode.net irc.freenode.net]

11:09 fremo has quit [bartol.freenode.net irc.freenode.net]

11:09 jlouis has quit [bartol.freenode.net irc.freenode.net]

11:10 bluestorm has joined #ocaml

11:10 authentic has joined #ocaml

11:10 sramsay has joined #ocaml

11:10 Narrenschiff has joined #ocaml

11:10 hkBst has joined #ocaml

11:10 eevar2 has joined #ocaml

11:10 smimou has joined #ocaml

11:10 willb has joined #ocaml

11:10 Amorphous has joined #ocaml

11:10 mfp_ has joined #ocaml

11:10 peddie has joined #ocaml

11:10 easy4 has joined #ocaml

11:10 r0bby has joined #ocaml

11:10 noj has joined #ocaml

11:10 maskd has joined #ocaml

11:10 qwr has joined #ocaml

11:10 caligula has joined #ocaml

11:10 whoknows has joined #ocaml

11:10 bacam has joined #ocaml

11:10 rwmjones-afk has joined #ocaml

11:10 Submarine has joined #ocaml

11:10 animist has joined #ocaml

11:10 tonyIII has joined #ocaml

11:10 kaustuv has joined #ocaml

11:10 Pepe_ has joined #ocaml

11:10 TaXules has joined #ocaml

11:10 Demitar has joined #ocaml

11:10 schme has joined #ocaml

11:10 ozzloy has joined #ocaml

11:10 cmeme has joined #ocaml

11:10 bohanlon has joined #ocaml

11:10 Camarade_Tux has joined #ocaml

11:10 wysek has joined #ocaml

11:10 jonafan has joined #ocaml

11:10 deavid has joined #ocaml

11:10 holgr has joined #ocaml

11:10 brendan has joined #ocaml

11:10 munga has joined #ocaml

11:10 lanaer has joined #ocaml

11:10 poucet has joined #ocaml

11:10 nimred has joined #ocaml

11:10 anders^^ has joined #ocaml

11:10 erickt has joined #ocaml

11:10 svenl has joined #ocaml

11:10 tarbo2 has joined #ocaml

11:10 sbok has joined #ocaml

11:10 mbishop has joined #ocaml

11:10 tsuyoshi has joined #ocaml

11:10 gildor has joined #ocaml

11:10 aij_ has joined #ocaml

11:10 bartiosze has joined #ocaml

11:10 mellum has joined #ocaml

11:10 prigaux has joined #ocaml

11:10 Asmadeus has joined #ocaml

11:10 ertai has joined #ocaml

11:10 fremo has joined #ocaml

11:10 jlouis has joined #ocaml

11:15 poucet has quit [bartol.freenode.net irc.freenode.net]

11:15 nimred has quit [bartol.freenode.net irc.freenode.net]

11:15 anders^^ has quit [bartol.freenode.net irc.freenode.net]

11:15 willb has quit [bartol.freenode.net irc.freenode.net]

11:15 rwmjones-afk has quit [bartol.freenode.net irc.freenode.net]

11:15 lanaer has quit [bartol.freenode.net irc.freenode.net]

11:15 lanaer has joined #ocaml

11:16 willb has joined #ocaml

11:16 rwmjones-afk has joined #ocaml

11:17 poucet has joined #ocaml

11:17 anders^^ has joined #ocaml

11:17 nimred has joined #ocaml

11:24 Submarine has quit [bartol.freenode.net irc.freenode.net]

11:24 sramsay has quit [bartol.freenode.net irc.freenode.net]

11:24 Submarine has joined #ocaml

11:24 sramsay has joined #ocaml

11:25 maskd has quit [bartol.freenode.net irc.freenode.net]

11:25 qwr has quit [bartol.freenode.net irc.freenode.net]

11:25 noj has quit [bartol.freenode.net irc.freenode.net]

11:25 caligula has quit [bartol.freenode.net irc.freenode.net]

11:25 Demitar has quit [bartol.freenode.net irc.freenode.net]

11:25 sramsay has quit [bartol.freenode.net irc.freenode.net]

11:25 Submarine has quit [bartol.freenode.net irc.freenode.net]

11:25 anders^^ has quit [bartol.freenode.net irc.freenode.net]

11:25 willb has quit [bartol.freenode.net irc.freenode.net]

11:25 wysek has quit [bartol.freenode.net irc.freenode.net]

11:25 schme has quit [bartol.freenode.net irc.freenode.net]

11:25 bohanlon has quit [bartol.freenode.net irc.freenode.net]

11:25 authentic has quit [bartol.freenode.net irc.freenode.net]

11:25 Camarade_Tux has quit [bartol.freenode.net irc.freenode.net]

11:25 nimred has quit [bartol.freenode.net irc.freenode.net]

11:25 kaustuv has quit [bartol.freenode.net irc.freenode.net]

11:25 whoknows has quit [bartol.freenode.net irc.freenode.net]

11:25 bluestorm has quit [bartol.freenode.net irc.freenode.net]

11:25 sbok has quit [bartol.freenode.net irc.freenode.net]

11:25 munga has quit [bartol.freenode.net irc.freenode.net]

11:25 hkBst has quit [bartol.freenode.net irc.freenode.net]

11:25 bartiosze has quit [bartol.freenode.net irc.freenode.net]

11:25 cmeme has quit [bartol.freenode.net irc.freenode.net]

11:25 mellum has quit [bartol.freenode.net irc.freenode.net]

11:25 deavid has quit [bartol.freenode.net irc.freenode.net]

11:25 bacam has quit [bartol.freenode.net irc.freenode.net]

11:25 holgr has quit [bartol.freenode.net irc.freenode.net]

11:25 Narrenschiff has quit [bartol.freenode.net irc.freenode.net]

11:25 animist has quit [bartol.freenode.net irc.freenode.net]

11:25 svenl has quit [bartol.freenode.net irc.freenode.net]

11:25 Amorphous has quit [bartol.freenode.net irc.freenode.net]

11:25 rwmjones-afk has quit [bartol.freenode.net irc.freenode.net]

11:25 prigaux has quit [bartol.freenode.net irc.freenode.net]

11:25 TaXules has quit [bartol.freenode.net irc.freenode.net]

11:25 ertai has quit [bartol.freenode.net irc.freenode.net]

11:25 aij_ has quit [bartol.freenode.net irc.freenode.net]

11:25 easy4 has quit [bartol.freenode.net irc.freenode.net]

11:25 Asmadeus has quit [bartol.freenode.net irc.freenode.net]

11:25 mfp_ has quit [bartol.freenode.net irc.freenode.net]

11:25 brendan has quit [bartol.freenode.net irc.freenode.net]

11:25 tsuyoshi has quit [bartol.freenode.net irc.freenode.net]

11:25 mbishop has quit [bartol.freenode.net irc.freenode.net]

11:25 tarbo2 has quit [bartol.freenode.net irc.freenode.net]

11:25 gildor has quit [bartol.freenode.net irc.freenode.net]

11:25 tonyIII has quit [bartol.freenode.net irc.freenode.net]

11:25 eevar2 has quit [bartol.freenode.net irc.freenode.net]

11:25 fremo has quit [bartol.freenode.net irc.freenode.net]

11:25 jonafan has quit [bartol.freenode.net irc.freenode.net]

11:25 erickt has quit [bartol.freenode.net irc.freenode.net]

11:25 ozzloy has quit [bartol.freenode.net irc.freenode.net]

11:25 smimou has quit [bartol.freenode.net irc.freenode.net]

11:25 jlouis has quit [bartol.freenode.net irc.freenode.net]

11:25 peddie has quit [bartol.freenode.net irc.freenode.net]

11:25 Pepe_ has quit [bartol.freenode.net irc.freenode.net]

11:25 r0bby has quit [bartol.freenode.net irc.freenode.net]

11:26 sramsay has joined #ocaml

11:26 Submarine has joined #ocaml

11:26 nimred has joined #ocaml

11:26 anders^^ has joined #ocaml

11:26 rwmjones-afk has joined #ocaml

11:26 willb has joined #ocaml

11:26 bluestorm has joined #ocaml

11:26 authentic has joined #ocaml

11:26 Narrenschiff has joined #ocaml

11:26 hkBst has joined #ocaml

11:26 eevar2 has joined #ocaml

11:26 smimou has joined #ocaml

11:26 Amorphous has joined #ocaml

11:26 mfp_ has joined #ocaml

11:26 peddie has joined #ocaml

11:26 easy4 has joined #ocaml

11:26 r0bby has joined #ocaml

11:26 noj has joined #ocaml

11:26 maskd has joined #ocaml

11:26 qwr has joined #ocaml

11:26 caligula has joined #ocaml

11:26 whoknows has joined #ocaml

11:26 bacam has joined #ocaml

11:26 animist has joined #ocaml

11:26 tonyIII has joined #ocaml

11:26 kaustuv has joined #ocaml

11:26 Pepe_ has joined #ocaml

11:26 TaXules has joined #ocaml

11:26 Demitar has joined #ocaml

11:26 schme has joined #ocaml

11:26 ozzloy has joined #ocaml

11:26 cmeme has joined #ocaml

11:26 bohanlon has joined #ocaml

11:26 Camarade_Tux has joined #ocaml

11:26 wysek has joined #ocaml

11:26 jonafan has joined #ocaml

11:26 deavid has joined #ocaml

11:26 holgr has joined #ocaml

11:26 brendan has joined #ocaml

11:26 munga has joined #ocaml

11:26 erickt has joined #ocaml

11:26 svenl has joined #ocaml

11:26 tarbo2 has joined #ocaml

11:26 sbok has joined #ocaml

11:26 mbishop has joined #ocaml

11:26 tsuyoshi has joined #ocaml

11:26 gildor has joined #ocaml

11:26 aij_ has joined #ocaml

11:26 bartiosze has joined #ocaml

11:26 mellum has joined #ocaml

11:26 prigaux has joined #ocaml

11:26 Asmadeus has joined #ocaml

11:26 ertai has joined #ocaml

11:26 fremo has joined #ocaml

11:26 jlouis has joined #ocaml

11:38 Submarine has quit [Client Quit]

11:47 smimou has quit ["bli"]

12:01 maskd has quit [bartol.freenode.net irc.freenode.net]

12:01 qwr has quit [bartol.freenode.net irc.freenode.net]

12:01 noj has quit [bartol.freenode.net irc.freenode.net]

12:01 caligula has quit [bartol.freenode.net irc.freenode.net]

12:02 sgnb has quit [Read error: 60 (Operation timed out)]

12:03 caligula has joined #ocaml

12:03 qwr has joined #ocaml

12:03 maskd has joined #ocaml

12:03 noj has joined #ocaml

12:03 sgnb` has joined #ocaml

12:05 buzz0r_ has quit ["Ex-Chat"]

12:09 maskd has quit [bartol.freenode.net irc.freenode.net]

12:09 noj has quit [bartol.freenode.net irc.freenode.net]

12:09 qwr has quit [bartol.freenode.net irc.freenode.net]

12:09 caligula has quit [bartol.freenode.net irc.freenode.net]

12:10 caligula has joined #ocaml

12:10 qwr has joined #ocaml

12:10 maskd has joined #ocaml

12:10 noj has joined #ocaml

12:14 poucet has quit [bartol.freenode.net irc.freenode.net]

12:14 BiDOrD has quit [bartol.freenode.net irc.freenode.net]

12:14 verte has quit [bartol.freenode.net irc.freenode.net]

12:14 Ori_B has quit [bartol.freenode.net irc.freenode.net]

12:14 bernardofpc has quit [bartol.freenode.net irc.freenode.net]

12:14 maskd has quit [bartol.freenode.net irc.freenode.net]

12:14 noj has quit [bartol.freenode.net irc.freenode.net]

12:14 qwr has quit [bartol.freenode.net irc.freenode.net]

12:14 caligula has quit [bartol.freenode.net irc.freenode.net]

12:16 caligula has joined #ocaml

12:16 qwr has joined #ocaml

12:16 maskd has joined #ocaml

12:16 noj has joined #ocaml

12:16 poucet has joined #ocaml

12:16 BiDOrD has joined #ocaml

12:16 verte has joined #ocaml

12:16 Ori_B has joined #ocaml

12:16 bernardofpc has joined #ocaml

12:16 maskd has quit [bartol.freenode.net irc.freenode.net]

12:16 noj has quit [bartol.freenode.net irc.freenode.net]

12:16 qwr has quit [bartol.freenode.net irc.freenode.net]

12:16 caligula has quit [bartol.freenode.net irc.freenode.net]

12:16 caligula has joined #ocaml

12:16 qwr_ has joined #ocaml

12:23 _zack has joined #ocaml

12:23 julm_ has joined #ocaml

12:24 julm_ is now known as julm

12:27 maskd has joined #ocaml

12:28 _andre has joined #ocaml

12:50 bluestorm has quit ["Leaving"]

12:55 Demitar has quit ["Ex-Chat"]

13:05 marteo has quit [Read error: 145 (Connection timed out)]

13:08 _zack has quit [bartol.freenode.net irc.freenode.net]

13:08 sramsay has quit [bartol.freenode.net irc.freenode.net]

13:08 wysek has quit [bartol.freenode.net irc.freenode.net]

13:08 anders^^ has quit [bartol.freenode.net irc.freenode.net]

13:08 schme has quit [bartol.freenode.net irc.freenode.net]

13:08 willb has quit [bartol.freenode.net irc.freenode.net]

13:08 bohanlon has quit [bartol.freenode.net irc.freenode.net]

13:08 authentic has quit [bartol.freenode.net irc.freenode.net]

13:08 Camarade_Tux has quit [bartol.freenode.net irc.freenode.net]

13:08 kaustuv has quit [bartol.freenode.net irc.freenode.net]

13:08 whoknows has quit [bartol.freenode.net irc.freenode.net]

13:08 sbok has quit [bartol.freenode.net irc.freenode.net]

13:08 munga has quit [bartol.freenode.net irc.freenode.net]

13:08 nimred has quit [bartol.freenode.net irc.freenode.net]

13:08 hkBst has quit [bartol.freenode.net irc.freenode.net]

13:08 bartiosze has quit [bartol.freenode.net irc.freenode.net]

13:08 cmeme has quit [bartol.freenode.net irc.freenode.net]

13:08 mellum has quit [bartol.freenode.net irc.freenode.net]

13:08 deavid has quit [bartol.freenode.net irc.freenode.net]

13:08 bacam has quit [bartol.freenode.net irc.freenode.net]

13:08 holgr has quit [bartol.freenode.net irc.freenode.net]

13:08 Narrenschiff has quit [bartol.freenode.net irc.freenode.net]

13:08 animist has quit [bartol.freenode.net irc.freenode.net]

13:08 svenl has quit [bartol.freenode.net irc.freenode.net]

13:08 Amorphous has quit [bartol.freenode.net irc.freenode.net]

13:08 prigaux has quit [bartol.freenode.net irc.freenode.net]

13:08 TaXules has quit [bartol.freenode.net irc.freenode.net]

13:08 ertai has quit [bartol.freenode.net irc.freenode.net]

13:08 aij_ has quit [bartol.freenode.net irc.freenode.net]

13:08 easy4 has quit [bartol.freenode.net irc.freenode.net]

13:08 rwmjones-afk has quit [bartol.freenode.net irc.freenode.net]

13:08 Asmadeus has quit [bartol.freenode.net irc.freenode.net]

13:08 mfp_ has quit [bartol.freenode.net irc.freenode.net]

13:08 brendan has quit [bartol.freenode.net irc.freenode.net]

13:08 sgnb` has quit [bartol.freenode.net irc.freenode.net]

13:08 tsuyoshi has quit [bartol.freenode.net irc.freenode.net]

13:08 mbishop has quit [bartol.freenode.net irc.freenode.net]

13:08 tarbo2 has quit [bartol.freenode.net irc.freenode.net]

13:09 _andre has quit [bartol.freenode.net irc.freenode.net]

13:09 gildor has quit [bartol.freenode.net irc.freenode.net]

13:09 tonyIII has quit [bartol.freenode.net irc.freenode.net]

13:09 eevar2 has quit [bartol.freenode.net irc.freenode.net]

13:09 fremo has quit [bartol.freenode.net irc.freenode.net]

13:09 jonafan has quit [bartol.freenode.net irc.freenode.net]

13:09 erickt has quit [bartol.freenode.net irc.freenode.net]

13:09 ozzloy has quit [bartol.freenode.net irc.freenode.net]

13:09 jlouis has quit [bartol.freenode.net irc.freenode.net]

13:09 peddie has quit [bartol.freenode.net irc.freenode.net]

13:09 Pepe_ has quit [bartol.freenode.net irc.freenode.net]

13:09 r0bby has quit [bartol.freenode.net irc.freenode.net]

13:09 M| has quit [bartol.freenode.net irc.freenode.net]

13:09 flx_ has quit [bartol.freenode.net irc.freenode.net]

13:09 xevz has quit [bartol.freenode.net irc.freenode.net]

13:09 caligula has quit [bartol.freenode.net irc.freenode.net]

13:09 mishok13 has quit [bartol.freenode.net irc.freenode.net]

13:09 jimmyb2187 has quit [bartol.freenode.net irc.freenode.net]

13:09 __marius__ has quit [bartol.freenode.net irc.freenode.net]

13:09 maskd has quit [bartol.freenode.net irc.freenode.net]

13:09 bernardofpc has quit [bartol.freenode.net irc.freenode.net]

13:09 poucet has quit [bartol.freenode.net irc.freenode.net]

13:09 BiDOrD has quit [bartol.freenode.net irc.freenode.net]

13:09 Ori_B has quit [bartol.freenode.net irc.freenode.net]

13:09 verte has quit [bartol.freenode.net irc.freenode.net]

13:09 tomaw has quit [bartol.freenode.net irc.freenode.net]

13:09 julm has quit [bartol.freenode.net irc.freenode.net]

13:09 tab has quit [bartol.freenode.net irc.freenode.net]

13:09 gim has quit [bartol.freenode.net irc.freenode.net]

13:09 mehdid has quit [bartol.freenode.net irc.freenode.net]

13:09 hcarty has quit [bartol.freenode.net irc.freenode.net]

13:09 mattam has quit [bartol.freenode.net irc.freenode.net]

13:09 mal`` has quit [bartol.freenode.net irc.freenode.net]

13:09 rbancroft has quit [bartol.freenode.net irc.freenode.net]

13:09 petchema has quit [bartol.freenode.net irc.freenode.net]

13:09 raboof has quit [bartol.freenode.net irc.freenode.net]

13:09 Hadaka has quit [bartol.freenode.net irc.freenode.net]

13:09 Modius has quit [bartol.freenode.net irc.freenode.net]

13:09 Olf has quit [bartol.freenode.net irc.freenode.net]

13:09 patronus has quit [bartol.freenode.net irc.freenode.net]

13:09 qwr_ has quit [bartol.freenode.net irc.freenode.net]

13:09 ppsmimou has quit [bartol.freenode.net irc.freenode.net]

13:28 caligula has joined #ocaml

13:28 mishok13 has joined #ocaml

13:28 __marius__ has joined #ocaml

13:28 Hadaka has joined #ocaml

13:28 Modius has joined #ocaml

13:28 Olf has joined #ocaml

13:28 patronus has joined #ocaml

13:28 M| has joined #ocaml

13:28 flx_ has joined #ocaml

13:28 xevz has joined #ocaml

13:29 th5 has joined #ocaml

13:29 ppsmimou has joined #ocaml

13:29 qwr_ has joined #ocaml

13:29 mehdid has joined #ocaml

13:29 petchema has joined #ocaml

13:29 hcarty has joined #ocaml

13:29 mal`` has joined #ocaml

13:29 mattam has joined #ocaml

13:29 rbancroft has joined #ocaml

13:29 gim has joined #ocaml

13:29 raboof has joined #ocaml

13:29 tab has joined #ocaml

13:29 julm has joined #ocaml

13:29 jlouis has joined #ocaml

13:29 fremo has joined #ocaml

13:29 ertai has joined #ocaml

13:29 Asmadeus has joined #ocaml

13:29 prigaux has joined #ocaml

13:29 mellum has joined #ocaml

13:29 bartiosze has joined #ocaml

13:29 aij_ has joined #ocaml

13:29 gildor has joined #ocaml

13:29 tsuyoshi has joined #ocaml

13:29 mbishop has joined #ocaml

13:29 sbok has joined #ocaml

13:29 tarbo2 has joined #ocaml

13:29 svenl has joined #ocaml

13:29 erickt has joined #ocaml

13:29 munga has joined #ocaml

13:29 brendan has joined #ocaml

13:29 holgr has joined #ocaml

13:29 deavid has joined #ocaml

13:29 jonafan has joined #ocaml

13:29 wysek has joined #ocaml

13:29 Camarade_Tux has joined #ocaml

13:29 bohanlon has joined #ocaml

13:29 cmeme has joined #ocaml

13:29 ozzloy has joined #ocaml

13:29 schme has joined #ocaml

13:29 TaXules has joined #ocaml

13:29 Pepe_ has joined #ocaml

13:29 kaustuv has joined #ocaml

13:29 tonyIII has joined #ocaml

13:29 animist has joined #ocaml

13:29 bacam has joined #ocaml

13:29 whoknows has joined #ocaml

13:29 r0bby has joined #ocaml

13:29 easy4 has joined #ocaml

13:29 peddie has joined #ocaml

13:29 mfp_ has joined #ocaml

13:29 Amorphous has joined #ocaml

13:29 eevar2 has joined #ocaml

13:29 hkBst has joined #ocaml

13:29 Narrenschiff has joined #ocaml

13:29 authentic has joined #ocaml

13:29 willb has joined #ocaml

13:29 rwmjones-afk has joined #ocaml

13:29 anders^^ has joined #ocaml

13:29 nimred has joined #ocaml

13:29 sramsay has joined #ocaml

13:29 sgnb` has joined #ocaml

13:29 _zack has joined #ocaml

13:29 _andre has joined #ocaml

13:29 marteo has joined #ocaml

13:29 maskd has joined #ocaml

13:29 bernardofpc has joined #ocaml

13:29 Ori_B has joined #ocaml

13:29 verte has joined #ocaml

13:29 BiDOrD has joined #ocaml

13:29 poucet has joined #ocaml

13:29 tomaw has joined #ocaml

13:29 <th5> Does anyone know what the cost of inserting an element at the end of a stream is?

13:30 jimmyb2187 has joined #ocaml

13:30 deavid has quit [SendQ exceeded]

13:31 deavid has joined #ocaml

13:54 filp has quit [Connection timed out]

14:26 julm has quit [Read error: 104 (Connection reset by peer)]

14:26 julm has joined #ocaml

14:46 whoknows has quit [Read error: 104 (Connection reset by peer)]

14:55 julm_ has joined #ocaml

15:03 Narrenschiff_ has joined #ocaml

15:04 julm has quit [Read error: 110 (Connection timed out)]

15:07 eevar2 has quit ["This computer has gone to sleep"]

15:09 amuck_ has joined #ocaml

15:13 _zack has quit ["Leaving."]

15:20 Narrenschiff has quit [Read error: 110 (Connection timed out)]

15:21 Elive_user7_fr has joined #ocaml

15:22 marteo has quit [Read error: 110 (Connection timed out)]

15:23 rwmjones has joined #ocaml

15:40 filp has joined #ocaml

15:44 thelema has joined #ocaml

15:45 bluestorm has joined #ocaml

15:49 Elive_user7_fr is now known as marteo

15:51 _zack has joined #ocaml

15:54 <thelema> java

15:54 <thelema> grr, need to set mouse focus

15:54 <thelema> hi all.

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

15:57 <Camarade_Tux> hi thelema :)

15:58 <thelema> I've just got my computer set up at MSU

16:00 smimou has joined #ocaml

16:00 <thelema> what've I missed in my offline time?

16:01 <Camarade_Tux> the channel has been pretty dead for the past 10-14 days

16:01 <Camarade_Tux> and /me taking a plane soon

16:02 <thelema> enjoy your trip

16:02 <Camarade_Tux> thanks :)

16:10 th5 has quit []

16:10 lutter has joined #ocaml

16:14 rwmjones has quit ["Leaving"]

16:21 julm has joined #ocaml

16:22 Narrenschiff_ has quit [Read error: 110 (Connection timed out)]

16:30 Demitar has joined #ocaml

16:33 filp has quit ["Bye"]

16:35 smimou has quit [Remote closed the connection]

16:35 julm has quit [Read error: 104 (Connection reset by peer)]

16:35 julm has joined #ocaml

16:39 smimou has joined #ocaml

16:39 julm_ has quit [Read error: 110 (Connection timed out)]

16:42 julm_ has joined #ocaml

16:42 julm has quit [Read error: 104 (Connection reset by peer)]

16:43 palomer has joined #ocaml

16:49 <palomer> :O

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

16:51 <palomer> who wants to try a funky programming language?

16:52 <palomer> I'm about to release it to the wild and I'd like a tiny bit of feedback before

16:53 <thelema> palomer: sure, if there's a linux version

16:54 <palomer> of course!

16:55 <palomer> http://sites.google.com/site/rathereasy/eastwest

16:56 * thelema installs dependencies

16:58 <thelema> I see the crazy language.

16:58 * thelema would prefer the basics of a text editor with some extensions

16:58 <thelema> not putting text into boxes

16:59 <palomer> you have a point

16:59 <thelema> things popping up as I type

16:59 <palomer> but this language lets you have however-fix function names

17:00 <thelema> more like incremental parsing

17:02 * thelema hopes oset doesn't have lots of dependencies

17:02 <palomer> erm, it does

17:02 <palomer> well, sdl

17:03 * thelema hopes those are already in ubuntu

17:03 <thelema> brb

17:04 <palomer> it is

17:06 <thelema> yay aptitude

17:06 willb has joined #ocaml

17:07 smimou has quit ["bli"]

17:08 verte has quit ["~~~ Crash in JIT!"]

17:09 <palomer> what's your version of ocaml?

17:09 <thelema> 3.10.2

17:09 bluestorm has quit ["Leaving"]

17:12 smimou has joined #ocaml

17:12 julm has joined #ocaml

17:15 <palomer> hey julm

17:23 naufraghi has joined #ocaml

17:23 julm_ has quit [Read error: 110 (Connection timed out)]

17:25 mishok13 has quit ["Stopping IRC chat... [OK]"]

17:26 <palomer> well...

17:26 <palomer> I'm off

17:26 <palomer> to eat

17:26 <palomer> be back tomorrow

17:26 <thelema> palomer: ok, is running. I'll try it and get back to you

17:26 <palomer> try the tutorial

17:26 <palomer> if you have any additions/comments/questions, please let me know!

17:27 <thelema> ok

17:27 <palomer> cyas

17:27 palomer has quit ["Leaving"]

17:40 Narrenschiff has joined #ocaml

17:41 thelema has quit ["brb"]

17:45 julm_ has joined #ocaml

17:45 julm has quit [Read error: 54 (Connection reset by peer)]

17:51 julm_ is now known as julm

18:14 ulfdoz has joined #ocaml

18:15 Narrenschiff_ has joined #ocaml

18:19 naufraghi has left #ocaml []

18:19 naufraghi has joined #ocaml

18:19 naufraghi has left #ocaml []

18:19 Cromulent has joined #ocaml

18:20 Cromulent has quit [Remote closed the connection]

18:22 Narrenschiff has quit [Read error: 110 (Connection timed out)]

18:31 slash_ has joined #ocaml

19:48 jeddhaberstro has joined #ocaml

20:19 peddie_ has joined #ocaml

20:30 peddie has quit [Read error: 110 (Connection timed out)]

20:31 _andre has quit ["*puff*"]

20:37 hcarty has quit [Read error: 104 (Connection reset by peer)]

21:20 marteo has quit [Read error: 145 (Connection timed out)]

21:24 jimmyb2187 has left #ocaml []

21:29 marteo has joined #ocaml

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

21:47 Narrenschiff_ has quit [Connection reset by peer]

22:30 amuck__ has joined #ocaml

22:30 amuck__ has quit [Remote closed the connection]

22:39 willb has quit [Read error: 110 (Connection timed out)]

22:46 amuck_ has quit [Read error: 110 (Connection timed out)]

22:51 sramsay has quit ["Leaving"]

22:58 kaustuv has quit ["ERC Version 5.3 (IRC client for Emacs)"]

23:01 kaustuv has joined #ocaml

23:13 psnively has joined #ocaml

23:13 psnively has quit [Remote closed the connection]

23:13 psnively has joined #ocaml

23:14 psnively has left #ocaml []

23:23 seafood has joined #ocaml

23:27 seafood_ has joined #ocaml

23:44 seafood has quit [Connection timed out]

23:46 psnively has joined #ocaml

23:46 seafood_ has quit []

23:52 seafood has joined #ocaml

23:54 marteo has quit ["Debian GNU/Hurd is Good."]