#ocaml on 2012-02-13 — irc logs at freenode.irclog.whitequark.org

2011-07-12 19:41 gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.1 http://bit.ly/nNVIVH

00:14 wormphlegm has joined #ocaml

00:40 pilki has quit [Quit: This computer has gone to sleep]

00:52 Tobu has quit [Ping timeout: 272 seconds]

01:03 Tobu has joined #ocaml

01:22 thelema_ has joined #ocaml

01:23 thelema has quit [Read error: Operation timed out]

01:24 ousado has quit [Read error: Connection reset by peer]

01:24 ousado has joined #ocaml

01:25 silver__ has quit [Ping timeout: 248 seconds]

01:25 brendan has quit [Ping timeout: 248 seconds]

01:25 tlockney has quit [Ping timeout: 248 seconds]

01:25 bobry has quit [Ping timeout: 248 seconds]

01:25 svenl has quit [Ping timeout: 248 seconds]

01:25 tlockney has joined #ocaml

01:25 brendan has joined #ocaml

01:26 svenl has joined #ocaml

01:26 ski has quit [Ping timeout: 247 seconds]

01:27 bobry has joined #ocaml

01:27 silver__ has joined #ocaml

01:27 NaCl has quit [Ping timeout: 248 seconds]

01:27 NaCl has joined #ocaml

01:27 NaCl has quit [Changing host]

01:27 NaCl has joined #ocaml

01:28 ski has joined #ocaml

01:32 ousado has quit [Changing host]

01:32 ousado has joined #ocaml

01:54 Tobu has quit [Ping timeout: 272 seconds]

01:58 Tobu has joined #ocaml

02:42 Tobu has quit [Read error: Operation timed out]

02:43 Tobu has joined #ocaml

02:51 mjonsson has quit [Quit: Leaving]

04:00 everyonemines has joined #ocaml

04:01 ulfdoz has quit [Ping timeout: 265 seconds]

04:32 Tobu has quit [Ping timeout: 248 seconds]

04:35 Tobu has joined #ocaml

04:40 ocp has joined #ocaml

04:41 ocp has quit [Remote host closed the connection]

04:42 ocp has joined #ocaml

04:50 ftrvxmtrx has quit [Ping timeout: 240 seconds]

04:52 ocp has quit [Read error: Operation timed out]

05:02 ftrvxmtrx has joined #ocaml

05:04 everyonemines has quit [Ping timeout: 260 seconds]

05:14 pango is now known as pangoafk

05:23 ftrvxmtrx has quit [Quit: Leaving]

05:25 edwin has joined #ocaml

05:34 ankit9 has joined #ocaml

05:42 Submarine_ has joined #ocaml

05:42 Submarine_ has quit [Changing host]

05:42 Submarine_ has joined #ocaml

06:03 EmmanuelOga has quit [Ping timeout: 244 seconds]

06:04 ftrvxmtrx has joined #ocaml

06:04 rwmjones_afk is now known as rwmjones

06:04 cago has joined #ocaml

06:06 ocp has joined #ocaml

06:26 djcoin has joined #ocaml

06:34 Kakadu has joined #ocaml

06:41 Cyanure has joined #ocaml

07:03 cago has quit [Quit: Leaving.]

07:05 cago has joined #ocaml

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

07:30 silver has joined #ocaml

07:51 roha has joined #ocaml

07:53 joewilliams has quit [*.net *.split]

07:53 milosn has quit [*.net *.split]

07:53 bacam has quit [*.net *.split]

07:53 mehdid has quit [*.net *.split]

07:53 pr_ has quit [*.net *.split]

07:53 foocraft has quit [*.net *.split]

07:53 Derander_ has quit [*.net *.split]

07:53 Ptival has quit [*.net *.split]

07:53 larsrh has quit [*.net *.split]

07:53 roha has quit [*.net *.split]

07:53 tlockney has quit [*.net *.split]

07:53 ousado has quit [*.net *.split]

07:53 wormphlegm has quit [*.net *.split]

07:53 twittard has quit [*.net *.split]

07:53 The_third_man has quit [*.net *.split]

07:53 companion_cube has quit [*.net *.split]

07:53 sgnb has quit [*.net *.split]

