#ocaml on 2014-01-11 — irc logs at freenode.irclog.whitequark.org

2013-09-12 14:13 flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.01.0 http://bit.ly/1851A3R | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/

00:10 S11001001 has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]

00:13 sheijk_ has joined #ocaml

00:15 sheijk has quit [Ping timeout: 252 seconds]

00:16 jwatzman|work has quit [Quit: jwatzman|work]

00:31 ygrek has joined #ocaml

00:31 shinnya has joined #ocaml

00:35 avsm has quit [Ping timeout: 272 seconds]

00:38 kyrylo has quit [Ping timeout: 245 seconds]

00:43 arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

00:43 ygrek has quit [Remote host closed the connection]

00:43 ygrek has joined #ocaml

00:53 mcclurmc has joined #ocaml

00:59 mcclurmc has quit [Ping timeout: 245 seconds]

01:05 boogie has quit [Remote host closed the connection]

01:06 mort___ has quit [Quit: Leaving.]

01:07 sillyotter has joined #ocaml

01:12 arjunguha has joined #ocaml

01:16 arjunguha has quit [Client Quit]

01:20 sillyotter has quit [Quit: Leaving]

01:26 rwmjones has quit [Ping timeout: 252 seconds]

01:30 avsm has joined #ocaml

01:31 csakatoku has joined #ocaml

01:31 manizzle has quit [Ping timeout: 252 seconds]

01:33 dant3 has quit [Ping timeout: 245 seconds]

01:35 avsm has quit [Ping timeout: 245 seconds]

01:38 zpe has quit [Remote host closed the connection]

01:38 zpe has joined #ocaml

01:40 rwmjones has joined #ocaml

01:43 zpe has quit [Ping timeout: 272 seconds]

01:48 csakatoku has quit [Remote host closed the connection]

01:48 sheijk_ has quit [Quit: .]

01:50 csakatoku has joined #ocaml

