#ocaml on 2014-02-07 — irc logs at freenode.irclog.whitequark.org

2014-01-28 20:18 lapinou changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | http://www.ocaml.org | OCaml 4.01.0 announce at http://bit.ly/1851A3R | Public logs at http://tunes.org/~nef/logs/ocaml/

00:04 yellowfish has joined #ocaml

00:08 thomasga has quit [Quit: Leaving.]

00:08 thomasga has joined #ocaml

00:08 yellowfish has quit [Changing host]

00:08 yellowfish has joined #ocaml

00:13 thomasga has quit [Ping timeout: 248 seconds]

00:15 wolfnn has quit [Ping timeout: 272 seconds]

00:16 ollehar has quit [Ping timeout: 246 seconds]

00:27 zpe has quit [Remote host closed the connection]

00:27 comacat has quit [Quit: Lost terminal]

00:27 zpe has joined #ocaml

00:32 zpe has quit [Ping timeout: 245 seconds]

00:39 ollehar has joined #ocaml

00:50 r0bgleeson has quit [Ping timeout: 245 seconds]

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

00:51 ollehar has quit [Ping timeout: 246 seconds]

00:52 ollehar has joined #ocaml

00:54 r0bgleeson has joined #ocaml

01:01 manud has quit [Ping timeout: 245 seconds]

01:01 r0bgleeson has quit [Ping timeout: 245 seconds]

01:03 pkrnj has joined #ocaml

01:06 malo has quit [Quit: Leaving]

01:09 ygrek has joined #ocaml

01:09 Dongyancai has quit [Ping timeout: 252 seconds]

01:18 Dongyancai has joined #ocaml

01:22 ollehar has quit [Ping timeout: 246 seconds]

01:22 zpe has joined #ocaml

01:24 r0bgleeson has joined #ocaml

01:26 manizzle has quit [Ping timeout: 272 seconds]

01:29 ontologiae has quit [Ping timeout: 245 seconds]

01:34 arjunguha has joined #ocaml

01:40 ygrek has quit [Ping timeout: 260 seconds]

01:50 arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

01:55 arjunguha has joined #ocaml

02:04 kyrylo has quit [Ping timeout: 260 seconds]

02:05 ygrek has joined #ocaml

02:12 pkrnj has quit [Quit: Computer has gone to sleep.]

02:15 yellowfish has quit [Ping timeout: 253 seconds]

02:17 pkrnj has joined #ocaml

02:26 struktured has joined #ocaml

02:26 yacks has joined #ocaml

02:30 zpe has quit [Remote host closed the connection]

02:30 zpe has joined #ocaml

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

02:39 yellowfish has joined #ocaml

02:39 yellowfish has quit [Changing host]

02:39 yellowfish has joined #ocaml

02:41 arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

02:43 manud has joined #ocaml

02:44 yellowfish has quit [Ping timeout: 260 seconds]

02:45 arjunguha has joined #ocaml

02:48 arjunguha has quit [Client Quit]

02:53 struktured has quit [Ping timeout: 245 seconds]

02:54 yellowfish has joined #ocaml

02:57 clan has joined #ocaml

03:05 yellowfish has quit [Ping timeout: 245 seconds]

03:06 manud has quit [Quit: Leaving]

03:08 nilton has joined #ocaml

03:10 gambogi has quit [Ping timeout: 245 seconds]

03:12 r0bglees0n has joined #ocaml

03:12 r0bgleeson has quit [Ping timeout: 252 seconds]

03:18 struktured has joined #ocaml

03:23 siddharthv_away is now known as siddharthv

03:23 mmachenry has joined #ocaml

03:34 mocrunsthecity has joined #ocaml

03:36 nilton has quit [Quit: Bye]

03:38 thizanne has quit [Ping timeout: 265 seconds]

03:41 zpe has joined #ocaml

03:44 thizanne has joined #ocaml

03:45 mocrunsthecity has quit [Read error: Connection reset by peer]

03:45 mocrunsthecity has joined #ocaml

03:45 zpe has quit [Ping timeout: 246 seconds]

03:46 csakatoku has joined #ocaml

03:48 thizanne has quit [Ping timeout: 252 seconds]

03:49 thizanne has joined #ocaml

03:55 mcclurmc has joined #ocaml

03:59 mmachenry has quit [Quit: Leaving.]