07:53 lusory has quit [*.net *.split]

07:53 Obfuscate has quit [*.net *.split]

07:53 malouin_ has quit [*.net *.split]

07:53 diml has quit [*.net *.split]

07:53 patronus_ has quit [*.net *.split]

07:53 cyphase has quit [*.net *.split]

07:53 fraggle_ has quit [*.net *.split]

07:53 rossberg_ has quit [*.net *.split]

07:53 mcclurmc has quit [*.net *.split]

07:53 ivan\ has quit [*.net *.split]

07:53 MaskRay has quit [*.net *.split]

07:53 Drakken has quit [*.net *.split]

07:53 thizanne has quit [*.net *.split]

07:53 Tobu has quit [*.net *.split]

07:53 ski has quit [*.net *.split]

07:53 wagle has quit [*.net *.split]

07:53 rby has quit [*.net *.split]

07:53 rwmjones has quit [*.net *.split]

07:53 zzz_ has quit [*.net *.split]

07:53 ppilatus has quit [*.net *.split]

07:53 TaXules has quit [*.net *.split]

07:53 tomprince has quit [*.net *.split]

07:53 wut__ has quit [*.net *.split]

07:53 haelix_ has quit [*.net *.split]

07:53 snarkyboojum has quit [*.net *.split]

07:53 brendan has quit [*.net *.split]

07:53 lopex has quit [*.net *.split]

07:53 r126f has quit [*.net *.split]

07:53 pheredhel has quit [*.net *.split]

07:53 deavid has quit [*.net *.split]

07:53 braibant has quit [*.net *.split]

07:53 hsuh has quit [*.net *.split]

07:53 Nass has quit [*.net *.split]

07:53 hcarty has quit [*.net *.split]

07:53 svenl has quit [*.net *.split]

07:53 simbhar has quit [*.net *.split]

07:53 testcocoon has quit [*.net *.split]

07:53 yroeht has quit [*.net *.split]

07:53 Kakadu has quit [*.net *.split]

07:53 Cyanure has quit [*.net *.split]

07:53 Schadenfreude has quit [*.net *.split]

07:53 hnrgrgr has quit [*.net *.split]

07:53 _habnabit has quit [*.net *.split]

07:53 daimrod has quit [*.net *.split]

07:53 jlouis has quit [*.net *.split]

07:53 pcjoby has quit [*.net *.split]

07:53 silver has quit [*.net *.split]

07:53 Submarine_ has quit [*.net *.split]

07:53 ankit9 has quit [*.net *.split]

07:53 edwin has quit [*.net *.split]

07:53 bobry has quit [*.net *.split]

07:53 mfp has quit [*.net *.split]

07:53 kmc has quit [*.net *.split]

07:53 beginner has quit [*.net *.split]

07:53 othiym23 has quit [*.net *.split]

07:53 yezariaely has quit [*.net *.split]

07:53 lamawithonel_ has quit [*.net *.split]

07:53 nimred_ has quit [*.net *.split]

07:53 gildor_ has quit [*.net *.split]

07:53 mal`` has quit [*.net *.split]

07:53 maufred_ has quit [*.net *.split]

07:53 hyperboreean has quit [*.net *.split]

07:53 shachaf has quit [*.net *.split]

07:53 bitbckt has quit [*.net *.split]

07:53 adrien has quit [*.net *.split]

07:53 rixed has quit [*.net *.split]

07:53 cago has quit [*.net *.split]

07:53 ftrvxmtrx has quit [*.net *.split]

07:53 NaCl has quit [*.net *.split]

07:53 srcerer_ has quit [*.net *.split]

07:53 otk_ has quit [*.net *.split]

07:53 Qrntz has quit [*.net *.split]

07:53 bnwr has quit [*.net *.split]

07:53 vram0_ has quit [*.net *.split]

07:53 mbac has quit [*.net *.split]

07:53 jave has quit [*.net *.split]

07:53 caligula_ has quit [*.net *.split]

07:53 mejalx has quit [*.net *.split]

07:56 olasd has quit [Ping timeout: 265 seconds]

07:56 pou has quit [Ping timeout: 265 seconds]

07:56 djcoin has quit [Ping timeout: 265 seconds]