01:53 Anarchos has quit [Quit: Vision[0.9.7-H-20131020]: i've been blurred!]

01:55 csakatoku has quit [Ping timeout: 245 seconds]

01:56 mcclurmc has joined #ocaml

02:01 mcclurmc has quit [Ping timeout: 272 seconds]

02:08 watermind has quit [Quit: Konversation terminated!]

02:08 watermind has joined #ocaml

02:09 watermind has quit [Client Quit]

02:09 watermind has joined #ocaml

02:11 arjunguha has joined #ocaml

02:13 dsheets has quit [Ping timeout: 272 seconds]

02:14 mreca has joined #ocaml

02:26 BitPuffin has joined #ocaml

02:27 BitPuffin has quit [Client Quit]

02:27 jao has joined #ocaml

02:27 jao has quit [Changing host]

02:27 jao has joined #ocaml

02:32 avsm has joined #ocaml

02:33 csakatoku has joined #ocaml

02:33 wolfnn has quit [Ping timeout: 264 seconds]

02:36 avsm has quit [Ping timeout: 272 seconds]

02:39 dant3 has joined #ocaml

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

02:47 ontologiae has joined #ocaml

02:49 zpe has joined #ocaml

02:50 _5kg has quit [Ping timeout: 246 seconds]

02:51 _5kg has joined #ocaml

02:53 ollehar has quit [Ping timeout: 252 seconds]

02:54 zpe has quit [Ping timeout: 272 seconds]

03:02 watermind has quit [Ping timeout: 272 seconds]

03:03 S11001001 has joined #ocaml

03:06 arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

03:07 mcclurmc has joined #ocaml

03:08 ontologiae has quit [Ping timeout: 272 seconds]

03:30 cesar_ has joined #ocaml

03:30 cesar_ is now known as Guest57527

03:32 Guest57527 has quit [Remote host closed the connection]

03:33 avsm has joined #ocaml

03:39 avsm has quit [Ping timeout: 272 seconds]

04:00 mreca has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

04:04 divyansr has joined #ocaml

04:08 S11001001 has quit [Quit: bye bye]

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

04:19 mcclurmc has quit [Remote host closed the connection]

04:40 divyansr has quit [Ping timeout: 252 seconds]

04:40 boogie has joined #ocaml

04:41 jao has quit [Ping timeout: 272 seconds]

04:42 cesar_ has joined #ocaml

04:42 cesar_ is now known as Guest87972

05:00 csakatoku has joined #ocaml

05:12 bennyg has joined #ocaml

05:22 UltimateGOTO is now known as UltimateCOMEFROM

05:24 divyansr has joined #ocaml

05:25 axiles has joined #ocaml

05:38 Guest87972 has quit [Remote host closed the connection]

05:45 Kakadu has joined #ocaml

05:50 divyansr has quit [Quit: Leaving...]

06:03 csakatok_ has joined #ocaml

06:06 csakatoku has quit [Ping timeout: 252 seconds]

06:15 lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

06:19 lostcuaz has joined #ocaml

06:42 zRecursive has joined #ocaml

07:27 <adrien> morning

07:28 loadedupntruckn has joined #ocaml

07:29 <zRecursive> afternoon

07:29 loadedupntruckn has quit [Quit: leaving]

07:29 <pippijn> morning

07:31 boogie has quit [Quit: Leaving...]

07:45 jzelinskie has quit [Ping timeout: 252 seconds]

07:45 thomasga has joined #ocaml

07:46 thomasga has quit [Client Quit]

07:47 jzelinskie has joined #ocaml

07:52 WraithM_ has joined #ocaml

07:56 lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

07:56 WraithM_ has quit [Ping timeout: 252 seconds]

08:09 lopex has quit [Ping timeout: 252 seconds]

08:12 lopex has joined #ocaml

08:14 thomasga has joined #ocaml

08:14 thomasga has quit [Client Quit]

08:15 csakatok_ has quit [Remote host closed the connection]

08:18 csakatoku has joined #ocaml

08:26 malo has joined #ocaml

08:31 mort___ has joined #ocaml

08:32 <UltimateCOMEFROM> pippijn, you never greet me

08:32 <UltimateCOMEFROM> what is with that stuff

08:33 zRecursive has left #ocaml []

08:38 <ygrek> this channel is fueled with hatred, don't you see

08:40 thomasga has joined #ocaml

08:41 pminten has joined #ocaml

08:47 <troydm> yeah like totally, ocaml powered functional hatred

08:59 csakatoku has quit [Remote host closed the connection]

09:00 csakatoku has joined #ocaml

09:05 csakatoku has quit [Ping timeout: 272 seconds]

09:07 <UltimateCOMEFROM> ygrek, that's good

09:07 <UltimateCOMEFROM> I like hatred.

09:07 <UltimateCOMEFROM> Like Mephisto, lord of hatred.

09:14 thomasga has quit [Quit: Leaving.]

09:31 ygrek has quit [Ping timeout: 272 seconds]

09:40 demonimin has quit [Ping timeout: 272 seconds]

09:50 ulfdoz has joined #ocaml

09:54 arjunguha has joined #ocaml

09:57 thomasga has joined #ocaml

09:57 thomasga has quit [Client Quit]

10:09 zpe has joined #ocaml

10:10 zpe has quit [Remote host closed the connection]

10:11 zpe has joined #ocaml

10:14 ontologiae has joined #ocaml

10:15 zpe has quit [Ping timeout: 248 seconds]

10:35 skchrko has joined #ocaml

10:42 <pippijn> UltimateCOMEFROM: morning

10:52 ontologiae has quit [Ping timeout: 248 seconds]

10:54 zRecursive has joined #ocaml

10:57 kyrylo_ has joined #ocaml

11:01 zpe has joined #ocaml

11:02 _5kg has quit [Ping timeout: 265 seconds]

11:04 pminten has quit [Remote host closed the connection]

11:06 kyrylo_ has quit [Quit: Don't give up! Tell ya neighbour, tell ya friend...]

11:07 _5kg has joined #ocaml

11:13 robink has quit [Ping timeout: 245 seconds]

11:13 nikki93 has quit [Remote host closed the connection]

11:14 robink has joined #ocaml

11:18 zpe has quit [Remote host closed the connection]

11:19 zpe has joined #ocaml

11:23 zpe has quit [Ping timeout: 265 seconds]

11:25 dsheets has joined #ocaml

11:25 dsheets has quit [Remote host closed the connection]

11:25 dsheets_ has joined #ocaml

11:36 ollehar has joined #ocaml

11:40 arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

11:44 rwmjones has quit [Ping timeout: 252 seconds]

11:47 Thooms has joined #ocaml

11:50 ontologiae has joined #ocaml

11:52 mort___ has quit [Quit: Leaving.]

11:53 arjunguha has joined #ocaml

11:54 Snark_ has quit [Ping timeout: 260 seconds]

11:56 arjunguha has quit [Client Quit]

11:58 rwmjones has joined #ocaml

12:04 rwmjones has quit [Ping timeout: 253 seconds]

12:06 divyansr has joined #ocaml

12:10 bennyg has quit [Ping timeout: 248 seconds]

12:11 mort___ has joined #ocaml

12:13 nikki93 has joined #ocaml

12:16 zRecursive has left #ocaml []

12:17 rwmjones has joined #ocaml

12:18 nikki93 has quit [Ping timeout: 245 seconds]

12:18 divyansr has quit [Remote host closed the connection]

12:19 Snark has joined #ocaml

12:24 pminten has joined #ocaml

12:24 Snark has quit [Ping timeout: 252 seconds]

12:29 zpe has joined #ocaml

12:30 darkf has quit [Quit: Leaving]

12:30 sillyotter has joined #ocaml

12:31 divyansr has joined #ocaml

12:34 zpe has quit [Ping timeout: 248 seconds]

12:42 sillyotter has quit [Quit: Leaving]

12:44 ulfdoz has quit [Ping timeout: 245 seconds]

12:48 Snark has joined #ocaml

13:03 dant3 has joined #ocaml

13:03 watermind has joined #ocaml

13:07 ggole has joined #ocaml

13:14 watermind has quit [Ping timeout: 252 seconds]

13:20 ulfdoz has joined #ocaml

13:21 ontologiae has quit [Ping timeout: 246 seconds]

13:24 Thooms has quit [Quit: WeeChat 0.3.8]

13:30 UltimateCOMEFROM is now known as aerschvergrijp

13:34 watermind has joined #ocaml

13:35 pminten has quit [Quit: Leaving]

13:36 talzeus_ has joined #ocaml

13:37 talzeus__ has joined #ocaml

13:41 talzeus_ has quit [Ping timeout: 252 seconds]

13:45 divyansr has quit [Remote host closed the connection]

13:45 divyansr has joined #ocaml

13:45 tobiasBora has joined #ocaml

13:47 watermind has quit [Quit: Konversation terminated!]

13:47 watermind has joined #ocaml

13:49 watermind has quit [Client Quit]

13:49 watermind has joined #ocaml

13:50 shinnya has quit [Ping timeout: 248 seconds]

13:55 rand000 has joined #ocaml

13:59 <gasche> adrien: did you intend to send an empty mail about the ocamldebug patches?

13:59 <adrien> gasche: no :)

13:59 <adrien> sorry

14:05 lostcuaz has joined #ocaml

14:06 zpe has joined #ocaml

14:09 <companion_cube> :)

