#ocaml on 2010-04-26 — irc logs at freenode.irclog.whitequark.org

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

00:02 elehack has joined #ocaml

00:44 _unK has quit [Remote host closed the connection]

00:47 sshc has joined #ocaml

00:47 thrasibule has joined #ocaml

00:54 drk-sd has quit [Quit: foo]

01:05 cgrubb has joined #ocaml

01:18 M|_ has joined #ocaml

01:22 M| has quit [Read error: Connection reset by peer]

01:22 M|_ has quit [Read error: Connection reset by peer]

01:24 M| has joined #ocaml

01:24 M|_ has joined #ocaml

01:24 M| has quit [Client Quit]

01:25 M|_ has quit [Read error: Connection reset by peer]

01:29 M| has joined #ocaml

01:35 cgrubb has quit [Quit: cgrubb]

01:43 cgrubb has joined #ocaml

01:46 valross has quit [Remote host closed the connection]

01:59 elehack has quit [Quit: Goodbye...]

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

02:20 Shoggoth has joined #ocaml

02:34 joewilliams_away is now known as joewilliams

02:41 enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]

02:42 Morphous has quit [Ping timeout: 265 seconds]

02:51 seg_ has joined #ocaml

02:52 segmond has quit [Read error: Connection reset by peer]

02:59 Morphous has joined #ocaml

03:04 seg_ is now known as segmond

03:10 Associat0r has quit [Quit: Associat0r]

03:17 onigiri__ has joined #ocaml

03:20 onigiri_ has quit [Ping timeout: 265 seconds]

03:22 joewilliams is now known as joewilliams_away

03:32 joewilliams_away is now known as joewilliams

03:41 sshc has quit [Quit: leaving]

03:44 enthymeme has joined #ocaml

04:21 bacam has quit [Read error: No route to host]

04:35 cgrubb has quit [Quit: cgrubb]

04:43 ulfdoz has joined #ocaml

04:48 thrasibule has quit [Ping timeout: 240 seconds]

04:49 myu2 has joined #ocaml

04:49 cgrubb has joined #ocaml

04:55 struktured has quit [Ping timeout: 276 seconds]

05:02 segmond has quit [Read error: Connection reset by peer]

05:02 seg_ has joined #ocaml

05:13 joewilliams is now known as joewilliams_away

05:50 cgrubb has quit [Quit: cgrubb]

06:00 myu2_ has joined #ocaml

06:01 myu2 has quit [Ping timeout: 260 seconds]

06:18 ftrvxmtrx has quit [Quit: Leaving]

06:22 Yoric has joined #ocaml

06:23 wormphlegm has quit [Quit: bye]

06:44 enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]

06:45 drk-sd has joined #ocaml

06:46 ygrek has joined #ocaml

06:52 ttamttam has joined #ocaml

07:00 drk-sd has quit [Quit: foo]

07:00 myu2_ has quit [Remote host closed the connection]

07:02 myu2 has joined #ocaml

07:07 Yoric has quit [Quit: Yoric]

07:16 myu2 has quit [Remote host closed the connection]

07:19 myu2 has joined #ocaml

07:27 f[x] has joined #ocaml

07:28 Submarine has quit [Ping timeout: 276 seconds]

07:30 barismetin has joined #ocaml

07:30 barismetin has quit [Changing host]

07:30 barismetin has joined #ocaml

07:44 jsk1 has left #ocaml []

07:44 jsk has joined #ocaml

07:48 Shoggoth has quit [Quit: Ex-Chat]

07:49 Shoggoth has joined #ocaml

07:53 Yoric has joined #ocaml

07:56 th5 has joined #ocaml

07:59 drk-sd has joined #ocaml

08:00 bacam has joined #ocaml

08:01 dark has joined #ocaml

08:04 drk-sd has quit [Client Quit]

08:05 munga_ has joined #ocaml

08:15 ikaros has joined #ocaml

08:23 seg_ has quit [Quit: Leaving]

08:35 rbancroft has quit [Ping timeout: 276 seconds]

08:35 sidolin has quit [Ping timeout: 276 seconds]

08:35 rbancroft has joined #ocaml

08:35 sidolin has joined #ocaml

08:40 drk-sd has joined #ocaml

08:43 pimmhogeling has joined #ocaml

08:44 myu2 has quit [Remote host closed the connection]