07:59 mejalx has joined #ocaml

07:59 rixed has joined #ocaml

07:59 adrien has joined #ocaml

07:59 bitbckt has joined #ocaml

07:59 caligula_ has joined #ocaml

07:59 pcjoby has joined #ocaml

07:59 jlouis has joined #ocaml

07:59 shachaf has joined #ocaml

07:59 hyperboreean has joined #ocaml

07:59 maufred_ has joined #ocaml

07:59 mal`` has joined #ocaml

07:59 testcocoon has joined #ocaml

07:59 yroeht has joined #ocaml

07:59 Nass has joined #ocaml

07:59 hcarty has joined #ocaml

07:59 tomprince has joined #ocaml

07:59 wut__ has joined #ocaml

07:59 haelix_ has joined #ocaml

07:59 snarkyboojum has joined #ocaml

07:59 braibant has joined #ocaml

07:59 mbac has joined #ocaml

07:59 hsuh has joined #ocaml

07:59 hnrgrgr has joined #ocaml

07:59 rossberg_ has joined #ocaml

07:59 vram0_ has joined #ocaml

07:59 gildor_ has joined #ocaml

07:59 TaXules has joined #ocaml

07:59 ppilatus has joined #ocaml

07:59 nimred_ has joined #ocaml

07:59 lamawithonel_ has joined #ocaml

07:59 zzz_ has joined #ocaml

07:59 daimrod has joined #ocaml

07:59 bnwr has joined #ocaml

07:59 rwmjones has joined #ocaml

07:59 deavid has joined #ocaml

07:59 sgnb has joined #ocaml

07:59 lusory has joined #ocaml

07:59 Obfuscate has joined #ocaml

07:59 malouin_ has joined #ocaml

07:59 rby has joined #ocaml

07:59 Qrntz has joined #ocaml

07:59 otk_ has joined #ocaml

07:59 yezariaely has joined #ocaml

07:59 patronus_ has joined #ocaml

07:59 jave has joined #ocaml

07:59 companion_cube has joined #ocaml

07:59 ivan\ has joined #ocaml

07:59 othiym23 has joined #ocaml

07:59 wagle has joined #ocaml

07:59 pheredhel has joined #ocaml

07:59 mcclurmc has joined #ocaml

07:59 Schadenfreude has joined #ocaml

07:59 thizanne has joined #ocaml

07:59 srcerer_ has joined #ocaml

07:59 beginner has joined #ocaml

07:59 diml has joined #ocaml

07:59 r126f has joined #ocaml

07:59 kmc has joined #ocaml

07:59 Drakken has joined #ocaml

07:59 lopex has joined #ocaml

07:59 fraggle_ has joined #ocaml

07:59 The_third_man has joined #ocaml

07:59 simbhar has joined #ocaml

07:59 mfp has joined #ocaml

07:59 _habnabit has joined #ocaml

07:59 twittard has joined #ocaml

07:59 cyphase has joined #ocaml

07:59 MaskRay has joined #ocaml

07:59 wormphlegm has joined #ocaml

07:59 ousado has joined #ocaml

07:59 tlockney has joined #ocaml

07:59 brendan has joined #ocaml

07:59 svenl has joined #ocaml

07:59 bobry has joined #ocaml

07:59 NaCl has joined #ocaml

07:59 ski has joined #ocaml

07:59 Tobu has joined #ocaml

07:59 edwin has joined #ocaml

07:59 ankit9 has joined #ocaml

07:59 Submarine_ has joined #ocaml

07:59 ftrvxmtrx has joined #ocaml

07:59 Kakadu has joined #ocaml

07:59 Cyanure has joined #ocaml

07:59 cago has joined #ocaml

07:59 silver has joined #ocaml

07:59 roha has joined #ocaml

07:59 pou has joined #ocaml

07:59 emmanuelux has joined #ocaml

07:59 _andre has joined #ocaml

07:59 joewilliams has joined #ocaml

07:59 milosn has joined #ocaml

07:59 bacam has joined #ocaml

07:59 mehdid has joined #ocaml

07:59 pr_ has joined #ocaml

07:59 Ptival has joined #ocaml

07:59 foocraft has joined #ocaml

07:59 larsrh has joined #ocaml

