#ocaml on 2013-12-31 — 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:09 arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

00:11 ulfdoz has quit [Ping timeout: 248 seconds]

00:12 introom has joined #ocaml

00:14 <MiggyX> Okay, sweet, string_opt worked :) But still having issues passing a string into the C function for it to update the error message.

00:18 boogie has quit [Remote host closed the connection]

00:20 mreca has joined #ocaml

00:23 arjunguha has joined #ocaml

00:28 dant3 has joined #ocaml

00:32 dant3 has quit [Ping timeout: 246 seconds]

00:32 ollehar has quit [Ping timeout: 252 seconds]

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

00:40 Simn has quit [Quit: Leaving]

00:41 malo has joined #ocaml

00:43 fusillia has quit [Ping timeout: 240 seconds]

00:44 fusillia has joined #ocaml

01:05 fusillia has quit [Ping timeout: 246 seconds]

01:05 fusillia has joined #ocaml

01:07 cesar_ has joined #ocaml

01:07 cesar_ is now known as Guest83309

01:07 fusillia has quit [Read error: Connection reset by peer]

01:17 lostcuaz has joined #ocaml

01:22 lioncourt has joined #ocaml

01:28 dant3 has joined #ocaml

01:32 lioncourt has quit [Remote host closed the connection]

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

01:36 yacks has joined #ocaml

01:44 arjunguha has joined #ocaml

01:50 rz has quit [Ping timeout: 260 seconds]

01:52 rz has joined #ocaml

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

01:59 yacks has quit [Ping timeout: 240 seconds]

02:08 PM has joined #ocaml

02:10 arjunguha has joined #ocaml

02:19 Eyyub has joined #ocaml

02:24 talzeus_ has joined #ocaml

02:25 talzeus__ has joined #ocaml

02:29 dant3 has joined #ocaml

02:29 talzeus_ has quit [Ping timeout: 272 seconds]

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

02:30 yacks has joined #ocaml

02:32 arjunguha has joined #ocaml

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

02:34 arjunguha has quit [Client Quit]

02:38 arjunguha has joined #ocaml

02:38 yacks has quit [Read error: Operation timed out]

02:40 arjunguha has quit [Client Quit]

02:44 talzeus__ has quit [Read error: Connection reset by peer]

02:59 arjunguha has joined #ocaml

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

03:11 arjunguha has joined #ocaml

03:18 Guest83309 has quit [Remote host closed the connection]

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

03:24 divyansr_ has joined #ocaml

03:25 talzeus_ has joined #ocaml

03:25 talzeus__ has joined #ocaml

03:29 talzeus_ has quit [Ping timeout: 240 seconds]

03:30 dant3 has joined #ocaml

03:32 mreca has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

03:34 arjunguha has joined #ocaml

03:35 dant3 has quit [Ping timeout: 252 seconds]

03:42 Eyyub has quit [Ping timeout: 246 seconds]

03:43 yacks has joined #ocaml

03:50 introom has quit [Ping timeout: 265 seconds]

03:53 jao has quit [Ping timeout: 248 seconds]

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

04:22 arjunguha has joined #ocaml

04:22 arjunguha has quit [Client Quit]

04:31 dant3 has joined #ocaml

04:35 dant3 has quit [Ping timeout: 240 seconds]

04:37 lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

04:49 boogie has joined #ocaml

05:12 cesar_ has joined #ocaml

05:12 cesar_ is now known as Guest21304

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

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

05:22 talzeus__ has quit [Read error: Connection reset by peer]

05:22 boogie has joined #ocaml

05:25 divyansr_ has quit [Ping timeout: 248 seconds]

05:27 boogie has quit [Ping timeout: 272 seconds]

05:31 dant3 has joined #ocaml

05:36 dant3 has quit [Ping timeout: 260 seconds]

05:40 talzeus_ has joined #ocaml

05:41 talzeus__ has joined #ocaml

05:41 yacks has quit [Quit: Leaving]

05:44 talzeus_ has quit [Ping timeout: 248 seconds]

05:48 talzeus__ has quit [Read error: Connection reset by peer]

05:51 dant3 has joined #ocaml

05:52 axiles has joined #ocaml

05:56 dant3 has quit [Remote host closed the connection]

05:57 dant3 has joined #ocaml

06:21 Axord has joined #ocaml

06:25 introom has joined #ocaml

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

06:32 dant3 has joined #ocaml

06:47 nikki93 has joined #ocaml

07:01 nikki93 has quit [Read error: Connection reset by peer]