08:44 pikachuyann has joined #ocaml

08:48 pikachuyann has quit [Remote host closed the connection]

08:48 pikachuyann has joined #ocaml

08:52 pikachuyann has quit [Remote host closed the connection]

08:53 pikachuyann has joined #ocaml

08:55 drk-sd has quit [Quit: merci asmanur]

08:57 pikachuyann has quit [Remote host closed the connection]

08:57 pikachuyann has joined #ocaml

08:58 ikaros has quit [Quit: Leave the magic to Houdini]

09:00 ikaros has joined #ocaml

09:02 pikachuyann has quit [Ping timeout: 268 seconds]

09:05 myu2 has joined #ocaml

09:05 pikachuyann has joined #ocaml

09:07 pikachuyann has quit [Read error: Operation timed out]

09:10 pikachuyann has joined #ocaml

09:14 pikachuyann has quit [Ping timeout: 252 seconds]

09:16 pikachuyann has joined #ocaml

09:20 pikachuyann has quit [Ping timeout: 252 seconds]

09:20 pikachuyann has joined #ocaml

09:22 pikachuyann has quit [Read error: Operation timed out]

09:25 pikachuyann has joined #ocaml

09:26 pikachuyann has quit [Read error: Operation timed out]

09:29 pikachuyann has joined #ocaml

09:32 f[x] has quit [Ping timeout: 248 seconds]

09:33 f[x] has joined #ocaml

09:33 pikachuyann has quit [Ping timeout: 240 seconds]

09:34 pikachuyann has joined #ocaml

09:38 Shoggoth has quit [Quit: Ex-Chat]

09:42 munga__ has joined #ocaml

09:43 drk-sd has joined #ocaml

09:46 Shoggoth has joined #ocaml

09:57 drk-sd has quit [Quit: bar]

09:58 pimmhogeling has quit [Remote host closed the connection]

10:11 ikaros has quit [Quit: Leave the magic to Houdini]

10:22 drk-sd has joined #ocaml

10:27 sepp2k has joined #ocaml

10:28 Shoggoth has quit [Quit: Ex-Chat]

10:45 f[x] has quit [Ping timeout: 260 seconds]

10:46 f[x] has joined #ocaml

10:48 myu2 has quit [Read error: Connection reset by peer]

10:48 _andre has joined #ocaml

10:48 myu2 has joined #ocaml

10:51 Narrenschiff has joined #ocaml

11:03 munga__ has quit [Ping timeout: 248 seconds]

11:04 munga_ has quit [Ping timeout: 276 seconds]

11:05 avsm has joined #ocaml

11:13 drk-sd has quit [Quit: {'EXIT', drk-sd, "bye"}]

11:16 rwmjones is now known as rwmjones-lunch

11:20 onigiri_ has joined #ocaml

11:20 onigiri__ has quit [Ping timeout: 265 seconds]

11:32 ikaros has joined #ocaml

11:37 ftrvxmtrx has joined #ocaml

11:38 drk-sd has joined #ocaml

11:56 ikaros has quit [Quit: Leave the magic to Houdini]

11:57 <munga> do you know an ocaml friendly way to validate an xml doc with a relaxng (rnc) spec ?

12:04 rwmjones-lunch is now known as rwmjones

12:04 lvillani has joined #ocaml

12:08 drk-sd has quit [Quit: {'EXIT', drk-sd, "bye"}]

12:09 drk-sd has joined #ocaml

12:14 ikaros has joined #ocaml

12:16 spearalot has joined #ocaml

12:24 Associat0r has joined #ocaml

12:37 drk-sd has quit [Quit: foo]

12:40 struktured has joined #ocaml

12:45 myu2_ has joined #ocaml

12:49 myu2 has quit [Ping timeout: 258 seconds]

12:53 myu2_ has quit [Remote host closed the connection]

12:53 drk-sd has joined #ocaml

12:56 myu2 has joined #ocaml

12:57 ikaros has quit [Quit: Leave the magic to Houdini]

12:59 kaustuv has joined #ocaml

13:06 myu2 has quit [Remote host closed the connection]

13:08 lvillani has quit [Ping timeout: 248 seconds]

13:17 drk-sd has quit [Quit: THUG AIM ITZ TEH MEAT OF KINGZ]

13:23 bzzbzz has joined #ocaml

