#ocaml on 2013-07-29 — irc logs at freenode.irclog.whitequark.org

2013-02-24 19:25 flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.00.1 http://bit.ly/UHeZyT | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/

00:10 walter|r has joined #ocaml

00:13 walter has quit [Ping timeout: 276 seconds]

00:14 Neros has quit [Ping timeout: 246 seconds]

00:15 walter|r has quit [Read error: Connection reset by peer]

00:16 walter|r has joined #ocaml

00:18 walter|r has quit [Read error: Connection reset by peer]

00:19 walter|r has joined #ocaml

00:41 skchrko has joined #ocaml

00:44 walter|r has quit [Read error: Connection reset by peer]

00:45 walter|r has joined #ocaml

00:57 wmeyer has quit [Remote host closed the connection]

01:12 palomer has joined #ocaml

01:20 madroach has quit [Ping timeout: 264 seconds]

01:22 madroach has joined #ocaml

01:31 imalsogreg has quit [Remote host closed the connection]

01:34 palomer has quit [Ping timeout: 264 seconds]

01:49 ygrek has joined #ocaml

02:00 troydm has quit [Ping timeout: 264 seconds]

02:02 introom has joined #ocaml

02:04 q66 has quit [Quit: Leaving]

02:04 darkf has joined #ocaml

02:08 wmeyer has joined #ocaml

02:23 walter|r has quit [Read error: Connection reset by peer]

02:24 walter|r has joined #ocaml

02:24 walter|r has quit [Read error: Connection reset by peer]

02:25 walter|r has joined #ocaml

02:27 walter|r has quit [Read error: Connection reset by peer]

02:28 walter|r has joined #ocaml

02:50 avsm has joined #ocaml

02:59 troydm has joined #ocaml

03:00 wmeyer has quit [Ping timeout: 240 seconds]

03:21 ben_zen has joined #ocaml

03:47 introom has quit [Remote host closed the connection]

03:51 walter|r has quit [Read error: Connection reset by peer]

03:52 walter has joined #ocaml

04:18 introom has joined #ocaml

04:26 introom has quit [Ping timeout: 256 seconds]

04:26 introom has joined #ocaml

04:39 avsm has quit [Quit: Leaving.]

04:45 introom_ has joined #ocaml

04:48 introom has quit [Ping timeout: 264 seconds]

05:03 chrisdotcode has quit [Ping timeout: 246 seconds]

05:03 chrisdotcode_ has joined #ocaml

05:03 chrisdotcode_ has quit [Read error: Connection reset by peer]

05:17 gautamc has quit [Ping timeout: 240 seconds]

05:21 ben_zen has quit [Ping timeout: 240 seconds]

05:34 yezariaely has joined #ocaml

05:37 yacks has quit [Quit: Leaving]

05:38 gautamc has joined #ocaml

05:40 ben_zen has joined #ocaml

05:47 ygrek has quit [Ping timeout: 256 seconds]

05:49 djcoin has joined #ocaml

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

05:52 zpe has joined #ocaml

05:52 gautamc has quit [Read error: Connection reset by peer]

05:55 gautamc has joined #ocaml

06:07 osa1 has quit [Ping timeout: 240 seconds]

06:21 vivanov has joined #ocaml

06:21 <vivanov> how to enable typerex in emacs after installing via opam?

06:22 <orbitz> typerex docs don't say?

06:23 ben_zen has quit [Ping timeout: 260 seconds]

06:24 <vivanov> typerex docs say they are outdated

06:26 zpe_ has joined #ocaml

06:28 ygrek has joined #ocaml

06:28 walter has quit [Read error: Connection reset by peer]

06:29 zpe has quit [Ping timeout: 256 seconds]

06:29 walter has joined #ocaml

06:37 ttamttam has joined #ocaml

06:51 tane has joined #ocaml

06:54 zpe_ has quit [Remote host closed the connection]

06:55 avsm has joined #ocaml

06:59 avsm has quit [Ping timeout: 246 seconds]

07:09 mika1 has joined #ocaml

07:12 <gasche> vivanov: you should try Merlin, which provides a similar level of functionality

07:12 cago has joined #ocaml

07:12 <gasche> (typerex2 is also in the making)

07:12 <vivanov> thx -- ill try

07:13 <vivanov> i managed to manually install typrex a year ago -- it took some time

07:19 rixed has quit [Ping timeout: 240 seconds]

07:25 demonimin_ has quit [Remote host closed the connection]