04:01 mocrunsthecity has quit [Remote host closed the connection]

04:08 thizanne has quit [Ping timeout: 260 seconds]

04:10 mocrunsthecity has joined #ocaml

04:10 zpe has joined #ocaml

04:11 ggole has joined #ocaml

04:12 clan has quit [Ping timeout: 248 seconds]

04:13 clan has joined #ocaml

04:13 sheijk has quit [Ping timeout: 272 seconds]

04:17 thizanne has joined #ocaml

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

04:22 thizanne has quit [Ping timeout: 246 seconds]

04:24 r0bglees0n has quit [Ping timeout: 272 seconds]

04:27 thizanne has joined #ocaml

04:29 axiles has joined #ocaml

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

04:29 pkrnj has quit [Quit: Textual IRC Client: www.textualapp.com]

04:32 thizanne has quit [Ping timeout: 250 seconds]

04:33 thizanne has joined #ocaml

04:33 zpe has quit [Remote host closed the connection]

04:34 zpe has joined #ocaml

04:38 zpe has quit [Ping timeout: 245 seconds]

04:39 sheijk has joined #ocaml

04:45 WraithM has quit [Quit: Lost terminal]

04:46 WraithM has joined #ocaml

04:46 sheijk has quit [Ping timeout: 245 seconds]

04:47 yellowfish has joined #ocaml

04:59 zpe has joined #ocaml

05:07 yellowfish has quit [Ping timeout: 260 seconds]

05:13 lostcuaz has quit [Quit: Textual IRC Client: www.textualapp.com]

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

05:18 zpe has joined #ocaml

05:18 lostcuaz has joined #ocaml

05:23 zpe has quit [Ping timeout: 245 seconds]

05:25 lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

05:31 lostcuaz has joined #ocaml

05:41 sheijk has joined #ocaml

05:46 sheijk has quit [Ping timeout: 245 seconds]

05:47 philtor has quit [Ping timeout: 245 seconds]

05:48 mchqwerty has joined #ocaml

06:00 clan has quit [Quit: clan]

06:12 thizanne has quit [Ping timeout: 250 seconds]

06:13 thizanne has joined #ocaml

06:13 dant3 has joined #ocaml

06:19 yacks has quit [Quit: Leaving]

06:28 thizanne has quit [Ping timeout: 272 seconds]

06:28 yellowfish has joined #ocaml

06:29 zpe has joined #ocaml

06:31 ygrek has joined #ocaml

06:32 Yoric has joined #ocaml

06:32 thizanne has joined #ocaml

06:33 zpe has quit [Ping timeout: 250 seconds]

06:34 clan has joined #ocaml

06:37 Yoric has quit [Ping timeout: 272 seconds]

06:37 thizanne has quit [Ping timeout: 252 seconds]

06:41 sheijk has joined #ocaml

06:44 thizanne has joined #ocaml

06:44 Kakadu has joined #ocaml

06:46 sheijk has quit [Ping timeout: 245 seconds]

06:47 jao has quit [Read error: Operation timed out]

06:47 ygrek has quit [Remote host closed the connection]

06:48 ygrek has joined #ocaml

06:49 thizanne has quit [Ping timeout: 253 seconds]

06:51 sheijk has joined #ocaml

06:59 dant3 has quit [Remote host closed the connection]

07:02 sheijk has quit [Ping timeout: 252 seconds]

07:06 dant3 has joined #ocaml

07:14 yellowfish has quit [Ping timeout: 246 seconds]

07:14 Yoric has joined #ocaml

07:16 yacks has joined #ocaml

07:16 thizanne has joined #ocaml

07:22 thizanne has quit [Ping timeout: 260 seconds]

07:24 mchqwerty has quit [Ping timeout: 246 seconds]

07:25 ggole has quit [Ping timeout: 250 seconds]

07:25 ggole has joined #ocaml

07:29 thizanne has joined #ocaml

07:34 thizanne has quit [Ping timeout: 260 seconds]

07:36 Simn has joined #ocaml

07:39 thizanne has joined #ocaml

07:42 cago has joined #ocaml

07:47 dant3 has quit [Remote host closed the connection]

07:52 dant3 has joined #ocaml

07:56 dant3 has quit [Ping timeout: 245 seconds]

07:58 mort___ has joined #ocaml

08:00 Yoric has quit [Ping timeout: 246 seconds]