13:30 fraggle_laptop has joined #ocaml

13:31 struktured has quit [Ping timeout: 248 seconds]

13:41 fraggle_laptop has quit [Ping timeout: 240 seconds]

13:42 avsm has quit [Quit: Leaving.]

13:48 fraggle_laptop has joined #ocaml

13:54 cgrubb has joined #ocaml

14:05 jsk is now known as jsk-afk

14:08 joewilliams_away is now known as joewilliams

14:10 boscop has joined #ocaml

14:14 <gildor> munga: maybe take a look at galax... (but I think it is about XML Schema)

14:19 derdon has joined #ocaml

14:31 avsm has joined #ocaml

14:35 Shoggoth has joined #ocaml

14:41 f[x] has quit [Ping timeout: 268 seconds]

14:45 krankkatze has joined #ocaml

14:45 pikachuyann has quit [Remote host closed the connection]

14:48 f[x] has joined #ocaml

15:02 f[x] has quit [Ping timeout: 276 seconds]

15:07 f[x] has joined #ocaml

15:07 ccasin has joined #ocaml

15:10 drk-sd has joined #ocaml

15:11 grettke has joined #ocaml

15:16 avsm has quit [Ping timeout: 264 seconds]

15:18 Leonidas has quit [Ping timeout: 252 seconds]

15:18 dark has quit [Quit: Leaving]

15:21 avsm has joined #ocaml

15:23 Leonidas has joined #ocaml

15:24 spearalot has quit [Quit: -arividerchi]

15:28 Leonidas has quit [Ping timeout: 276 seconds]

15:31 sshc has joined #ocaml

15:32 kriko has joined #ocaml

15:34 Leonidas has joined #ocaml

15:41 avsm has quit [*.net *.split]

15:41 Tianon has quit [*.net *.split]

15:41 orbitz has quit [*.net *.split]

15:41 brendan has quit [*.net *.split]

15:41 nimred has quit [*.net *.split]

15:41 mehdid has quit [*.net *.split]

15:41 goncalo has quit [*.net *.split]

15:41 fabjan has quit [*.net *.split]

15:41 jsk-afk has quit [*.net *.split]

15:41 ulfdoz has quit [*.net *.split]

15:41 jakedouglas has quit [*.net *.split]

15:41 jonathandav has quit [*.net *.split]

15:41 bzzbzz has quit [*.net *.split]

15:41 Narrenschiff has quit [*.net *.split]

15:41 Morphous has quit [*.net *.split]

15:41 jimmyb2187 has quit [*.net *.split]

15:41 silas has quit [*.net *.split]

15:41 mattam has quit [*.net *.split]

15:41 flux has quit [*.net *.split]

15:41 grettke has quit [*.net *.split]

15:41 _andre has quit [*.net *.split]

15:41 maattd has quit [*.net *.split]

15:41 Asmadeus has quit [*.net *.split]

15:41 schme has quit [*.net *.split]

15:41 Pepe_ has quit [*.net *.split]

15:41 sshc has quit [*.net *.split]

15:41 mbishop has quit [*.net *.split]

15:41 _zack has quit [*.net *.split]

15:41 thelema has quit [*.net *.split]

15:41 svenl has quit [*.net *.split]

15:41 TaXules has quit [*.net *.split]

15:41 noj has quit [*.net *.split]

15:41 haelix has quit [*.net *.split]

15:41 hugin has quit [*.net *.split]

15:41 nejimban has quit [*.net *.split]

15:41 drk-sd has quit [*.net *.split]

15:41 ccasin has quit [*.net *.split]

15:41 boscop has quit [*.net *.split]

15:41 komar_ has quit [*.net *.split]

15:41 munga has quit [*.net *.split]

15:41 srcerer has quit [*.net *.split]

15:41 companion_cube has quit [*.net *.split]

15:41 derdon has quit [*.net *.split]

15:41 ftrvxmtrx has quit [*.net *.split]

15:41 Yoric has quit [*.net *.split]

15:41 joewilliams has quit [*.net *.split]

15:41 patronus has quit [*.net *.split]

15:41 aij has quit [*.net *.split]

15:41 rbancroft has quit [*.net *.split]

15:41 gildor has quit [*.net *.split]

15:41 Jedai has quit [*.net *.split]

15:41 kaustuv has quit [*.net *.split]

15:41 mutew has quit [*.net *.split]