07:59 Derander_ has joined #ocaml

07:59 Submarine_ has quit [Ping timeout: 240 seconds]

08:01 olasd has joined #ocaml

08:01 olasd has quit [Changing host]

08:01 olasd has joined #ocaml

08:02 Submarine_ has joined #ocaml

08:02 Submarine_ has quit [Changing host]

08:02 Submarine_ has joined #ocaml

08:18 mcclurmc has quit [Excess Flood]

08:20 mcclurmc has joined #ocaml

08:22 eikke has joined #ocaml

08:22 <eikke> is there any good (and maintained) QuickCheck library for OCaml?

08:29 djcoin has joined #ocaml

08:36 _andre has quit [*.net *.split]

08:36 eikke has quit [*.net *.split]

08:36 joewilliams has quit [*.net *.split]

08:36 milosn has quit [*.net *.split]

08:36 bacam has quit [*.net *.split]

08:36 mehdid has quit [*.net *.split]

08:36 pr_ has quit [*.net *.split]

08:36 foocraft has quit [*.net *.split]

08:36 Derander_ has quit [*.net *.split]

08:36 Ptival has quit [*.net *.split]

08:36 larsrh has quit [*.net *.split]

08:36 roha has quit [*.net *.split]

08:36 tlockney has quit [*.net *.split]

08:36 ousado has quit [*.net *.split]

08:36 wormphlegm has quit [*.net *.split]

08:36 twittard has quit [*.net *.split]

08:36 The_third_man has quit [*.net *.split]

08:36 companion_cube has quit [*.net *.split]

08:36 sgnb has quit [*.net *.split]

08:36 lusory has quit [*.net *.split]

08:36 Obfuscate has quit [*.net *.split]

08:36 malouin_ has quit [*.net *.split]

08:36 diml has quit [*.net *.split]

08:36 patronus_ has quit [*.net *.split]

08:36 djcoin has quit [*.net *.split]

08:36 pou has quit [*.net *.split]

08:36 cyphase has quit [*.net *.split]

08:36 fraggle_ has quit [*.net *.split]

08:36 rossberg_ has quit [*.net *.split]

08:36 ivan\ has quit [*.net *.split]

08:36 mcclurmc has quit [*.net *.split]

08:36 MaskRay has quit [*.net *.split]

08:36 Drakken has quit [*.net *.split]

08:36 thizanne has quit [*.net *.split]

08:36 Tobu has quit [*.net *.split]

08:36 ski has quit [*.net *.split]

08:36 wagle has quit [*.net *.split]

08:36 rby has quit [*.net *.split]

08:36 rwmjones has quit [*.net *.split]

08:36 zzz_ has quit [*.net *.split]

08:36 ppilatus has quit [*.net *.split]

08:36 TaXules has quit [*.net *.split]

08:36 tomprince has quit [*.net *.split]

08:36 wut__ has quit [*.net *.split]

08:36 haelix_ has quit [*.net *.split]

08:36 snarkyboojum has quit [*.net *.split]

08:36 brendan has quit [*.net *.split]

08:36 lopex has quit [*.net *.split]

08:36 r126f has quit [*.net *.split]

08:36 pheredhel has quit [*.net *.split]

08:36 deavid has quit [*.net *.split]

08:36 braibant has quit [*.net *.split]

08:36 hsuh has quit [*.net *.split]

08:36 Nass has quit [*.net *.split]

08:36 hcarty has quit [*.net *.split]

08:36 svenl has quit [*.net *.split]

08:36 simbhar has quit [*.net *.split]

08:36 testcocoon has quit [*.net *.split]

08:36 yroeht has quit [*.net *.split]

08:36 Kakadu has quit [*.net *.split]

08:36 Cyanure has quit [*.net *.split]

08:36 Schadenfreude has quit [*.net *.split]

08:36 hnrgrgr has quit [*.net *.split]

08:36 olasd has quit [*.net *.split]

08:36 _habnabit has quit [*.net *.split]

08:36 daimrod has quit [*.net *.split]

08:36 jlouis has quit [*.net *.split]

08:36 pcjoby has quit [*.net *.split]

08:36 Submarine_ has quit [*.net *.split]