07:25 demonimin has joined #ocaml

07:25 PM has quit [Ping timeout: 246 seconds]

07:26 <adrien_oww> morning

07:26 <rks`_> hello

07:27 <vivanov> hi

07:27 <rks`_> haha wmeyer apparently enjoyed his drinks with daniel yesterday :D

07:30 vivanov has quit [Quit: leaving]

07:30 avsm has joined #ocaml

07:34 mcclurmc has joined #ocaml

07:35 avsm has quit [Ping timeout: 264 seconds]

07:39 demonimin has quit [Quit: No Ping reply in 180 seconds.]

07:39 demonimin has joined #ocaml

07:59 thomasga has joined #ocaml

08:02 avsm has joined #ocaml

08:05 zpe has joined #ocaml

08:07 avsm has quit [Ping timeout: 256 seconds]

08:09 zpe has quit [Ping timeout: 240 seconds]

08:09 yezariaely1 has joined #ocaml

08:11 yezariaely has quit [Ping timeout: 268 seconds]

08:33 avsm has joined #ocaml

08:38 avsm has quit [Ping timeout: 268 seconds]

08:39 hkBst has joined #ocaml

08:40 walter has quit [Read error: Connection reset by peer]

08:41 walter has joined #ocaml

08:47 asmanur has quit [Ping timeout: 240 seconds]

08:50 yacks has joined #ocaml

08:50 asmanur has joined #ocaml

09:03 avsm has joined #ocaml

09:08 avsm has quit [Ping timeout: 264 seconds]

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

09:15 Snark has joined #ocaml

09:26 tane has quit [Quit: Verlassend]

09:26 PM has joined #ocaml

09:35 avsm has joined #ocaml

09:40 avsm has quit [Ping timeout: 260 seconds]

09:42 introom_ has quit [Remote host closed the connection]

09:43 Xom has quit [Quit: ChatZilla 0.9.90.1 [Firefox 22.0/20130618035212]]

09:48 walter has quit [Read error: Connection reset by peer]

09:49 walter has joined #ocaml

09:51 ontologiae_ has joined #ocaml

09:57 mcclurmc has joined #ocaml

10:05 walter has quit [Read error: Connection reset by peer]

10:06 walter has joined #ocaml

10:06 avsm has joined #ocaml

10:12 avsm has quit [Ping timeout: 268 seconds]

10:17 skchrko has quit [Remote host closed the connection]

10:19 ttamttam has quit [Quit: ttamttam]

10:19 ttamttam has joined #ocaml

10:20 ttamttam has quit [Client Quit]

10:24 introom has joined #ocaml

10:29 ttamttam has joined #ocaml

10:37 walter has quit [Read error: Connection reset by peer]

10:38 walter has joined #ocaml

10:39 avsm has joined #ocaml

10:39 dsheets has quit [Ping timeout: 264 seconds]

10:43 ttamttam has quit [Quit: ttamttam]

10:43 avsm has quit [Ping timeout: 256 seconds]

10:47 Neros has joined #ocaml

10:58 ttamttam has joined #ocaml

10:58 walter has quit [Read error: Connection reset by peer]

10:59 walter has joined #ocaml

11:02 yacks has quit [Ping timeout: 276 seconds]

11:03 q66 has joined #ocaml

11:05 skchrko has joined #ocaml

11:06 dsheets has joined #ocaml

11:09 avsm has joined #ocaml

11:14 skchrko has quit [Ping timeout: 264 seconds]

11:14 avsm has quit [Ping timeout: 264 seconds]

11:16 rixed has joined #ocaml

11:37 zpe has joined #ocaml

11:40 avsm has joined #ocaml

11:44 avsm has quit [Ping timeout: 248 seconds]

11:47 ontologiae_ has quit [Ping timeout: 264 seconds]

11:48 ygrek has quit [Ping timeout: 240 seconds]

11:57 <yezariaely1> drinks?

11:57 <rks`_> no, thanks

11:58 <adrien_oww> I'll take rks`_' share

11:58 rks`_ is now known as rks`

11:58 <yezariaely1> just wondered because you, rks` mentioned drinks above somewhere ;-)

11:58 yezariaely1 is now known as yezariaely

11:59 <rks`> oh :D