15:41 julm has quit [*.net *.split]

15:41 hyperboreean has quit [*.net *.split]

15:41 infoe has quit [*.net *.split]

15:41 Leonidas has quit [*.net *.split]

15:41 Shoggoth has quit [*.net *.split]

15:41 sidolin has quit [*.net *.split]

15:41 zhijie has quit [*.net *.split]

15:41 caligula__ has quit [*.net *.split]

15:41 eldragon has quit [*.net *.split]

15:41 Associat0r has quit [*.net *.split]

15:41 onigiri_ has quit [*.net *.split]

15:41 ygrek has quit [*.net *.split]

15:41 adrien has quit [*.net *.split]

15:41 mfp has quit [*.net *.split]

15:41 rwmjones has quit [*.net *.split]

15:41 mal`` has quit [*.net *.split]

15:41 ski has quit [*.net *.split]

15:41 krankkatze has quit [*.net *.split]

15:41 smimou has quit [*.net *.split]

15:41 thieusoai has quit [*.net *.split]

15:41 thomasga has quit [*.net *.split]

15:41 mlh has quit [*.net *.split]

15:41 msteele has quit [*.net *.split]

15:42 kriko has quit [*.net *.split]

15:42 fraggle_laptop has quit [*.net *.split]

15:42 ttamttam has quit [*.net *.split]

15:42 M| has quit [*.net *.split]

15:42 olegfink has quit [*.net *.split]

15:42 fraggle_ has quit [*.net *.split]

15:42 josswr has quit [*.net *.split]

15:42 jlouis has quit [*.net *.split]

15:42 bitbckt has quit [*.net *.split]

15:42 emias has quit [*.net *.split]

15:42 barismetin has quit [*.net *.split]

15:42 alpounet has quit [*.net *.split]

15:42 det has quit [*.net *.split]

15:42 Mr_Awesome has quit [*.net *.split]

15:42 diml has quit [*.net *.split]

15:42 cgrubb has quit [*.net *.split]

15:42 bacam has quit [*.net *.split]

15:42 th5 has quit [*.net *.split]

15:42 jonafan_ has quit [*.net *.split]

15:42 hcarty has quit [*.net *.split]

15:42 f[x] has quit [*.net *.split]

15:42 npouillard has quit [*.net *.split]

15:42 willb has quit [*.net *.split]

15:42 aavogt has quit [*.net *.split]

15:43 Leonidas has joined #ocaml

15:43 kriko has joined #ocaml

15:43 sshc has joined #ocaml

15:43 avsm has joined #ocaml

15:43 grettke has joined #ocaml

15:43 drk-sd has joined #ocaml

15:43 ccasin has joined #ocaml

15:43 f[x] has joined #ocaml

15:43 krankkatze has joined #ocaml

15:43 Shoggoth has joined #ocaml

15:43 derdon has joined #ocaml

15:43 boscop has joined #ocaml

15:43 cgrubb has joined #ocaml

15:43 fraggle_laptop has joined #ocaml

15:43 bzzbzz has joined #ocaml

15:43 kaustuv has joined #ocaml

15:43 Associat0r has joined #ocaml

15:43 ftrvxmtrx has joined #ocaml

15:43 onigiri_ has joined #ocaml

15:43 Narrenschiff has joined #ocaml

15:43 _andre has joined #ocaml

15:43 sidolin has joined #ocaml

15:43 rbancroft has joined #ocaml

15:43 bacam has joined #ocaml

15:43 th5 has joined #ocaml

15:43 Yoric has joined #ocaml

15:43 jsk-afk has joined #ocaml

15:43 barismetin has joined #ocaml

15:43 ttamttam has joined #ocaml

15:43 ygrek has joined #ocaml

15:43 ulfdoz has joined #ocaml

15:43 Morphous has joined #ocaml

15:43 M| has joined #ocaml

15:43 smimou has joined #ocaml

15:43 komar_ has joined #ocaml

15:43 thieusoai has joined #ocaml

15:43 jakedouglas has joined #ocaml

15:43 olegfink has joined #ocaml

15:43 adrien has joined #ocaml

15:43 alpounet has joined #ocaml

15:43 fraggle_ has joined #ocaml

15:43 mbishop has joined #ocaml

15:43 jimmyb2187 has joined #ocaml

15:43 maattd has joined #ocaml