08:04 FreeArtMan has joined #ocaml

08:11 dant3 has joined #ocaml

08:17 ollehar has joined #ocaml

08:22 Thooms has joined #ocaml

08:31 dant3 has quit [Read error: Connection reset by peer]

08:32 dant3 has joined #ocaml

08:39 FreeArtMon has joined #ocaml

08:42 clan has quit [Quit: clan]

08:43 FreeArtMan has quit [Ping timeout: 250 seconds]

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

08:44 dant3 has joined #ocaml

08:47 ontologiae has joined #ocaml

08:50 nlucaron1 has joined #ocaml

08:52 nlucaroni has quit [Ping timeout: 245 seconds]

08:55 Yoric has joined #ocaml

08:55 mchqwerty has joined #ocaml

08:57 ollehar1 has joined #ocaml

08:58 ontologiae has quit [Ping timeout: 245 seconds]

08:58 ontologiae has joined #ocaml

08:58 ollehar has quit [Ping timeout: 246 seconds]

09:02 dsheets has quit [Ping timeout: 245 seconds]

09:03 Arsenik has joined #ocaml

09:03 kyrylo has joined #ocaml

09:04 ollehar1 has quit [Ping timeout: 272 seconds]

09:23 csakatoku has quit [Remote host closed the connection]

09:24 ontologiae has quit [Ping timeout: 252 seconds]

09:28 _andre has joined #ocaml

09:29 avsm has joined #ocaml

09:30 jonludlam has joined #ocaml

09:30 mchqwerty has quit [Ping timeout: 260 seconds]

09:31 dsheets has joined #ocaml

09:35 avsm has quit [Quit: Leaving.]

09:36 avsm has joined #ocaml

09:36 thomasga has joined #ocaml

09:38 csakatoku has joined #ocaml

09:38 FreeArtMon has quit [Ping timeout: 245 seconds]

09:41 dant3 has quit [Remote host closed the connection]

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

09:48 avsm has quit [Quit: Leaving.]

09:50 talzeus has joined #ocaml

09:51 FreeArtMon has joined #ocaml

09:53 ontologiae has joined #ocaml

09:53 talzeus_ has joined #ocaml

09:53 ollehar has joined #ocaml

09:54 siddharthv is now known as siddharthv_away

09:55 talzeus has quit [Ping timeout: 248 seconds]

09:58 avsm has joined #ocaml

10:04 ollehar has quit [Ping timeout: 260 seconds]

10:08 dant3 has joined #ocaml

10:09 ollehar has joined #ocaml

10:10 mort___ has quit [Quit: Leaving.]

10:12 dant3 has quit [Read error: Connection reset by peer]

10:12 dant3 has joined #ocaml

10:13 <troydm> when i do let help = print_string "my help string\n"

10:13 <troydm> it prints the help during initializing

10:13 <troydm> instead i want help to be a function that prints help

10:14 <troydm> how do i specify that?

10:14 <Kakadu> let help () = ...

10:15 <troydm> Kakadu: is there any other way to specify that it's a function?

10:17 csakatoku has joined #ocaml

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

10:18 dant3 has joined #ocaml

10:18 <ggole> troydm: you could use different syntax, but that wouldn't really make much difference

10:19 <troydm> ggole: like what different syntax?

10:19 <ggole> let help = fun () -> ...

10:19 <ggole> The former is sugar for the latter, more or less.

10:23 mchqwerty has joined #ocaml

10:24 mchqwerty has quit [Client Quit]

10:26 <troydm> ggole: ah, ic, thx

10:30 ocp has joined #ocaml

10:31 mchqwerty has joined #ocaml

10:31 r0bgleeson has joined #ocaml

10:31 FreeArtMan__ has joined #ocaml

10:32 FreeArtMon has quit [Read error: Operation timed out]

10:42 talzeus_ has quit [Ping timeout: 250 seconds]

10:43 talzeus has joined #ocaml

10:43 talzeus_ has joined #ocaml

10:47 talzeus has quit [Ping timeout: 260 seconds]

10:47 NoNNaN has quit [Ping timeout: 240 seconds]

10:50 mchqwerty has quit [Read error: Operation timed out]

10:50 talzeus_ has quit [Read error: Connection reset by peer]

10:50 NoNNaN has joined #ocaml

10:50 talzeus has joined #ocaml