11:59 <rks`> yes, he said they were meeting for drinks.

12:11 avsm has joined #ocaml

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

12:18 yacks has joined #ocaml

12:23 shinnya has joined #ocaml

12:32 Drup has joined #ocaml

12:38 ygrek has joined #ocaml

12:40 introom has quit [Remote host closed the connection]

12:40 ontologiae_ has joined #ocaml

12:42 avsm has joined #ocaml

12:43 tane has joined #ocaml

12:44 walter has quit [Read error: Connection reset by peer]

12:44 walter has joined #ocaml

12:47 avsm has quit [Ping timeout: 260 seconds]

12:50 rwmjones has quit [Ping timeout: 245 seconds]

12:59 darkf has quit [Read error: Connection reset by peer]

12:59 darkf has joined #ocaml

13:03 tchell has quit [Ping timeout: 276 seconds]

13:04 rwmjones has joined #ocaml

13:04 tchell has joined #ocaml

13:09 shinnya has quit [Quit: ZNC - http://znc.in]

13:10 kaustuv has joined #ocaml

13:11 yezariaely has quit [Ping timeout: 240 seconds]

13:11 shinnya has joined #ocaml

13:11 <kaustuv> so I am just catching up on two weeks of caml-list -- what are exactly the features of GODI that are missing in OPAM?

13:12 <flux> apparently at least windows support

13:12 <adrien_oww> kaustuv: oh, lucky you: you didn't see it unroll :P

13:12 yezariaely has joined #ocaml

13:12 <adrien_oww> don't read, your mind is still clean

13:13 avsm has joined #ocaml

13:14 rwmjones has quit [Ping timeout: 240 seconds]

13:14 hkBst has quit [Quit: Konversation terminated!]

13:15 <kaustuv> I have been generally quite happy with the msvc based ocaml installer from ocaml.org. The only downside is that it requires interacting with the absurdity that is cygwin's setup.exe.

13:15 <kaustuv> I was worried that all my ocamlbuild setups would break, but not a single one broke.

13:16 gnuvince has quit [Ping timeout: 240 seconds]

13:17 <adrien_oww> took me 10 to 15 minutes to setup everything with cygwin

13:17 avsm has quit [Ping timeout: 246 seconds]

13:17 wwilly has joined #ocaml

13:18 balouis has quit [Ping timeout: 240 seconds]

13:25 djcoin has quit [Ping timeout: 260 seconds]

13:27 rwmjones has joined #ocaml

13:27 shinnya has quit [Ping timeout: 240 seconds]

13:28 <wwilly> bonjour

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

13:32 ygrek has joined #ocaml

13:39 smondet has joined #ocaml

13:42 palomer has joined #ocaml

13:48 metasyntax has joined #ocaml

13:52 palomer has quit [Ping timeout: 245 seconds]

13:54 palomer has joined #ocaml

13:59 introom has joined #ocaml

14:09 avsm has joined #ocaml

14:13 avsm has quit [Ping timeout: 246 seconds]

14:15 osa1 has joined #ocaml

14:24 introom has quit [Ping timeout: 268 seconds]

14:25 introom has joined #ocaml

14:25 palomer has quit [Ping timeout: 264 seconds]

14:29 djcoin has joined #ocaml

14:30 Neros has quit [Ping timeout: 248 seconds]

14:32 avsm has joined #ocaml

14:33 introom has quit [Remote host closed the connection]

14:33 tane has quit [Quit: Verlassend]

14:34 introom has joined #ocaml

14:42 watermind has joined #ocaml

14:47 avsm has quit [Ping timeout: 276 seconds]

14:49 introom has quit [Remote host closed the connection]

14:50 tane has joined #ocaml

14:52 palomer has joined #ocaml

14:56 introom has joined #ocaml

14:56 beckerb_ has joined #ocaml

14:58 contempt has quit [Ping timeout: 240 seconds]

14:59 kaustuv has left #ocaml []

15:00 watermind has quit [Write error: Broken pipe]

15:01 contempt has joined #ocaml

15:05 yezariaely has quit [Quit: Leaving.]

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

15:11 osa1 has quit [Ping timeout: 240 seconds]

15:14 gnuvince has joined #ocaml

15:14 gnuvince has quit [Changing host]

15:14 gnuvince has joined #ocaml

15:16 gautamc has quit [Read error: Connection reset by peer]

15:18 balouis has joined #ocaml

15:18 cago has left #ocaml []

15:18 gautamc has joined #ocaml

15:20 mika1 has quit [Quit: Leaving.]

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

15:27 mort___ has joined #ocaml

15:29 darkf has quit [Quit: Leaving]

15:33 levi has quit [Read error: Connection reset by peer]

15:35 levi has joined #ocaml

15:39 ontologiae_ has quit [Ping timeout: 260 seconds]

15:40 gautamc has quit [Ping timeout: 248 seconds]

15:46 gautamc has joined #ocaml

15:56 _andre has joined #ocaml

15:57 mort___ has quit [Ping timeout: 276 seconds]

16:05 djcoin has quit [Quit: WeeChat 0.4.0]

16:05 ontologiae_ has joined #ocaml

16:07 djcoin has joined #ocaml

16:11 ttamttam has quit [Quit: ttamttam]

16:13 ontologiae_ has quit [Quit: WeeChat 0.4.0]

16:14 djcoin has quit [Quit: WeeChat 0.4.0]

16:26 |jbrown| has joined #ocaml

16:28 jbrown has quit [Ping timeout: 276 seconds]

16:28 tane has quit [Quit: Verlassend]

16:29 k3VB6u4d is now known as goodmanio

16:43 demonimin has quit [Remote host closed the connection]

16:44 demonimin has joined #ocaml

16:51 wwilly has quit [Quit: Leaving]

16:56 zpe has quit [Remote host closed the connection]

16:57 bkpt has joined #ocaml

16:58 mcclurmc has quit [Quit: Leaving.]

17:05 kaustuv has joined #ocaml

17:15 transfinite has joined #ocaml

17:17 ygrek has quit [Ping timeout: 256 seconds]

17:25 tlockney has quit [Excess Flood]

17:25 tlockney has joined #ocaml

17:26 tlockney has quit [Excess Flood]

17:26 tlockney has joined #ocaml

17:33 tlockney has quit [Excess Flood]

17:34 tlockney has joined #ocaml

17:36 ulfdoz has joined #ocaml

17:52 dsheets has quit [Ping timeout: 240 seconds]

17:54 wwilly has joined #ocaml

17:55 contempt has quit [Ping timeout: 256 seconds]

17:59 contempt has joined #ocaml

18:02 |jbrown| has quit [Ping timeout: 248 seconds]

18:04 |jbrown| has joined #ocaml

18:17 Yonex has joined #ocaml

18:23 smondet has quit [Remote host closed the connection]

18:35 smondet has joined #ocaml

18:38 dsheets has joined #ocaml

18:39 contempt has quit [Ping timeout: 245 seconds]

18:42 contempt has joined #ocaml

18:43 travisbrady has joined #ocaml

18:43 tane has joined #ocaml

18:43 ygrek has joined #ocaml

18:46 <travisbrady> anyone have experience wrapping fortran 90 code for use in OCaml?

18:47 <adrien> I'm not sure it's possible to do it without a C layer

18:48 levi has quit [Read error: Connection reset by peer]

18:48 levi has joined #ocaml

18:49 <travisbrady> adrien: Yes, I'll definitely need a C layer. But currently I'm stuck on how to pass a f90 'LOGICAL' value

18:50 <adrien> do you need to do any treatment to it in ocaml?

20:45 clog has quit [^C]

20:45 clog has joined #ocaml

20:50 Snark has quit [Quit: leaving]

21:02 avsm has joined #ocaml

21:06 Drup1 is now known as Drup

21:17 patronus has joined #ocaml

21:19 ousado has quit [Read error: Connection reset by peer]

21:20 ousado has joined #ocaml

21:20 patronus_ has quit [Ping timeout: 264 seconds]

21:23 malo has quit [Quit: Leaving]

21:27 Xom has joined #ocaml

22:00 ulfdoz has quit [Ping timeout: 264 seconds]

22:05 smondet has quit [Quit: now drinks]

22:07 wmeyer has joined #ocaml

22:08 <wmeyer> hi

22:08 <wmeyer> ping adrien

22:12 levi` has joined #ocaml

22:12 venk has joined #ocaml

22:23 travisbrady has quit [Quit: travisbrady]

22:30 wwilly has quit [Remote host closed the connection]

22:39 shinnya has joined #ocaml

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

22:46 Neros has joined #ocaml

22:52 levi` has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]

22:53 levi has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]

22:54 levi has joined #ocaml

23:06 osa1 has quit [Ping timeout: 240 seconds]

23:06 lifeng has quit [Ping timeout: 264 seconds]

23:28 tlockney has quit [Ping timeout: 245 seconds]

23:28 ollehar has joined #ocaml

23:28 tlockney has joined #ocaml

23:42 walter has quit [Read error: Connection reset by peer]

23:43 walter has joined #ocaml

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