15:43 jonafan_ has joined #ocaml

15:43 gildor has joined #ocaml

15:43 jonathandav has joined #ocaml

15:43 silas has joined #ocaml

15:43 hcarty has joined #ocaml

15:43 det has joined #ocaml

15:43 joewilliams has joined #ocaml

15:43 Asmadeus has joined #ocaml

15:43 mfp has joined #ocaml

15:43 munga has joined #ocaml

15:43 nimred has joined #ocaml

15:43 brendan has joined #ocaml

15:43 orbitz has joined #ocaml

15:43 Tianon has joined #ocaml

15:43 rwmjones has joined #ocaml

15:43 npouillard has joined #ocaml

15:43 fabjan has joined #ocaml

15:43 goncalo has joined #ocaml

15:43 mehdid has joined #ocaml

15:43 mutew has joined #ocaml

15:43 Mr_Awesome has joined #ocaml

15:43 schme has joined #ocaml

15:43 josswr has joined #ocaml

15:43 julm has joined #ocaml

15:43 Jedai has joined #ocaml

15:43 zhijie has joined #ocaml

15:43 thomasga has joined #ocaml

15:43 hyperboreean has joined #ocaml

15:43 Pepe_ has joined #ocaml

15:43 mal`` has joined #ocaml

15:43 willb has joined #ocaml

15:43 patronus has joined #ocaml

15:43 _zack has joined #ocaml

15:43 mlh has joined #ocaml

15:43 aij has joined #ocaml

15:43 ski has joined #ocaml

15:43 caligula__ has joined #ocaml

15:43 srcerer has joined #ocaml

15:43 thelema has joined #ocaml

15:43 svenl has joined #ocaml

15:43 hugin has joined #ocaml

15:43 nejimban has joined #ocaml

15:43 noj has joined #ocaml

15:43 haelix has joined #ocaml

15:43 flux has joined #ocaml

15:43 TaXules has joined #ocaml

15:43 mattam has joined #ocaml

15:43 infoe has joined #ocaml

15:43 msteele has joined #ocaml

15:43 eldragon has joined #ocaml

15:43 companion_cube has joined #ocaml

15:43 aavogt has joined #ocaml

15:43 jlouis has joined #ocaml

15:43 diml has joined #ocaml

15:43 emias has joined #ocaml

15:43 bitbckt has joined #ocaml

15:55 barismetin has quit [Quit: Leaving...]

15:56 <kaustuv> Why is omake filling my /tmp with files named omake<blah>.divert? Is this normal?

15:59 th5 has quit [Quit: th5]

15:59 cgrubb has quit [Quit: cgrubb]

16:07 kaustuv has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]

16:12 kriko has quit [Remote host closed the connection]

16:13 Shoggoth has quit [Quit: Ex-Chat]

16:13 f[x] has quit [Ping timeout: 260 seconds]

16:14 Shoggoth has joined #ocaml

16:16 avsm has quit [Quit: Leaving.]

16:20 ulfdoz_ has joined #ocaml

16:24 ulfdoz has quit [Ping timeout: 240 seconds]

16:27 sepp2k has quit [Remote host closed the connection]

16:31 lvillani has joined #ocaml

16:37 ttamttam has quit [Quit: Leaving.]

17:01 kriko has joined #ocaml

17:02 philed has joined #ocaml

17:03 Submarine has joined #ocaml

17:04 Submarine has quit [Remote host closed the connection]

17:07 philed has quit [Client Quit]

17:09 Yoric has quit [Quit: Yoric]

17:15 sshc has quit [Quit: leaving]

17:18 ftrvxmtrx has quit [Quit: Leaving]

17:23 zhijie has quit [Quit: Leaving.]

17:27 ttamttam has joined #ocaml

17:31 drk-sd is now known as drk-sd`

17:35 sepp2k has joined #ocaml

17:42 drk-sd` is now known as drk-sd

17:47 ulfdoz_ has quit [Quit: Reconnecting]

17:47 ulfdoz has joined #ocaml

17:49 drk-sd is now known as drk-sd`

17:50 lvillani has quit [Ping timeout: 248 seconds]

17:54 avsm has joined #ocaml

17:54 ftrvxmtrx has joined #ocaml

18:13 _unK has joined #ocaml

18:16 enthymeme has joined #ocaml

18:19 Shoggoth has quit [Quit: Ex-Chat]

18:20 Submarine has joined #ocaml

18:22 sshc has joined #ocaml

18:38 drk-sd` is now known as drk-sd