10:53 FreeArtMon has joined #ocaml

10:53 talzeus has quit [Read error: Connection reset by peer]

10:54 talzeus has joined #ocaml

10:56 FreeArtMan__ has quit [Ping timeout: 260 seconds]

11:01 csakatoku has quit [Ping timeout: 252 seconds]

11:02 talzeus_ has joined #ocaml

11:02 talzeus has quit [Ping timeout: 248 seconds]

11:09 FreeArtMan__ has joined #ocaml

11:11 NoNNaN has quit [Ping timeout: 240 seconds]

11:11 dant3 has quit [Remote host closed the connection]

11:12 FreeArtMon has quit [Ping timeout: 245 seconds]

11:15 NoNNaN has joined #ocaml

11:16 thizanne has quit [Ping timeout: 260 seconds]

11:17 thizanne has joined #ocaml

11:17 FreeArtMan__ has quit [Ping timeout: 245 seconds]

11:20 talzeus has joined #ocaml

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

11:22 thizanne has quit [Ping timeout: 252 seconds]

11:26 FreeArtMan has joined #ocaml

11:28 darkf has quit [Quit: Leaving]

11:28 mchqwerty has joined #ocaml

11:30 talzeus has quit [Ping timeout: 245 seconds]

11:32 arjunguha has joined #ocaml

11:33 thizanne has joined #ocaml

11:34 mort___ has joined #ocaml

11:35 talzeus has joined #ocaml

11:39 dant3 has joined #ocaml

11:39 jbrown has quit [Remote host closed the connection]

11:40 talzeus_ has joined #ocaml

11:40 talzeus has quit [Ping timeout: 245 seconds]

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

11:44 jbrown has joined #ocaml

11:44 skchrko has joined #ocaml

11:45 mchqwerty has quit [Ping timeout: 246 seconds]

11:45 arjunguha has joined #ocaml

11:50 mchqwerty has joined #ocaml

11:53 avsm has quit [Quit: Leaving.]

11:54 talzeus_ has quit [Ping timeout: 248 seconds]

11:57 talzeus has joined #ocaml

11:57 thizanne has quit [Ping timeout: 245 seconds]

12:01 talzeus has quit [Remote host closed the connection]

12:02 ygrek has quit [Ping timeout: 250 seconds]

12:03 NoNNaN has quit [Ping timeout: 240 seconds]

12:03 mort___ has quit [Quit: Leaving.]

12:04 thizanne has joined #ocaml

12:06 NoNNaN has joined #ocaml

12:09 mchqwerty has quit [Ping timeout: 245 seconds]

12:11 thizanne has quit [Ping timeout: 245 seconds]

12:13 thizanne has joined #ocaml

12:18 thizanne has quit [Ping timeout: 248 seconds]

12:19 arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

12:19 thizanne has joined #ocaml

12:23 FreeArtMon has joined #ocaml

12:24 arjunguha has joined #ocaml

12:26 thizanne has quit [Ping timeout: 246 seconds]

12:27 FreeArtMan has quit [Ping timeout: 248 seconds]

12:28 <testcocoon> I'm trying to compile http://ocamlgraph.lri.fr/demo.ml, I get the error 'Error: Unbound module Rand' does anybidy know which opam package I need to install?

12:30 <companion_cube> I'd say it's Random?

12:30 <adrien_oww> "Rand" :o

12:31 <testcocoon> adrien_oww: this would be easy...

12:31 thizanne has joined #ocaml

12:31 kyrylo has quit [Quit: Viva la revolucion!]

12:31 <testcocoon> Hmm It seams that Rand is a module of ocamlgraph...

12:31 dsheets has quit [Read error: Operation timed out]

12:31 <testcocoon> -> http://docs.camlcity.org/docs/godipkg/3.12/godi-ocamlgraph/lib/ocaml/pkg-lib/ocamlgraph/rand.mli

12:32 <companion_cube> then it should be opened after "Graph"

12:32 FreeArtMan__ has joined #ocaml

12:33 FreeArtMon has quit [Read error: Operation timed out]

12:33 <adrien_oww> testcocoon: I mean, I wasn't aware of a module named "Rand"

12:34 <testcocoon> adrien_oww: I think that the last line of the sample is also useless -> to compile... execute make. Better would be to give the ocamlc command

12:37 Kakadu has quit [Ping timeout: 245 seconds]