08:36 emmanuelux has quit [*.net *.split]

08:36 silver has quit [*.net *.split]

08:36 ankit9 has quit [*.net *.split]

08:36 edwin has quit [*.net *.split]

08:36 bobry has quit [*.net *.split]

08:36 mfp has quit [*.net *.split]

08:36 kmc has quit [*.net *.split]

08:36 beginner has quit [*.net *.split]

08:36 othiym23 has quit [*.net *.split]

08:36 yezariaely has quit [*.net *.split]

08:36 lamawithonel_ has quit [*.net *.split]

08:36 nimred_ has quit [*.net *.split]

08:36 gildor_ has quit [*.net *.split]

08:36 mal`` has quit [*.net *.split]

08:36 maufred_ has quit [*.net *.split]

08:36 hyperboreean has quit [*.net *.split]

08:36 shachaf has quit [*.net *.split]

08:36 bitbckt has quit [*.net *.split]

08:36 adrien has quit [*.net *.split]

08:36 rixed has quit [*.net *.split]

08:36 cago has quit [*.net *.split]

08:36 ftrvxmtrx has quit [*.net *.split]

08:36 NaCl has quit [*.net *.split]

08:36 srcerer_ has quit [*.net *.split]

08:36 otk_ has quit [*.net *.split]

08:36 Qrntz has quit [*.net *.split]

08:36 bnwr has quit [*.net *.split]

08:36 vram0_ has quit [*.net *.split]

08:36 mbac has quit [*.net *.split]

08:36 jave has quit [*.net *.split]

08:36 caligula_ has quit [*.net *.split]

08:36 mejalx has quit [*.net *.split]

08:37 djcoin has joined #ocaml

08:37 eikke has joined #ocaml

08:37 mcclurmc has joined #ocaml

08:37 Submarine_ has joined #ocaml

08:37 olasd has joined #ocaml

08:37 larsrh has joined #ocaml

08:37 Derander_ has joined #ocaml

08:37 foocraft has joined #ocaml

08:37 Ptival has joined #ocaml

08:37 pr_ has joined #ocaml

08:37 mehdid has joined #ocaml

08:37 bacam has joined #ocaml

08:37 milosn has joined #ocaml

08:37 joewilliams has joined #ocaml

08:37 _andre has joined #ocaml

08:37 emmanuelux has joined #ocaml

08:37 pou has joined #ocaml

08:37 roha has joined #ocaml

08:37 silver has joined #ocaml

08:37 cago has joined #ocaml

08:37 Cyanure has joined #ocaml

08:37 Kakadu has joined #ocaml

08:37 ftrvxmtrx has joined #ocaml

08:37 ankit9 has joined #ocaml

08:37 edwin has joined #ocaml

08:37 Tobu has joined #ocaml

08:37 ski has joined #ocaml

08:37 NaCl has joined #ocaml

08:37 bobry has joined #ocaml

08:37 svenl has joined #ocaml

08:37 brendan has joined #ocaml

08:37 tlockney has joined #ocaml

08:37 ousado has joined #ocaml

08:37 wormphlegm has joined #ocaml

08:37 MaskRay has joined #ocaml

08:37 cyphase has joined #ocaml

08:37 twittard has joined #ocaml

08:37 _habnabit has joined #ocaml

08:37 mfp has joined #ocaml

08:37 simbhar has joined #ocaml

08:37 The_third_man has joined #ocaml

08:37 fraggle_ has joined #ocaml

08:37 lopex has joined #ocaml

08:37 Drakken has joined #ocaml

08:37 kmc has joined #ocaml

08:37 r126f has joined #ocaml

08:37 diml has joined #ocaml

08:37 beginner has joined #ocaml

08:37 srcerer_ has joined #ocaml

08:37 thizanne has joined #ocaml

08:37 Schadenfreude has joined #ocaml

08:37 pheredhel has joined #ocaml

08:37 wagle has joined #ocaml

08:37 othiym23 has joined #ocaml

08:37 ivan\ has joined #ocaml

08:37 companion_cube has joined #ocaml

08:37 jave has joined #ocaml

08:37 patronus_ has joined #ocaml

08:37 yezariaely has joined #ocaml

08:37 otk_ has joined #ocaml