07:02 nikki93 has joined #ocaml

07:14 malo has quit [Quit: Leaving]

07:23 AltGr has joined #ocaml

07:25 pango has quit [Ping timeout: 272 seconds]

07:27 pango has joined #ocaml

07:37 skel3tone has joined #ocaml

07:40 mort___ has joined #ocaml

07:58 mort___ has left #ocaml []

08:03 tnguyen_ has joined #ocaml

08:04 <tnguyen_> is there a module called Number ? I am trying to use a function takes in a variable of type Number.constant but I don't know what provides "Number"

08:12 <Drup> tnguyen_: which library are you using ?

08:12 <tnguyen_> why3

08:12 <tnguyen_> http://why3.lri.fr/api-0.82/Term.html

08:13 <Drup> don't know anything about this one then, sorry

08:13 <tnguyen_> np -- I can't seem to find what it is either

08:13 <Drup> but the Number is not in the standard library, so look in why3's documentation

08:15 <tnguyen_> yeh I am looking for it in the API but can't find where it is mentioned, not sure if it comes from some dependency that I forgot to install

08:17 <Drup> if you forgot to install the dependency, you wouldn't have been able to compile it ;)

08:18 <tnguyen_> I know - I was able to install it just fine . That's why I am not sure where that package comes from.

08:30 introom has quit [Ping timeout: 240 seconds]

08:37 thomasga has joined #ocaml

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

08:40 nikki93 has joined #ocaml

08:43 ulfdoz has joined #ocaml

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

08:48 dant3 has joined #ocaml

08:53 dant3 has quit [Ping timeout: 245 seconds]

08:58 phix_ has quit [Remote host closed the connection]

08:58 phix_ has joined #ocaml

09:05 <companion_cube> o/

09:05 <companion_cube> tnguyen_: isn't it in why3 itself?

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

09:07 dant3 has joined #ocaml

09:09 nisstyre has quit [Quit: Leaving]

09:13 nikki93 has quit [Read error: Connection reset by peer]

09:16 nikki93 has joined #ocaml

09:19 introom has joined #ocaml

09:25 mort___ has joined #ocaml

09:27 mort___ has quit [Remote host closed the connection]

09:27 thomasga has joined #ocaml

09:30 ollehar has joined #ocaml

09:34 nikki93 has quit [Read error: Connection reset by peer]

09:35 nikki93 has joined #ocaml

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

09:42 nikki93 has quit [Read error: Connection reset by peer]

09:42 nikki93 has joined #ocaml

09:46 Simn has joined #ocaml

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

10:10 ggole has joined #ocaml

10:11 thomasga has joined #ocaml

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

10:27 introom has quit [Ping timeout: 246 seconds]

10:34 thomasga has joined #ocaml

10:35 dant3 has joined #ocaml

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

10:40 dant3 has joined #ocaml

10:41 nikki93 has quit [Read error: Connection reset by peer]

10:41 nikki93 has joined #ocaml

10:42 rand000 has joined #ocaml

10:45 dant3 has quit [Ping timeout: 272 seconds]

10:47 smerz_ has joined #ocaml

10:50 lostcuaz has joined #ocaml

11:01 dant3 has joined #ocaml

11:02 zxqdms has joined #ocaml

11:03 smerz has joined #ocaml

11:06 thomasga has quit [Quit: Leaving.]

11:12 talzeus_ has joined #ocaml

11:16 thomasga has joined #ocaml

11:17 ollehar has quit [Ping timeout: 252 seconds]

11:17 salc has joined #ocaml

11:18 skchrko has joined #ocaml

11:19 Thooms has joined #ocaml

11:42 nikki93 has quit [Read error: Connection reset by peer]

11:43 nikki93 has joined #ocaml

11:43 zpe has joined #ocaml

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

11:51 zpe has joined #ocaml

11:53 nikki93 has quit [Read error: Connection reset by peer]

11:53 nikki93 has joined #ocaml

11:55 zpe has quit [Ping timeout: 260 seconds]

12:01 nikki93_ has joined #ocaml

12:01 nikki93 has quit [Read error: No route to host]

12:03 darkf has quit [Quit: Leaving]

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

12:13 <cynddl> Great, I managed to understand how to load a .merlin file! :)

12:14 <cynddl> I'm looking for someone with Sublime Text to test the merlin package.

12:15 dant3 has quit [Remote host closed the connection]

12:17 <dch> cynddl: I can do that.