12:37 thizanne has quit [Ping timeout: 246 seconds]

12:39 thizanne has joined #ocaml

12:44 mort___ has joined #ocaml

12:45 lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

12:45 thizanne has quit [Ping timeout: 272 seconds]

12:45 arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

12:47 avsm has joined #ocaml

12:50 mchqwerty has joined #ocaml

12:50 <gasche> def-lkb: any news on the ocamllex front?

12:52 ollehar has quit [Ping timeout: 245 seconds]

12:52 ollehar has joined #ocaml

12:56 yacks has quit [Quit: Leaving]

12:57 thizanne has joined #ocaml

12:58 FreeArtMan__ has quit [Quit: main.lv]

13:03 thizanne has quit [Ping timeout: 252 seconds]

13:12 thizanne has joined #ocaml

13:14 FreeArtMan has joined #ocaml

13:16 <avsm> gasche: https://github.com/avsm/opam-sync-github-prs

13:21 <testcocoon> adrien_oww: it seams that opam provides ocamlgraph v 1.8.3 and the demo is for 1.8.4

13:21 <adrien_oww> testcocoon: I doubt that would be the difference

13:21 <adrien_oww> more probably search path

13:22 <adrien_oww> especially if the demo was meant to be run from the source dir

13:22 FreeArtMon has joined #ocaml

13:23 <testcocoon> no, if I replace open Rand by open Graph.Rand I come a little bit forward

13:23 arjunguha has joined #ocaml

13:23 shinnya has joined #ocaml

13:24 <adrien_oww> :)

13:26 FreeArtMan has quit [Ping timeout: 260 seconds]

13:26 thomasga has quit [Quit: Leaving.]

13:27 <testcocoon> BTW: I had a look last ween the sample was more primitive: http://web.archive.org/web/20130622062700/http://ocamlgraph.lri.fr/demo.ml

13:28 mort___ has quit [Quit: Leaving.]

13:34 ontologiae has quit [Ping timeout: 245 seconds]

13:35 mort___ has joined #ocaml

13:35 sheijk has joined #ocaml

13:38 thomasga has joined #ocaml

13:38 <gasche> avsm: nice!

13:38 thomasga has quit [Client Quit]

13:39 sagotch has joined #ocaml

13:44 ollehar has quit [Ping timeout: 246 seconds]

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

13:46 watermind has joined #ocaml

13:49 FreeArtMan__ has joined #ocaml

13:50 FreeArtMon has quit [Read error: Operation timed out]

13:50 ollehar has joined #ocaml

13:52 kyrylo has joined #ocaml

13:53 dant3 has quit [Remote host closed the connection]

13:53 dant3 has joined #ocaml

13:54 saml has joined #ocaml

13:55 mort___ has quit [Quit: Leaving.]

13:58 avsm has joined #ocaml

13:59 <def-lkb> gasche: I am satisfied with my new solytion (so far it works as expected). I have updated my github proect and part of the documentation

14:00 <def-lkb> I am not sure how to proceed: open a new pull request, or update the current one

14:00 <def-lkb> (In the latter case, the descirption/documebtation will no longer match new code)

14:03 ollehar has quit [Ping timeout: 272 seconds]

14:03 dant3 has quit [Remote host closed the connection]

14:07 csakatoku has joined #ocaml

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

14:09 csakatoku has quit [Client Quit]

14:13 <johnelse> anyone else notice merlin not recognising the Mutex module?

14:13 <johnelse> I have "PKG threads" in my .merlin

14:20 struktured has quit [Ping timeout: 245 seconds]

14:20 <gasche> def-lkb: do as you please, but if you want me to ping Luc, do fast

14:21 lostcuaz has joined #ocaml

14:24 <gasche> def-lkb: I have an idea for maybe the best of both world

14:24 <gasche> instead of push -f, revert the previous commits and commit the new ones on top of that

14:25 <gasche> readers of the PR will have access to the whole story

14:25 <gasche> then we can compress at merge time

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

14:29 demonimin has quit [Ping timeout: 252 seconds]

14:30 <testcocoon> hi, do any of you have a good library to generate static HTML files?

14:30 Thooms has quit [Remote host closed the connection]

14:31 Thooms has joined #ocaml

14:31 pminten has joined #ocaml

14:33 <companion_cube> testcocoon: not sure, but eliom might do it, or cow