08:37 Qrntz has joined #ocaml

08:37 rby has joined #ocaml

08:37 malouin_ has joined #ocaml

08:37 Obfuscate has joined #ocaml

08:37 lusory has joined #ocaml

08:37 sgnb has joined #ocaml

08:37 deavid has joined #ocaml

08:37 rwmjones has joined #ocaml

08:37 bnwr has joined #ocaml

08:37 daimrod has joined #ocaml

08:37 zzz_ has joined #ocaml

08:37 lamawithonel_ has joined #ocaml

08:37 nimred_ has joined #ocaml

08:37 ppilatus has joined #ocaml

08:37 TaXules has joined #ocaml

08:37 gildor_ has joined #ocaml

08:37 vram0_ has joined #ocaml

08:37 rossberg_ has joined #ocaml

08:37 hnrgrgr has joined #ocaml

08:37 hsuh has joined #ocaml

08:37 mbac has joined #ocaml

08:37 braibant has joined #ocaml

08:37 snarkyboojum has joined #ocaml

08:37 haelix_ has joined #ocaml

08:37 wut__ has joined #ocaml

08:37 tomprince has joined #ocaml

08:37 hcarty has joined #ocaml

08:37 Nass has joined #ocaml

08:37 yroeht has joined #ocaml

08:37 testcocoon has joined #ocaml

08:37 mal`` has joined #ocaml

08:37 maufred_ has joined #ocaml

08:37 hyperboreean has joined #ocaml

08:37 shachaf has joined #ocaml

08:37 jlouis has joined #ocaml

08:37 pcjoby has joined #ocaml

08:37 caligula_ has joined #ocaml

08:37 bitbckt has joined #ocaml

08:37 adrien has joined #ocaml

08:37 rixed has joined #ocaml

08:37 mejalx has joined #ocaml

08:47 Tobu has quit [Read error: Operation timed out]

09:01 <bobry> eikke: try Kaputt -- it's really nice

09:01 <bobry> http://kaputt.x9c.fr

09:02 ikaros has joined #ocaml

09:03 <bobry> and it does support both unit and property-based testing

09:09 Tobu has joined #ocaml

09:26 antegallya has joined #ocaml

09:38 <adrien> is there a function to get the bit representation of an integer?

09:42 <flux> I don't think so

09:42 <flux> the performance would be relatively awful anyway ;)

09:42 <adrien> I'm doing it in the toplevel and by hand ;-)

09:42 <adrien> friend has this warning when installing opensuse: http://surrounder.nl/badsectors.png

09:43 <adrien> and I'm telling him that SMART data often has to be interpreted in a specific, non-generic, way

09:44 <flux> and doesn't that tool exactly do that?-o

09:45 <adrien> the disk is 80GB and the data says there's almost 47GB of bad sectors and yet it's working fine

10:00 Submarine_ has quit [Quit: Leaving]

10:05 <eikke> bobry: looked into it, thanks

10:10 Tobu has quit [Read error: Operation timed out]

10:17 ikaros has quit [Quit: Ex-Chat]

10:20 <olasd> ça /w 25

10:20 <olasd> meh

10:22 <adrien> :-)

10:30 letrec has joined #ocaml

10:54 Submarine has joined #ocaml

11:01 EmmanuelOga has joined #ocaml

11:15 cdidd has joined #ocaml

11:22 willb has joined #ocaml

11:23 dwhj has joined #ocaml

11:27 roha has quit [Remote host closed the connection]

11:29 Tobu has joined #ocaml

11:33 _andre has quit [Remote host closed the connection]

11:35 _andre has joined #ocaml

11:51 chambart has joined #ocaml

12:01 Tobu has quit [Read error: Operation timed out]

12:05 ikaros has joined #ocaml

12:08 Tobu has joined #ocaml

12:36 oriba has joined #ocaml

12:48 <bnwr> I have a "error while parsing ocamldep output" in ocamldsort. Anyone ever had that?

12:48 <bnwr> (on a different machine, the problem didn't show (unfortunately, I don't have access to this other machine anymore)

12:49 <adrien> bnwr: which version of ocamldsort? which version of ocaml?

12:50 <bnwr> 0.14.1 and 3.12.1