18:46 ttamttam has quit [Ping timeout: 276 seconds]

18:55 komar_ has quit [Ping timeout: 258 seconds]

18:58 ttamttam has joined #ocaml

19:10 ttamttam has quit [Quit: Leaving.]

19:20 onigiri_ has quit [Ping timeout: 245 seconds]

19:20 onigiri_ has joined #ocaml

19:23 grettke has left #ocaml []

19:39 aij has quit [Quit: upgrade time]

19:43 aij has joined #ocaml

19:53 Narrenschiff has quit [Ping timeout: 248 seconds]

19:53 Mr_Awesome has quit [Ping timeout: 265 seconds]

19:57 jonafan has joined #ocaml

20:01 jonafan_ has quit [Ping timeout: 268 seconds]

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

20:09 ygrek has joined #ocaml

20:11 Mr_Awesome has joined #ocaml

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

20:16 _andre has quit [Quit: leaving]

20:19 ygrek has joined #ocaml

20:26 maskd has joined #ocaml

20:37 komar_ has joined #ocaml

20:49 derdon has quit [Read error: Operation timed out]

20:53 ulfdoz has quit [Ping timeout: 245 seconds]

21:04 ikaros has joined #ocaml

21:04 ygrek has quit [Ping timeout: 245 seconds]

21:10 ygrek has joined #ocaml

21:16 ikaros has quit [Quit: Leave the magic to Houdini]

21:18 ikaros has joined #ocaml

21:18 ygrek has quit [Ping timeout: 245 seconds]

21:26 cgrubb has joined #ocaml

22:14 avsm has quit [Quit: Leaving.]

22:17 <kriko> is it possbile to have history navigation inside ocaml shell?

22:18 <kriko> at least key navigation trough line...

22:18 <olegfink> kriko: ledit and rlwrap are popular choices

22:19 munga_ has joined #ocaml

22:19 munga__ has joined #ocaml

22:20 <kriko> for linux

22:20 <kriko> I'll see if it is in repo

22:20 sepp2k has quit [Quit: Leaving.]

22:23 M| has quit [Quit: leaving]

22:23 <kriko> how do you use lwrap with ocaml?

22:24 <olegfink> just start it with 'ocaml' as an argument

22:24 <kriko> omg, amazing!

22:25 <kriko> thank you

22:27 ccasin has quit [Quit: Leaving]

22:31 munga_ has quit [Ping timeout: 260 seconds]

22:31 munga__ has quit [Ping timeout: 260 seconds]

22:47 dmhouse has joined #ocaml

22:49 maskd has quit [Ping timeout: 265 seconds]

22:49 maskd has joined #ocaml

22:49 <hcarty> kriko: Lwt 2.x also provides some nice toplevel enhancements, including line editing and some basic completion

22:50 <hcarty> kriko: With the right options, rlwrap can allow basic tab-completion on words it has seen during a session and file names

22:51 <kriko> yeah, I'm using rlwrap - very happy with it

22:51 <kriko> there is also an eclipse plugin for ocaml, but it causes troubles with comments

22:52 drk-sd has quit [Quit: foo]

22:52 <kriko> it starts to add tabs to code randomly

22:58 dmhouse has quit [Remote host closed the connection]

22:58 ikaros has quit [Quit: Leave the magic to Houdini]

23:03 dmhouse has joined #ocaml

23:07 alpounet has quit [Ping timeout: 265 seconds]

23:08 boscop has quit []

23:11 thrasibule has joined #ocaml

23:14 thieusoai has quit [Remote host closed the connection]

23:15 _unK has quit [Remote host closed the connection]

23:27 drk-sd has joined #ocaml

23:36 kaustuv has joined #ocaml

23:36 <kaustuv> # module M : sig exception A exception A end = struct exception A end ;;

23:36 <kaustuv> module M : sig exception A end

23:36 <kaustuv> Does that seem correct to everyone?

23:40 kaustuv_ has joined #ocaml

23:42 kaustuv has quit [Ping timeout: 246 seconds]

23:43 kriko has quit [Remote host closed the connection]

23:49 kaustuv_ has quit [Ping timeout: 245 seconds]