14:09 <adrien> now

14:09 <adrien> you all go outside even if it's gloomy and cold! it's saturday!

14:09 <adrien> that way you won't see my failed messages _that_ quickly ='(

14:10 <companion_cube> :)

14:11 <adrien> well, your choice; you've been warned

14:11 <adrien> now I know you're going to see the next mail quickly :)

14:11 <pippijn> let's get it over with

14:27 <adrien> companion_cube: hmmm, btw, about fileutils

14:28 <adrien> companion_cube: have any time for it next week?

14:29 <companion_cube> depends, how big is it? :)

14:30 <adrien> companion_cube: dunno, that was mostly a trap to make sure you were still around :)

14:30 <companion_cube> sure i am

14:30 <companion_cube> not writing much code, but still, that will distract me from LaTeX

14:31 <adrien> there's a few hundred lines so far; something like +200 lines, -200 lines

14:31 <adrien> but also, read your mails :P

14:32 <adrien> (note that the mail and the fileutils stuff are unrelated)

14:37 divyansr has quit [Remote host closed the connection]

14:52 rand000 has quit [Ping timeout: 252 seconds]

14:55 divyansr has joined #ocaml

15:08 mort___ has quit [Quit: Leaving.]

15:10 jonludlam has joined #ocaml

15:11 divyans__ has joined #ocaml

15:12 divyansr has quit [Ping timeout: 260 seconds]

15:13 aerschvergrijp is now known as onderbroek

15:14 lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

15:15 zarul has quit [Quit: Leaving]

15:15 zarul has joined #ocaml

15:17 thomasga has joined #ocaml

15:19 jonludlam has quit [Ping timeout: 252 seconds]

15:19 tobiasBora has quit [Read error: Connection reset by peer]

15:21 arjunguha has joined #ocaml

15:26 divyans__ has quit [Remote host closed the connection]

15:33 divyansr has joined #ocaml