12:50 <adrien> update ocamldsort

12:50 <adrien> you're using godi?

12:50 <bnwr> yes

12:51 <bnwr> which reports 0.14.3… weird

12:51 <adrien> you need 0.15.x which is not in godi

12:51 <bnwr> ok

12:51 <bnwr> thanks

12:51 <adrien> maybe poke the maintainer of the godi package

12:53 <adrien> btw, you can simply compile ocamldsort and drop it somewhere in your $PATH

12:54 * bnwr is emailing the maintainer

13:00 Kakadu has quit [Quit: Page closed]

13:03 <bnwr> it works, thanks adrien

13:04 <adrien> =)

13:07 <eikke> bobry: in the end I forked ocaml-quickcheck and altered it a bit to my needs

13:26 oriba has quit [Quit: oriba]

13:41 Tobu has quit [Read error: Operation timed out]

13:54 metasyntax|work has joined #ocaml

13:59 MaskRay has quit [Quit: leaving]

14:01 ikaros has quit [Remote host closed the connection]

14:04 srcerer_ is now known as srcerer

14:08 Tobu has joined #ocaml

14:11 gnuvince has joined #ocaml

14:19 <Drakken> The type checker is complaining that my field labels are "mixed with labels" of the correct type for that field.

14:20 <bnwr> Drakken: can you copy paste your whole error?

14:20 <Drakken> The expression is record.field <- List.filter (...) record.field (which is mutable)

14:21 ftrvxmtrx has quit [Quit: Leaving]

14:22 <Drakken> bnwr "The record field label left belongs to the type Wrd.div but is mixed here with labels of type (int * Wrd.wrd) array list"

14:22 <adrien> you probably have two records with the same field names

14:22 <adrien> two record types

14:22 <adrien> type t = { foo : int; a : int }

14:22 <adrien> type u = { foo : int; b : int }

14:23 <Drakken> adrien I don't see any duplicates.

14:23 <adrien> if you write { foo = 42; a = 28 }, since u has shadowed/hidden t's foo field, you get a mix

14:23 <bnwr> Drakken: it can be in another file that you open

14:27 Cyanure has quit [Remote host closed the connection]

14:33 ocp has quit [Ping timeout: 265 seconds]

14:35 cago has quit [Quit: Leaving.]

14:39 <Drakken> Oh. I was using the same name for the record and for a temp variable.

14:39 <adrien> heh :-)

14:43 ulfdoz has joined #ocaml

14:44 Tobu has quit [Read error: Operation timed out]

14:48 letrec has quit [Ping timeout: 252 seconds]

14:53 beckerb has joined #ocaml

14:54 ulfdoz_ has joined #ocaml

14:55 eikke has quit [Ping timeout: 252 seconds]

14:55 Tobu has joined #ocaml

14:57 eikke has joined #ocaml

14:57 ulfdoz has quit [Ping timeout: 245 seconds]

14:57 ulfdoz_ is now known as ulfdoz

15:05 thelema_ has quit [Remote host closed the connection]

15:10 Drup has joined #ocaml