12:18 <cynddl> dch: nice! https://github.com/Cynddl/sublime-text-merlin

12:18 smerz_ has quit [Read error: Operation timed out]

12:20 <rks`> https://github.com/Cynddl/sublime-text-merlin/blob/master/helpers.py#L36 :)

12:20 <cynddl> rks`: oups…

12:21 smerz has quit [Ping timeout: 272 seconds]

12:22 nikki93_ has quit [Read error: Connection reset by peer]

12:22 nikki93 has joined #ocaml

12:25 Thooms has quit [Quit: WeeChat 0.3.8]

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

12:35 introom has joined #ocaml

12:38 <dch> cynddl: seems fine, I get type check errors, and tab completion. Although I’m not seeing that for Core.Std modules, but I’m very new to ocaml so maybe that’s just my bad.

12:43 mcclurmc has joined #ocaml

12:43 <cynddl> dch: Thanks! I didn't checked with Core, I am trying.

12:43 <cynddl> -ed

12:45 <rks`> cynddl: he probably didn't setup a .merlin :)

12:46 nikki93 has quit []

12:52 smerz has joined #ocaml

12:59 <cynddl> rks`: yep, but it's not necessary

13:00 <cynddl> rks`: with a 'find use' command, it's possible to add modules

13:01 <cynddl> why not automatically adding modules not in current project when parsing a buffer?

13:01 <rks`> I know that :)

13:01 <rks`> but does he?

13:01 <rks`> as for « adding modules when parsing the buffer »

13:01 <rks`> how would you know what to load?

13:01 zpe has joined #ocaml

13:01 <rks`> Sure it's simple enough when you use core or lwt

13:02 <rks`> but it might not be with other libraries

13:02 <cynddl> hmm, yes maybe a bad idea. :)

13:04 mreca has joined #ocaml

13:06 rand000 has quit [Quit: leaving]

13:06 zpe has quit [Ping timeout: 272 seconds]

13:09 arjunguha has joined #ocaml

13:09 smerz_ has joined #ocaml

13:10 BiDOrD has quit [Quit: No Ping reply in 180 seconds.]

13:11 BiDOrD has joined #ocaml

13:20 smerz has quit [Read error: Operation timed out]

13:21 <cynddl> rks`: I received this error message from merlin : b'"urn", exprion has actie app]]\n'

13:22 <asmanur> did you run merlin with the --klingon option?

13:23 <cynddl> noooo >_<

13:23 <cynddl> asmanur: and "message":"Thisesstype int\\nThis is not funon; it cannot blied."

13:24 smerz_ has quit [Ping timeout: 272 seconds]

13:26 malo has joined #ocaml

13:29 <dch> cynddl: I don’t have a merlin, no - I’ll tackle that later today.

13:30 ulfdoz has quit [Ping timeout: 245 seconds]

13:31 ulfdoz has joined #ocaml

13:32 <ggole> Looks a bit like two buffered streams pointing at the same file.

13:32 pango has quit [*.net *.split]

13:32 axiles has quit [*.net *.split]

13:32 esden has quit [*.net *.split]

13:32 tautologico has quit [*.net *.split]

13:33 <cynddl> Hmm, maybe a collision of python subprocesses

13:34 Axord has left #ocaml []

13:35 mcclurmc has quit [Remote host closed the connection]

13:38 pango has joined #ocaml

13:38 axiles has joined #ocaml

13:38 esden has joined #ocaml

13:38 tautologico has joined #ocaml

13:43 saml has joined #ocaml

13:50 jao has joined #ocaml

13:50 jao has quit [Changing host]

13:50 jao has joined #ocaml

14:05 arjunguha has quit [Quit: Textual IRC Client: www.textualapp.com]

14:08 arjunguha has joined #ocaml

14:26 malo has quit [Quit: Leaving]

14:29 lostcuaz has joined #ocaml

14:34 pminten has joined #ocaml

14:34 introom has quit [Ping timeout: 248 seconds]

14:35 nlucaroni has joined #ocaml

14:41 pango has quit [Ping timeout: 246 seconds]

14:42 pango has joined #ocaml

14:51 purman has joined #ocaml

14:55 tovarish has joined #ocaml

14:56 mcclurmc has joined #ocaml

15:05 purman has quit [K-Lined]

15:10 pminten has quit [Quit: Leaving]

15:10 arjunguha has quit [Quit: Textual IRC Client: www.textualapp.com]

15:12 bobry has quit [Ping timeout: 240 seconds]