14:33 <companion_cube> http://opam.ocaml.org/pkg/ search "html"

14:33 <smondet> testcocoon: https://github.com/pw374/omd

14:33 <jpdeplaix> testcocoon: do you want a webframework or just a Html generator ?

14:34 mchqwerty has quit [Quit: Odcházím]

14:34 <smondet> or ocsigen.org/tyxml/

14:34 <testcocoon> Just a stupid HTML file generator to write HTML reports

14:36 <jpdeplaix> so, omd or tyxml can do the job

14:38 demonimin has joined #ocaml

14:38 ollehar has joined #ocaml

14:39 ollehar has quit [Client Quit]

14:39 <pminten> jpdeplaix: I used tyxml recently for generating some HTML, it's not the prettiest code but it certainly works well

14:41 struktured has joined #ocaml

14:42 ollehar has joined #ocaml

14:46 <testcocoon> Will have a try with tyxml

14:47 <testcocoon> Shit tyxml will certainly not work, because I guess it will be in conflict with bisect.

14:47 struktured has quit [Ping timeout: 272 seconds]

14:47 <jpdeplaix> why ?

14:47 <testcocoon> I guess that the code coverage will no more be correct with this syntax extension

14:48 <jpdeplaix> you don't have to use the syntax extension

14:48 <testcocoon> Then...

14:49 <jpdeplaix> actually nobody (AFAIK) use this syntax extension

14:58 <smondet> testcocoon: I don't use the tyxml syntax either but I think it is pretty well "delimited" and should not be confliciting with other extensions

14:58 FreeArtMon has joined #ocaml

15:00 cago has left #ocaml []

15:02 FreeArtMan__ has quit [Ping timeout: 250 seconds]

15:02 lostcuaz has joined #ocaml

15:02 pminten has quit [Remote host closed the connection]

15:03 Yoric has quit [Ping timeout: 265 seconds]

15:04 jonludlam has quit [Remote host closed the connection]

15:04 lostcuaz has quit [Read error: Connection reset by peer]

15:07 philtor has joined #ocaml

15:08 lostcuaz has joined #ocaml

15:13 <Drup> testcocoon: I will go a bit further and say you shouldn't use the syntax extension

15:13 <Drup> it's fragile, old and confusing in some parts

15:14 avsm has joined #ocaml

15:14 FreeArtMon has quit [Read error: Operation timed out]

15:15 <testcocoon> I aggree

15:15 thomasga has joined #ocaml

15:15 dsheets has joined #ocaml

15:18 thomasga1 has joined #ocaml

15:19 arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

15:19 thomasga has quit [Ping timeout: 245 seconds]

15:20 yellowfish has joined #ocaml

15:26 yellowfish has quit [Ping timeout: 245 seconds]

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

15:30 FreeArtMon has joined #ocaml

15:30 S11001001 has joined #ocaml

15:30 S11001001 has quit [Changing host]

15:30 S11001001 has joined #ocaml

15:31 mmachenry has joined #ocaml

15:35 shinnya has quit [Ping timeout: 245 seconds]

15:39 watermind has quit [Quit: Konversation terminated!]

15:42 pminten has joined #ocaml

15:42 FreeArtMon has quit [Ping timeout: 246 seconds]

15:48 arjunguha has joined #ocaml

15:53 Yoric has joined #ocaml

15:56 avsm has quit [Quit: Leaving.]

15:59 Thooms has quit [Quit: WeeChat 0.3.8]

16:06 ocp has quit [Ping timeout: 245 seconds]

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

16:06 kyrylo has quit [Quit: Viva la revolucion!]

16:10 lostcuaz has joined #ocaml

16:11 jwatzman|work has joined #ocaml

16:13 struktured has joined #ocaml

16:15 sagotch has quit [Quit: Page closed]

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

16:17 S11001001 has quit [Quit: talkin' 'bout things]

16:17 Yoric has quit [Ping timeout: 265 seconds]

16:21 Kakadu has joined #ocaml

16:29 kyrylo has joined #ocaml

16:29 ontologiae has joined #ocaml

16:29 FreeArtMan has joined #ocaml

16:34 FreeArtMon has joined #ocaml

16:38 FreeArtMan has quit [Ping timeout: 248 seconds]

16:45 pminten has quit [Quit: Leaving]

16:50 zpe has joined #ocaml