15:35 divyansr has quit [Remote host closed the connection]

15:39 divyansr has joined #ocaml

15:41 shinnya has joined #ocaml

15:52 mort___ has joined #ocaml

15:54 honewolf has joined #ocaml

15:56 honewolf has left #ocaml []

16:08 shinnya has quit [Ping timeout: 252 seconds]

16:25 tobiasBora has joined #ocaml

16:27 mreca has joined #ocaml

16:27 dsheets_ has quit [Quit: Leaving]

16:28 mreca has quit [Client Quit]

16:37 rand000 has joined #ocaml

16:47 dsheets has joined #ocaml

16:50 cesar_ has joined #ocaml

16:50 cesar_ has quit [Remote host closed the connection]

16:50 cesar_ has joined #ocaml

16:51 cesar_ is now known as Guest71365

16:53 Guest71365 has quit [Remote host closed the connection]

16:54 ollehar has quit [Ping timeout: 252 seconds]

17:07 mort___ has quit [Quit: Leaving.]

17:10 sheijk has joined #ocaml

17:21 ontologiae has joined #ocaml

17:25 ollehar has joined #ocaml

17:34 tobiasBora has quit [Read error: Connection reset by peer]

17:40 divyansr has quit [Read error: Connection reset by peer]

17:41 divyansr has joined #ocaml

17:52 divyansr has quit [Ping timeout: 252 seconds]

18:00 divyansr has joined #ocaml

18:07 demonimin has joined #ocaml

18:07 Thooms has joined #ocaml

18:19 nikki93 has joined #ocaml

18:36 mort___ has joined #ocaml

18:56 rwmjones has quit [Ping timeout: 252 seconds]

18:56 demonimin has quit [Remote host closed the connection]

19:00 dant3 has quit [Remote host closed the connection]

19:09 nikki93 has quit [Remote host closed the connection]

19:10 rwmjones has joined #ocaml

19:15 arjunguha has quit [Ping timeout: 272 seconds]

19:23 <Kakadu> What should I execute to use my ocamlbuild rule http://paste.in.ua/9247/raw/ ? `ocamlbuild -use-ocamlfind src/DataItem_c.h` doesn't work

19:28 ggole has quit []

19:30 lostcuaz has joined #ocaml

19:31 dant3 has joined #ocaml

19:31 lostcuaz has quit [Client Quit]

19:32 lostcuaz has joined #ocaml

19:32 dant3 has quit [Read error: No route to host]

19:33 dant3 has joined #ocaml

19:34 nrlucaroni has joined #ocaml

19:35 dant3 has quit [Read error: No route to host]

19:36 dant3 has joined #ocaml

19:36 <nrlucaroni> I have an ocaml and c project installed by ocamlfind and when i link against it using ocamlbuild -package option, the linker reports that it cannot find the c library. any guidance? ocamlfind reports that it 'installed' the file.

19:37 <Kakadu> maybe something si missing in META file?

19:37 <Kakadu> is*

19:37 <nrlucaroni> thats what i was thinking too.

19:38 <nrlucaroni> would the c library files be included in there?

19:38 <nrlucaroni> i just have the cma and cmxa files.

19:39 dant3 has quit [Read error: No route to host]

19:39 dant3_ has joined #ocaml

19:39 <Kakadu> Well. Core_kernel has .a file too

19:39 <Kakadu> and .cmxa references it with -lcore_kernel_stubs

19:40 rand000 has quit [Quit: leaving]

19:40 Thooms has quit [Quit: WeeChat 0.3.8]

19:40 <nrlucaroni> yup.

19:41 <nrlucaroni> where is their meta file? or do i generate it from oasis?

19:42 <Kakadu> your one probably should be generated by oasis

19:42 <nrlucaroni> cloning now. thanks!

19:43 dant3_ has quit [Ping timeout: 260 seconds]

19:51 arjunguha has joined #ocaml

19:54 arjunguha has quit [Client Quit]

19:54 avsm has joined #ocaml

20:01 nikki93 has joined #ocaml

20:01 thomasga has quit [Quit: Leaving.]

20:07 thomasga has joined #ocaml

20:07 nikki93 has quit [Remote host closed the connection]

20:12 lostcuaz has quit [Ping timeout: 252 seconds]

20:14 lostcuaz has joined #ocaml

20:16 divyansr has quit [Remote host closed the connection]

20:17 malo has quit [Quit: Leaving]