15:20 sgnb` has joined #ocaml

15:21 The_third_man has quit [Ping timeout: 260 seconds]

15:21 Obfuscate has quit [Ping timeout: 260 seconds]

15:21 dwhj has quit [Quit: dwhj]

15:22 antegallya has quit [Ping timeout: 245 seconds]

15:22 Obfuscate has joined #ocaml

15:23 thelema has joined #ocaml

15:24 sgnb has quit [Ping timeout: 260 seconds]

15:25 The_third_man has joined #ocaml

15:29 beckerb has quit [Quit: Konversation terminated!]

15:29 gnuvince has quit [Ping timeout: 272 seconds]

15:42 gnuvince has joined #ocaml

15:55 gnuvince has quit [Ping timeout: 252 seconds]

15:57 djcoin has quit [Quit: WeeChat 0.3.2]

15:59 ttamttam has joined #ocaml

16:23 asdfhjkl has joined #ocaml

16:24 mdelaney has joined #ocaml

16:29 asdfhjkl has quit [Ping timeout: 248 seconds]

16:39 gnuvince has joined #ocaml

16:40 asdfhjkl has joined #ocaml

16:43 ikaros has joined #ocaml

16:49 twittard has quit [Quit: twittard]

16:55 mdelaney has quit [Quit: mdelaney]

17:10 The_third_man has quit [Ping timeout: 260 seconds]

17:14 Tobu has quit [Ping timeout: 260 seconds]

17:16 twittard has joined #ocaml

17:31 _andre has quit [Quit: leaving]

17:51 Anarchos has joined #ocaml

17:55 edwin has quit [Remote host closed the connection]

17:57 edwin has joined #ocaml

18:01 Xizor has joined #ocaml

18:03 pangoafk is now known as pango

18:04 Tobu has joined #ocaml

18:07 roha has joined #ocaml

18:08 ttamttam has left #ocaml []

18:15 ocp has joined #ocaml

18:16 The_third_man has joined #ocaml

18:21 oriba has joined #ocaml

18:23 Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]

18:24 gnuvince has quit [Ping timeout: 260 seconds]

18:29 ikaros has quit [Quit: Ex-Chat]

18:32 ikaros has joined #ocaml

18:33 ftrvxmtrx has joined #ocaml

18:44 roha has quit [Ping timeout: 252 seconds]

18:44 Jeanne-Kamikaze has joined #ocaml

18:45 <Jeanne-Kamikaze> hello, is there a hackage / cabal-install equivalent for ocaml ?

18:50 Tobu has quit [Read error: Operation timed out]

18:54 <Ptival> Jeanne-Kamikaze: I don't think there's something that ready yet, however you should take a look at oasis and odb

18:54 <Ptival> thelema should be able to tell you more ^

18:54 <Jeanne-Kamikaze> ok thanks I'ma check that out

18:58 ulfdoz has quit [Ping timeout: 244 seconds]

19:07 roha has joined #ocaml

19:08 Tobu has joined #ocaml

19:08 edwin has quit [Quit: Leaving.]

19:09 edwin has joined #ocaml

19:18 iago has joined #ocaml

19:25 Submarine has quit [Quit: Leaving]

19:30 tnguyen has joined #ocaml

19:32 antegallya has joined #ocaml

19:38 cdidd has quit [Remote host closed the connection]

19:47 ocp has quit [Quit: Leaving.]

19:47 ocp has joined #ocaml

19:53 Jeanne-Kamikaze has quit [Ping timeout: 276 seconds]

19:56 iago has quit [Ping timeout: 276 seconds]

20:03 Jeanne-Kamikaze has joined #ocaml

20:40 edwin has quit [Remote host closed the connection]

20:41 ocp has quit [Ping timeout: 248 seconds]

20:42 Tobu has quit [Read error: Operation timed out]

21:00 dsheets has joined #ocaml

21:06 larsrh has quit [Ping timeout: 252 seconds]

21:14 Tobu has joined #ocaml

21:14 larsrh has joined #ocaml

21:20 tnguyen has quit [Read error: Connection reset by peer]

21:22 Drup has quit [Quit: Leaving.]

21:22 Jeanne-Kamikaze has quit [Quit: Did you hear that ?]

21:26 Drup has joined #ocaml

21:31 letrec has joined #ocaml

21:58 Drup has quit [Quit: Leaving.]

22:10 eikke has quit [Ping timeout: 260 seconds]

22:13 ikaros has quit [Quit: Ex-Chat]

22:15 Xizor has quit [Ping timeout: 260 seconds]

22:28 letrec has quit [Ping timeout: 252 seconds]

22:36 MaskRay has joined #ocaml

22:36 MaskRay has quit [Changing host]

22:36 MaskRay has joined #ocaml

22:40 dsheets1 has joined #ocaml

22:41 dsheets has quit [Read error: Operation timed out]

23:06 antegallya has quit [Remote host closed the connection]

23:12 oriba has quit [Quit: oriba]

23:29 MaskRay has quit [Quit: leaving]

23:32 MaskRay has joined #ocaml

23:45 emmanuelux has quit [Ping timeout: 240 seconds]

23:46 asdfhjkl has quit [Quit: Leaving]

23:49 ftrvxmtrx has quit [Ping timeout: 260 seconds]

23:51 ftrvxmtrx has joined #ocaml