16:55 yellowfish has joined #ocaml

17:03 wolfnn has joined #ocaml

17:04 ollehar has quit [Ping timeout: 246 seconds]

17:10 thomasga1 has quit [Quit: Leaving.]

17:14 dant3 has joined #ocaml

17:14 arjunguha has joined #ocaml

17:19 arj has joined #ocaml

17:20 struktured has quit [Ping timeout: 248 seconds]

17:21 skchrko has quit [Quit: Leaving]

17:24 thomasga has joined #ocaml

17:26 yellowfish has quit [Ping timeout: 260 seconds]

17:28 avsm has joined #ocaml

17:29 FreeArtMan__ has joined #ocaml

17:31 struktured has joined #ocaml

17:32 Thooms has joined #ocaml

17:32 FreeArtMon has quit [Ping timeout: 260 seconds]

17:46 kyrylo has quit [Read error: No route to host]

17:47 FreeArtMon has joined #ocaml

17:47 FreeArtMan__ has quit [Read error: Operation timed out]

17:49 dsheets has quit [Ping timeout: 260 seconds]

17:50 arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

17:55 clan has joined #ocaml

17:56 axiles has quit [Ping timeout: 260 seconds]

17:56 kyrylo has joined #ocaml

18:00 <def-lkb> gasche: I updated the pull request, the ML-engine patch is still young, I am doing more testing right now

18:05 arjunguha has joined #ocaml

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

18:13 avsm has quit [Ping timeout: 250 seconds]

18:14 thizanne has quit [Ping timeout: 250 seconds]

18:14 axiles has joined #ocaml

18:17 _andre has quit [Quit: leaving]

18:19 axiles has quit [Ping timeout: 248 seconds]

18:19 axiles has joined #ocaml

18:19 thomasga has quit [Ping timeout: 250 seconds]

18:20 <rks> gasche: https://github.com/the-lambda-church/merlin/issues/152 ping please

18:20 oriba has joined #ocaml

18:22 jao has joined #ocaml

18:23 jao has quit [Changing host]

18:23 jao has joined #ocaml

18:23 FreeArtMan__ has joined #ocaml

18:23 ggole has quit []

18:26 FreeArtMon has quit [Ping timeout: 245 seconds]

18:32 thizanne has joined #ocaml

18:36 Thooms has quit [Quit: WeeChat 0.3.8]

18:36 Thooms has joined #ocaml

18:36 Anarchos has joined #ocaml

18:43 FreeArtMon has joined #ocaml

18:45 FreeArtMan__ has quit [Ping timeout: 245 seconds]

18:47 mocrunsthecity has quit [Remote host closed the connection]

18:47 mocrunsthecity has joined #ocaml

18:51 Yoric has joined #ocaml

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

18:57 madroach has joined #ocaml

19:01 S11001001 has joined #ocaml

19:01 S11001001 has quit [Changing host]

19:01 S11001001 has joined #ocaml

19:02 Yoric has quit [Ping timeout: 265 seconds]

19:02 arj has quit [Quit: Leaving.]

19:06 skchrko has joined #ocaml

19:11 Yoric has joined #ocaml

19:14 arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

19:14 arjunguha has joined #ocaml

19:15 r0bgleeson has quit [Quit: brb quit]

19:15 r0bgleeson has joined #ocaml

19:18 arjunguha has quit [Read error: Operation timed out]

19:24 lostcuaz has quit [Ping timeout: 245 seconds]

19:36 <troydm> btw is ocamlscope open sourced?

19:37 <troydm> ocaml needs some tool like hoogle for haskell

19:37 <troydm> and the best i've found so far is ocamlscope

19:38 <Drup> https://bitbucket.org/camlspotter/ocamloscope-server/issue/14/make-the-source-code-open

19:38 <troydm> but it's ui could be tweaked to look like something decen

19:38 <troydm> *decent

19:39 mort___ has joined #ocaml

19:40 philtor has quit [Ping timeout: 250 seconds]

19:41 <troydm> Drup: ah, ic, thx

19:58 lostcuaz has joined #ocaml

20:06 dant3 has quit [Remote host closed the connection]

20:06 comacat has joined #ocaml

20:07 <Drup> troydm: opam-doc, which is hopefully going to happen in a few month, make solve this issue too

20:07 <Drup> may*