20:19 nikki93_ has joined #ocaml

20:19 <erider> are there any good vimballs for ocaml dev

20:25 skchrko has quit [Quit: Leaving]

20:26 testcocoon has quit [Quit: Coyote finally caught me]

20:29 thomasga has quit [Quit: Leaving.]

20:30 testcocoon has joined #ocaml

20:30 thomasga has joined #ocaml

20:35 robink has quit [Ping timeout: 245 seconds]

20:35 dant3 has joined #ocaml

20:35 robink has joined #ocaml

20:38 thomasga has quit [Quit: Leaving.]

20:39 thomasga has joined #ocaml

20:41 dant3 has quit [Ping timeout: 265 seconds]

20:41 robink has quit [Ping timeout: 240 seconds]

20:43 arjunguha has joined #ocaml

20:43 milosn has quit [Ping timeout: 272 seconds]

20:44 robink has joined #ocaml

20:45 <Kakadu> erider: you are probably asking about merlin

20:46 Kakadu has quit []

20:46 milosn has joined #ocaml

20:51 <erider> I will take a look a merline

20:51 <erider> merlin*

20:51 <def-lkb> erider: https://github.com/the-lambda-church/merlin

20:53 dant3 has joined #ocaml

20:54 <def-lkb> (in a rather counterintuitive way, it seems that the wiki is more appropriate… https://github.com/the-lambda-church/merlin/wiki/vim-from-scratch :P)

20:55 rwmjones has quit [Read error: Operation timed out]

21:02 nikki93_ is now known as nikki93

21:06 arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

21:10 rwmjones has joined #ocaml

21:19 <sheijk> does anyone here have recommendations on reading material on compiler design in ocaml? articles, well implemented source, etc.?

21:20 <sheijk> i'm looking into ways to improve my own compiler, mostly how to deal with abstraction vs. variant data types / hiding data structure implementation while still being able to do nested pattern mactching

21:21 pango has quit [Ping timeout: 252 seconds]

21:21 <sheijk> ocamlc/ocamlopt seems to favor structs whose fields are abstract types. is this state of the art or legacy code? :)

21:21 pango has joined #ocaml

21:27 mcclurmc has joined #ocaml

21:43 zpe has quit [Remote host closed the connection]

21:43 zpe has joined #ocaml

21:46 dch has left #ocaml []

21:48 zpe has quit [Ping timeout: 252 seconds]

21:50 adr has joined #ocaml

21:51 adr_ has joined #ocaml

21:59 adr has quit [Remote host closed the connection]

21:59 adr_ has quit [Remote host closed the connection]

22:08 axiles has quit [Remote host closed the connection]

22:19 darkf has joined #ocaml

22:21 zpe has joined #ocaml

22:21 nikki93 has quit [Remote host closed the connection]

22:22 nikki93 has joined #ocaml

22:25 nikki93 has quit [Remote host closed the connection]

22:26 <nrlucaroni> @kakadu, I don't see any c-library files in the core-kernel META file as reference to my project.

22:40 rwmjones has quit [Ping timeout: 252 seconds]

22:50 thomasga has quit [Quit: Leaving.]

22:53 rwmjones has joined #ocaml

23:01 thomasga has joined #ocaml

23:02 nikki93 has joined #ocaml

23:02 nikki93 has quit [Remote host closed the connection]

23:04 dant3 has quit [Remote host closed the connection]

23:06 nikki93 has joined #ocaml

23:16 oriba has joined #ocaml

23:25 nikki93 has quit [Remote host closed the connection]

23:27 mreca has joined #ocaml

23:27 ulfdoz has quit [Ping timeout: 246 seconds]

23:28 nikki93 has joined #ocaml

23:30 mcclurmc has quit [Remote host closed the connection]

23:33 nikki93 has quit [Remote host closed the connection]

23:39 madroach has quit [Ping timeout: 252 seconds]

23:41 madroach has joined #ocaml

23:43 sheijk has quit [Quit: .]

23:45 NoNNaN has quit [Remote host closed the connection]

23:46 NoNNaN has joined #ocaml

23:48 ontologiae has quit [Ping timeout: 252 seconds]

23:49 ontologiae has joined #ocaml

23:51 ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]

23:52 avsm has quit [Quit: Leaving.]

23:52 ivan\ has joined #ocaml

23:53 jonludlam has joined #ocaml

23:57 nikki93 has joined #ocaml

23:59 jonludlam has quit [Remote host closed the connection]