15:13 bobry_ has joined #ocaml

15:15 WraithM_ has joined #ocaml

15:17 Leonidas_ has joined #ocaml

15:19 |jbrown| has joined #ocaml

15:21 teiresia1 has joined #ocaml

15:23 teiresias has quit [Disconnected by services]

15:23 teiresia1 is now known as teiresias

15:23 teiresias has quit [Changing host]

15:23 teiresias has joined #ocaml

15:23 rz has quit [Quit: Ex-Chat]

15:24 tvn__ has joined #ocaml

15:25 sam_ has joined #ocaml

15:26 skel3tone has quit [Ping timeout: 240 seconds]

15:26 WraithM has quit [Ping timeout: 240 seconds]

15:26 jbrown has quit [Ping timeout: 240 seconds]

15:27 gereedy has quit [Ping timeout: 240 seconds]

15:27 Leonidas has quit [Ping timeout: 240 seconds]

15:27 robink has quit [Remote host closed the connection]

15:27 gereedy has joined #ocaml

15:27 bitbckt has quit [Ping timeout: 240 seconds]

15:27 bitbckt has joined #ocaml

15:27 tnguyen_ has quit [Ping timeout: 240 seconds]

15:27 gereedy has quit [Ping timeout: 240 seconds]

15:27 saml has quit [Ping timeout: 240 seconds]

15:27 gereedy has joined #ocaml

15:27 skchrko has quit [Quit: Leaving]

15:27 yacks has joined #ocaml

15:27 sam_ is now known as saml

15:29 bitbckt has quit [Changing host]

15:29 bitbckt has joined #ocaml

15:32 skel3tone has joined #ocaml

15:32 rand000 has joined #ocaml

15:48 pminten has joined #ocaml

15:52 pango_ has joined #ocaml

15:52 pango has quit [Ping timeout: 260 seconds]

15:54 pminten has quit [Quit: Leaving]

15:56 talzeus_ has quit [Read error: Connection reset by peer]

16:00 <cynddl> dch: I added a command to load directly a module, type "Merlin" in the command palette.

16:29 mreca has quit [Ping timeout: 245 seconds]

16:33 jonludlam has joined #ocaml

16:36 kyrylo has quit [Ping timeout: 252 seconds]

16:38 WraithM_ is now known as WraithM

16:40 jonludlam has quit [Remote host closed the connection]

16:48 kyrylo has joined #ocaml

16:48 yacks has quit [Quit: Leaving]

16:48 boogie has joined #ocaml

16:52 yastero_ is now known as yastero

16:55 kyrylo has quit [Ping timeout: 272 seconds]

16:57 saml has quit [Quit: Leaving]

16:59 AltGr has left #ocaml []

17:26 fds has quit [Read error: Operation timed out]

17:26 fds has joined #ocaml

17:27 _habnabit has quit [Read error: Operation timed out]

17:27 _habnabit has joined #ocaml

17:27 _habnabit has quit [Changing host]

17:27 _habnabit has joined #ocaml

17:36 kyrylo has joined #ocaml

17:43 kyrylo has quit [Quit: Don't give up! Tell ya neighbour, tell ya friend...]

17:44 kyrylo has joined #ocaml

17:46 salc has quit [Read error: Operation timed out]

17:46 salc has joined #ocaml

18:29 ulfdoz has quit [Ping timeout: 272 seconds]

18:31 introom has joined #ocaml

18:31 ggole has quit [Ping timeout: 272 seconds]

18:35 introom has quit [Ping timeout: 240 seconds]

18:53 wolfnn has joined #ocaml

18:58 skel3tone has quit [Quit: Leaving]

19:00 robink has joined #ocaml

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

19:36 milosn_ has joined #ocaml

19:37 milosn has quit [Read error: No route to host]

20:00 jao has quit [Ping timeout: 272 seconds]

20:33 nisstyre has joined #ocaml

20:47 cuttle has joined #ocaml

20:47 rz has joined #ocaml

20:55 meiji11 has joined #ocaml

21:05 lostcuaz has joined #ocaml

21:09 nlucaroni has left #ocaml []

21:37 darkf has joined #ocaml

21:42 rand000 has quit [Quit: leaving]

22:07 jao has joined #ocaml

22:07 jao has quit [Changing host]

22:07 jao has joined #ocaml

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

22:23 meiji11 has quit [Remote host closed the connection]

22:23 tovarish has quit [Quit: Leaving]

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

23:39 madroach has joined #ocaml

23:41 lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]