20:09 <troydm> Drup: ohh they are working on it, cool :)

20:10 ulfdoz has joined #ocaml

20:11 <Drup> yeah

20:11 <Drup> it doesn't handle search yet, but it's a planned feature

20:15 arjunguha has joined #ocaml

20:19 FreeArtMon has quit [Ping timeout: 250 seconds]

20:23 shinnya has joined #ocaml

20:24 mocrunsthecity has quit [Quit: Leaving...]

20:25 Yoric has quit [Ping timeout: 265 seconds]

20:31 FreeArtMon has joined #ocaml

20:37 clan has quit [Quit: clan]

20:39 nilton has joined #ocaml

20:43 struktured has quit [Ping timeout: 248 seconds]

20:47 Yoric has joined #ocaml

20:48 clan has joined #ocaml

20:56 axiles has quit [Remote host closed the connection]

20:57 FreeArtMon has quit [Quit: main.lv]

21:00 lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

21:02 clan has quit [Quit: clan]

21:03 philtor has joined #ocaml

21:04 comacat_ has joined #ocaml

21:04 mort___ has quit [Quit: Leaving.]

21:05 comacat has quit [Ping timeout: 245 seconds]

21:11 yellowfish has joined #ocaml

21:14 Kakadu has quit [Quit: Konversation terminated!]

21:17 Yoric has quit [Ping timeout: 265 seconds]

21:22 Yoric has joined #ocaml

21:28 jwatzman|work has quit [Quit: jwatzman|work]

21:29 jwatzman|work has joined #ocaml

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

21:37 Yoric has quit [Ping timeout: 265 seconds]

21:39 sillyotter has joined #ocaml

21:44 sillyotter has quit [Quit: Leaving]

21:45 ulfdoz has quit [Read error: Operation timed out]

21:46 Sim_n has joined #ocaml

21:48 thomasga has joined #ocaml

21:49 Simn has quit [Ping timeout: 252 seconds]

21:56 Yoric has joined #ocaml

22:05 caseyjames has joined #ocaml

22:08 saml has quit [Quit: Leaving]

22:17 Anarchos has quit [Remote host closed the connection]

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

22:34 Yoric has quit [Ping timeout: 265 seconds]

22:34 Thooms has quit [Read error: Operation timed out]

22:36 kyrylo has quit [Read error: Connection reset by peer]

22:37 Thooms has joined #ocaml

22:38 kyrylo has joined #ocaml

22:48 srcerer has joined #ocaml

22:48 srcerer has quit [Client Quit]

22:48 sagotch has joined #ocaml

22:50 srcerer has joined #ocaml

22:52 Thooms has quit [Quit: WeeChat 0.3.8]

23:04 <tvn__> how can I declare a type Num that can either be int or string ? , e.g., 3 is of type Num and "4" is also of type Num

23:04 <adrien> that's not possible

23:05 <adrien> you can do type t = Int of int | String of string

23:05 <pippijn> Num is never a tpe

23:05 <pippijn> type*

23:05 <adrien> and (Int 42)

23:05 <pippijn> Num is a type constructor or a module name

23:05 <adrien> (also, Num is already used by the standard library)

23:06 <tvn__> adrien, yeh I think that's what I want,

23:06 <pippijn> I think so, too :)

23:07 Sim_n has quit [Quit: Leaving]

23:09 comacat_ has quit [Ping timeout: 260 seconds]

23:10 IbnFirnas has quit [Ping timeout: 240 seconds]

23:10 bobry has quit [Ping timeout: 276 seconds]

23:10 divyansr__ has quit [Ping timeout: 276 seconds]

23:10 IbnFirnas has joined #ocaml

23:13 arjunguha has joined #ocaml

23:14 divyansr__ has joined #ocaml

23:14 bobry__ has joined #ocaml

23:15 darkf has joined #ocaml

23:16 sagotch has quit [Read error: Connection reset by peer]

23:18 arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

23:19 sagotch has joined #ocaml

23:32 oriba has quit [Quit: oriba]

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

23:39 madroach has joined #ocaml

23:45 comacat has joined #ocaml

23:49 comacat has quit [Client Quit]

23:50 jao has quit [Ping timeout: 246 seconds]

23:51 mreca has joined #ocaml

23:51 yellowfish has quit [Ping timeout: 272 seconds]

23:54 Anarchos has joined #ocaml