#ocaml on 2015-10-09 — irc logs at freenode.irclog.whitequark.org

2015-06-28 16:28 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.02.2 announced http://ocaml.org/releases/4.02.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:00 mea-culpa has quit [Remote host closed the connection]

00:04 obadz has joined #ocaml

00:18 shinnya has joined #ocaml

00:22 cdidd has joined #ocaml

00:22 cdidd_ has quit [Ping timeout: 244 seconds]

00:23 AltGr has joined #ocaml

00:25 xaimus has quit [Quit: leaving]

00:29 empyrean has quit [Quit: Leaving]

00:29 empyreanx has joined #ocaml

00:29 empyreanx has quit [Remote host closed the connection]

00:29 xaimus has joined #ocaml

00:29 empyreanx has joined #ocaml

00:34 empyreanx has quit [Quit: Leaving]

00:35 empyreanx has joined #ocaml

00:37 empyreanx is now known as empyreanx_

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

00:42 empyreanx_ has quit [Quit: Leaving]

00:42 empyreanx has joined #ocaml

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

00:43 empyreanx has joined #ocaml

00:44 empyreanx has quit [Client Quit]

00:44 empyreanx has joined #ocaml

00:45 empyreanx has left #ocaml [#ocaml]

00:56 ril has joined #ocaml

01:01 tennix has joined #ocaml

01:02 echo-area has joined #ocaml

01:16 pyon is now known as nyon

01:22 swgillespie has joined #ocaml

01:26 toomuchtvrotsurb has quit [Remote host closed the connection]

01:34 tmtwd has quit [Ping timeout: 252 seconds]

01:47 tmtwd has joined #ocaml

01:49 <Algebr> Is multi-core coming this end of year still?

01:59 nullcatxxx_ has joined #ocaml

02:01 __uu__ has joined #ocaml

02:01 swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

02:02 swgillespie has joined #ocaml

02:05 __uu___ has joined #ocaml

02:08 Bluddy has quit [Quit: Connection closed for inactivity]

02:08 __uu__ has quit [Ping timeout: 264 seconds]

02:11 nyon is now known as sheaf-pyon

02:18 Algebr has quit [Remote host closed the connection]

02:19 Bluddy has joined #ocaml

02:29 nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

02:35 f[x] has quit [Ping timeout: 256 seconds]

02:39 nullcatxxx_ has joined #ocaml

02:48 pilne has quit [Quit: ChatZilla 0.9.92 [SeaMonkey 2.38/20150923193515]]

03:01 nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

03:01 pilne has joined #ocaml

03:05 darkf has joined #ocaml

03:08 jeffmo has quit [Quit: jeffmo]

03:10 ril is now known as ril[away]

03:32 psy_ has quit [Ping timeout: 246 seconds]

03:38 mac10688 has quit [Ping timeout: 240 seconds]

03:43 damason has quit [Remote host closed the connection]

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

03:47 damason has joined #ocaml

03:50 pilne has quit [Quit: I hit quit!]

03:50 pilne has joined #ocaml

04:12 __uu___ has quit [Remote host closed the connection]

04:12 __uu__ has joined #ocaml

04:15 MercurialAlchemi has joined #ocaml

04:15 ril[away] is now known as ril

04:19 kushal has joined #ocaml

04:22 yac has joined #ocaml

04:28 keen___________7 has quit [Read error: Connection reset by peer]

04:29 keen___________7 has joined #ocaml

04:31 pilne has quit [Remote host closed the connection]

04:32 pilne has joined #ocaml

04:33 pilne has quit [Client Quit]

04:34 tmtwd has quit [Ping timeout: 240 seconds]

04:47 shinnya has quit [Ping timeout: 246 seconds]

04:56 MercurialAlchemi has quit [Ping timeout: 246 seconds]

05:08 contempt has quit [Disconnected by services]

05:09 contempt has joined #ocaml

05:15 ril is now known as ril[away]

05:16 ril[away] is now known as ril

05:18 tibor_ has joined #ocaml

05:25 contempt has quit [Remote host closed the connection]

05:31 contempt has joined #ocaml

05:33 ril is now known as ril[away]

05:36 ril[away] is now known as ril

05:36 contempt has quit [Disconnected by services]

05:36 ril is now known as ril[away]

05:36 ril[away] is now known as ril

05:37 contempt has joined #ocaml

05:43 ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

05:50 swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

05:51 larhat1 has quit [Quit: Leaving.]

05:55 swgillespie has joined #ocaml

05:57 nullcatxxx_ has joined #ocaml

06:01 ggole has joined #ocaml

06:11 xificurC has quit [Read error: Connection reset by peer]

06:11 xificurC has joined #ocaml

06:23 tane has joined #ocaml

06:36 obadz has quit [Ping timeout: 265 seconds]

06:37 obadz has joined #ocaml

06:41 antkong has quit [Quit: antkong]

06:48 MercurialAlchemi has joined #ocaml

06:58 swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

06:58 ollehar has joined #ocaml

06:58 oscar_toro has joined #ocaml

07:01 nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

07:10 MercurialAlchemi has quit [Read error: Connection reset by peer]

07:10 es has joined #ocaml

07:12 Kakadu has joined #ocaml

07:19 ollehar has quit [Ping timeout: 256 seconds]

07:21 Kakadu has quit [Remote host closed the connection]

07:34 ely-se has joined #ocaml

07:34 sivoais has quit [Ping timeout: 272 seconds]

07:37 freehck has joined #ocaml

07:43 sivoais has joined #ocaml

07:46 Haudegen has quit [Ping timeout: 272 seconds]

07:53 sivoais has quit [Ping timeout: 240 seconds]

07:55 sivoais has joined #ocaml

07:56 Haudegen has joined #ocaml

08:04 sivoais has quit [Ping timeout: 265 seconds]

08:05 sivoais has joined #ocaml

08:06 kushal has quit [Ping timeout: 250 seconds]

08:14 sivoais has quit [Ping timeout: 256 seconds]

08:15 sivoais has joined #ocaml

08:20 rand__ has joined #ocaml

08:24 sivoais has quit [Ping timeout: 268 seconds]

08:26 sivoais has joined #ocaml

08:31 orbifx has joined #ocaml

08:32 sh0t has joined #ocaml

08:33 sivoais has quit [Ping timeout: 240 seconds]

08:34 zpe has joined #ocaml

08:34 jonludlam has joined #ocaml

08:36 sivoais has joined #ocaml

08:36 octachron has joined #ocaml

08:41 zpe has quit [Remote host closed the connection]

08:44 sivoais has quit [Ping timeout: 255 seconds]

08:46 sivoais has joined #ocaml

08:46 mort___ has joined #ocaml

08:46 sh0t has quit [Ping timeout: 256 seconds]

08:54 sivoais has quit [Ping timeout: 252 seconds]

08:56 srcerer has quit [Ping timeout: 272 seconds]

08:56 sivoais has joined #ocaml

08:56 yomimono has joined #ocaml

09:00 mort___ has left #ocaml [#ocaml]

09:04 sivoais has quit [Ping timeout: 264 seconds]

09:06 sivoais has joined #ocaml

09:14 sivoais has quit [Ping timeout: 256 seconds]

09:15 es has quit [Quit: leaving]

09:15 MercurialAlchemi has joined #ocaml

09:16 Kakadu has joined #ocaml

09:16 sivoais has joined #ocaml

09:17 ely-se has quit [Quit: leaving]

09:21 ely-se has joined #ocaml

09:24 sivoais has quit [Ping timeout: 244 seconds]

09:25 zpe has joined #ocaml

09:26 MercurialAlchemi has quit [Read error: Connection reset by peer]

09:27 sivoais has joined #ocaml

09:28 MercurialAlchemi has joined #ocaml

09:31 keleshev has joined #ocaml

09:33 rfv has quit [Ping timeout: 256 seconds]

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

09:34 NhanH has quit [Ping timeout: 264 seconds]

09:34 lambdahands has quit [Ping timeout: 264 seconds]

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

09:34 Bluddy has quit [Ping timeout: 240 seconds]

09:34 sivoais has quit [Ping timeout: 240 seconds]

09:35 msch has quit [Ping timeout: 268 seconds]

09:36 cojy has quit [Ping timeout: 264 seconds]

09:37 sivoais has joined #ocaml

09:39 antkong has joined #ocaml

09:39 AltGr has left #ocaml [#ocaml]

09:44 k1000_ has joined #ocaml

09:45 sivoais has quit [Ping timeout: 244 seconds]

09:45 kushal has joined #ocaml

09:47 sivoais has joined #ocaml

09:50 kdas_ has joined #ocaml

09:54 kushal has quit [Ping timeout: 260 seconds]

09:56 sivoais has quit [Ping timeout: 256 seconds]

09:56 lambdahands has joined #ocaml

09:56 n1ftyn8_ has joined #ocaml

09:57 lambdahands has quit [Remote host closed the connection]

09:57 n1ftyn8_ has quit [Remote host closed the connection]

09:58 sivoais has joined #ocaml

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

10:01 NhanH has joined #ocaml

10:01 kdas_ has quit [Quit: Leaving]

10:02 kushal has joined #ocaml

10:02 oldmanistan_ has joined #ocaml

10:02 cojy has joined #ocaml

10:06 sivoais has quit [Ping timeout: 240 seconds]

10:06 n1ftyn8_ has joined #ocaml

10:08 sivoais has joined #ocaml

10:14 msch has joined #ocaml

10:14 rfv has joined #ocaml

10:15 keleshev has quit [Ping timeout: 250 seconds]

10:17 sivoais has quit [Ping timeout: 265 seconds]

10:18 MercurialAlchemi has quit [Read error: Connection reset by peer]

10:18 sivoais has joined #ocaml

10:18 MercurialAlchemi has joined #ocaml

10:19 yomimono has quit [Ping timeout: 244 seconds]

10:22 aubergines has joined #ocaml

10:23 Bluddy has joined #ocaml

10:26 sivoais has quit [Ping timeout: 250 seconds]

10:29 sivoais has joined #ocaml

10:29 rgrinberg1 has quit [Ping timeout: 260 seconds]

10:30 yomimono has joined #ocaml

10:30 lambdahands has joined #ocaml

10:32 __uu___ has joined #ocaml

10:34 thomasga has joined #ocaml

10:35 __uu__ has quit [Ping timeout: 240 seconds]

10:37 sivoais has quit [Ping timeout: 240 seconds]

10:37 jonludlam has quit [Ping timeout: 264 seconds]

10:39 sivoais has joined #ocaml

10:41 oscar_toro has quit [Ping timeout: 272 seconds]

10:43 keleshev has joined #ocaml

10:45 <keleshev> I've just upgraded from 4.01.0 to 4.02.3 and I have this minor annoyance:

10:46 ely-se has quit [Quit: leaving]

10:46 <keleshev> In repl I'm used to aliasing a module just to see module's contents, like: module M = Core.Std.List (* This used to print the whole signature *)

10:47 <keleshev> But in 4.02.3 this prints back just the `module M = Core.Std.List`.

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

10:47 jeffmo has joined #ocaml

10:48 <keleshev> `#show_module Core.Std.List;;` is not much better either, it prints `module List = Core_kernel.Std_kernel.List`

10:48 larhat1 has joined #ocaml

10:48 sheaf-pyon is now known as elementary-pyon

10:48 tennix has quit [Ping timeout: 240 seconds]

10:49 <keleshev> So is there a quick way to print module's signature in repl for 4.02.3?

10:49 larhat1 has quit [Client Quit]

10:50 sivoais has joined #ocaml

10:51 ely-se has joined #ocaml

10:51 jonludlam has joined #ocaml

10:53 <rks`> keleshev: I don't think so

10:55 <keleshev> rks`: ah, ok then, not a big deal.

10:56 <MercurialAlchemi> keleshev: I think you should be able to see the whole signature in merlin

10:57 sivoais has quit [Ping timeout: 240 seconds]

11:00 sivoais has joined #ocaml

11:02 <keleshev> MercurialAlchemi: just checked an in merlin <Leader-t> on something like `Lexing.from_string` (cursor on L) gives me `from_string` signature, not module's signature.

11:02 <keleshev> MercurialAlchemi: when I point cursor at some module alias, it gives me "No type annotation found for the given text".

11:03 <keleshev> MercurialAlchemi: it used to print module's signature, I remember.

11:03 <ggole> #show is the way to do that, I guess you have to dereference manually :/

11:04 oscar_toro has joined #ocaml

11:04 jonludlam has quit [Ping timeout: 264 seconds]

11:05 <rks`> keleshev: "No type annotation found for the given text" means that's not actually merlin

11:05 <rks`> do you have ocamlspot or something else installed?

11:06 <ggole> Or you could use a different hack, maybe module type L = module type of List

11:06 <keleshev> rks`: no ocamlspot. Otherwise merlin seems to work.

11:06 <rks`> try calling :MerlinTypeOf manually

11:06 <keleshev> ggole: thanks, that totally works!

11:07 <rks`> (also, I think it is bound to localleader-t, not leader-t)

11:09 sivoais has quit [Ping timeout: 255 seconds]

11:09 MercurialAlchemi has quit [Read error: Connection reset by peer]

11:10 MercurialAlchemi has joined #ocaml

11:10 <keleshev> rks`: oops, "Not an editor command: MerlinTypeOf". Then I don't even know what is showing me those type signatures on leader-t...

11:11 sivoais has joined #ocaml

11:11 <def`> Do you even have completion :D?

11:14 <keleshev> def`: nope, just checked. Could be that my upgread to 4.02.3 broke Merlin...

11:14 _andre has joined #ocaml

11:14 <haesbaert> keleshev: I think most of us use merlin with 4.02.3

11:15 <keleshev> haesbaert: sorry, by "merlin" I meant "my setup of merlin"

11:16 <bernardofpc> keleshev: #typeof "Core.Std.List" ;; should work

11:16 <bernardofpc> (on toplevel)

11:17 <keleshev> Of course, I didn't install merlin on the new switch!

11:17 <keleshev> Wow, merlin got colors.

11:17 <ggole> bernardofpc: there's no such directive, is that a utop thing?

11:17 <bernardofpc> oh, maybe it's a utop thing

11:17 <keleshev> bernardofpc: it gives me same: module Core.Std.List = Core_kernel.Std_kernel.List

11:18 <keleshev> ggole's "module type L = module type of

11:18 jonludlam has joined #ocaml

11:18 <bernardofpc> I have no Core here, so with plain Pervasives.List it worked

11:18 <keleshev> List" is the most convenient thing so far.

11:19 sivoais has quit [Ping timeout: 244 seconds]

11:19 <bernardofpc> maybe you have to walk the indirection list all the way down ?

11:19 ousado has quit [Quit: --]

11:20 <keleshev> bernardofpc: yes, if you "dereference" it enough times #show and #typeof show the module signature. But that's not practical with something like Core.

11:20 echo-area has quit [Remote host closed the connection]

11:21 sivoais has joined #ocaml

11:23 <keleshev> MercurialAlchemi: in merlin, it shows full signatures on "normal" modules, and just a path for aliased modules. But that's fine, I guess.

11:23 <keleshev> MercurialAlchemi: consistent with top-level behavior.

11:23 <def`> keleshev: just do twice

11:24 <keleshev> def`: oh, my, didn't know about this trick, thanks!

11:26 rgrinberg1 has joined #ocaml

11:26 <def`> keleshev: useful in other situations, you might enjoy :MerlinGrow/ShrinkEnclosing (localleader-n and -p)

11:30 sivoais has quit [Ping timeout: 260 seconds]

11:31 <companion_cube> def`: do you know if rules in Menhir parsers can be parametrized by values? e.g. to carry a contex

11:31 <companion_cube> t

11:31 rgrinberg1 has quit [Ping timeout: 272 seconds]

11:31 <def`> companion_cube: lift in monad

11:31 sivoais has joined #ocaml

11:32 <companion_cube> ok

11:32 thomasga has quit [Read error: Connection reset by peer]

11:33 thomasga has joined #ocaml

11:36 sepp2k has joined #ocaml

11:39 RichN has quit [Ping timeout: 272 seconds]

11:40 sivoais has quit [Ping timeout: 255 seconds]

11:42 sivoais has joined #ocaml

11:43 MercurialAlchemi has quit [Read error: Connection reset by peer]

11:43 RichN has joined #ocaml

11:44 MercurialAlchemi has joined #ocaml

11:48 ely-se has quit [Quit: leaving]

11:50 sivoais has quit [Ping timeout: 250 seconds]

11:51 ely-se has joined #ocaml

11:52 sivoais has joined #ocaml

11:55 keleshev has quit [Quit: [BX] *PHEAR MY BITCHX-NESS!* BOW TO ME!]

11:56 elementary-pyon is now known as sheaf

11:59 zpe has joined #ocaml

12:00 tane has quit [Quit: Verlassend]

12:00 sivoais has quit [Ping timeout: 256 seconds]

12:02 antkong has quit [Quit: antkong]

12:03 sivoais has joined #ocaml

12:06 Haudegen has quit [Ping timeout: 252 seconds]

12:09 tennix has joined #ocaml

12:11 sivoais has quit [Ping timeout: 250 seconds]

12:13 sivoais has joined #ocaml

12:14 tennix has quit [Ping timeout: 256 seconds]

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

12:17 MercurialAlchemi has quit [Read error: Connection reset by peer]

12:18 MercurialAlchemi has joined #ocaml

12:19 Haudegen has joined #ocaml

12:21 tennix has joined #ocaml

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

12:24 sivoais has quit [Ping timeout: 265 seconds]

12:25 sivoais has joined #ocaml

12:25 tennix has quit [Ping timeout: 240 seconds]

12:26 rgrinberg1 has joined #ocaml

12:29 Bluddy has quit [Quit: Connection closed for inactivity]

12:30 tennix has joined #ocaml

12:31 oscar_toro has quit [Ping timeout: 264 seconds]

12:32 rgrinberg1 has quit [Ping timeout: 265 seconds]

12:34 sivoais has quit [Ping timeout: 264 seconds]

12:35 tennix has quit [Ping timeout: 260 seconds]

12:36 sivoais has joined #ocaml

12:39 tennix has joined #ocaml

12:40 echo-area has joined #ocaml

12:44 tennix has quit [Ping timeout: 255 seconds]

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

12:46 sivoais has joined #ocaml

12:48 luzie has quit [Quit: WeeChat 1.4-dev]

12:50 luzie has joined #ocaml

12:52 tennix has joined #ocaml

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

12:54 sivoais has quit [Ping timeout: 256 seconds]

12:56 sivoais has joined #ocaml

12:56 ceryo has joined #ocaml

12:56 oscar_toro has joined #ocaml

12:56 tennix has quit [Ping timeout: 250 seconds]

12:57 ely-se has quit [Quit: leaving]

12:58 ely-se has joined #ocaml

13:04 sivoais has quit [Ping timeout: 246 seconds]

13:04 tennix has joined #ocaml

13:04 luzie has quit [Quit: WeeChat 1.4-dev]

13:06 sivoais has joined #ocaml

13:06 Simn has joined #ocaml

13:06 ceryo has quit [Quit: Textual IRC Client: www.textualapp.com]

13:07 ceryo has joined #ocaml

13:08 ceryo has quit [Client Quit]

13:08 tennix has quit [Ping timeout: 240 seconds]

13:09 tennix has joined #ocaml

13:10 ceryo has joined #ocaml

13:14 tennix has quit [Ping timeout: 250 seconds]

13:14 sivoais has quit [Ping timeout: 255 seconds]

13:14 ceryo has quit [Client Quit]

13:14 ceryo has joined #ocaml

13:15 Haudegen has quit [Remote host closed the connection]

13:16 sivoais has joined #ocaml

13:18 thomasga has joined #ocaml

13:19 ollehar has joined #ocaml

13:20 tennix has joined #ocaml

13:20 Haudegen has joined #ocaml

13:21 <apache2> I have a Cstruct.t buffer and I need to extract the first 4 byte and parse them as a uint32

13:21 yomimono has quit [Ping timeout: 240 seconds]

13:21 <haesbaert> apache2: Cstruct.get_uint32 ?

13:22 <haesbaert> I mean,

13:22 <apache2> what if I want to extract the last 4 bytes instead?

13:22 <haesbaert> Cstrcut.BE.get_uint32 or LE

13:22 Haudegen has quit [Read error: Connection reset by peer]

13:22 <haesbaert> then you Cstrcut.shift buf n

13:22 <apache2> ahh

13:22 <apache2> nice thanks

13:23 yomimono has joined #ocaml

13:24 sivoais has quit [Ping timeout: 264 seconds]

13:25 tennix has quit [Ping timeout: 252 seconds]

13:25 oscar_toro has quit [Ping timeout: 264 seconds]

13:26 sivoais has joined #ocaml

13:27 rgrinberg1 has joined #ocaml

13:30 tennix has joined #ocaml

13:33 Haudegen has joined #ocaml

13:34 hcarty1 has joined #ocaml

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

13:35 sivoais has quit [Ping timeout: 260 seconds]

13:35 tennix has quit [Ping timeout: 256 seconds]

13:36 sivoais has joined #ocaml

13:38 Haudegen has quit [Ping timeout: 255 seconds]

13:39 luzie has joined #ocaml

13:41 tennix has joined #ocaml

13:43 thomasga has joined #ocaml

13:44 ely-se has quit [Quit: leaving]

13:45 sivoais has quit [Ping timeout: 264 seconds]

13:46 tmtwd has joined #ocaml

13:47 sivoais has joined #ocaml

13:47 tennix has quit [Ping timeout: 265 seconds]

13:48 sheaf has quit [Quit: WeeChat 1.3]

13:48 <tibor_> Can someone tell me an easy way to find a function definition without grep in ocal (IDE,etc..)?

13:48 <tibor_> ocaml

13:48 <tibor_> sorry

13:48 <ollehar> tibor_: ctags + ctrl-] in vim

13:48 <Drup> (or merlin locate)

13:49 <tibor_> thank you

13:49 tennix has joined #ocaml

13:50 ely-se has joined #ocaml

13:51 Bluddy has joined #ocaml

13:52 jeffmo has quit [Ping timeout: 264 seconds]

13:52 regnat has quit [Quit: WeeChat 1.0.1]

13:53 <flux> merlin is the superior solution

13:53 <flux> for one, it doesn't get confused by modules and scopes

13:54 tennix has quit [Ping timeout: 264 seconds]

13:55 <freehck> flux: is there something better mode for ocaml than merlin?

13:55 <freehck> *some

13:55 <ely-se> merlin is a wizard

13:55 sivoais has quit [Ping timeout: 246 seconds]

13:56 <freehck> Am I the only one who associates the word wizard with Microsoft installers? )

13:56 <haesbaert> me too

13:57 sivoais has joined #ocaml

13:57 <haesbaert> tbh, I associate with a process that never does what I want.

13:57 <ely-se> freehck: https://s-media-cache-ak0.pinimg.com/736x/30/39/7e/30397ede103cb2bc5df77644d767f964.jpg

13:59 Haudegen has joined #ocaml

13:59 damason has quit [Remote host closed the connection]

14:00 <flux> freehck, no, merlin is the best there is AFAIK

14:00 <flux> freehck, there are related tools to use with it, however

14:00 <flux> such as ocp-index and ocp-indent

14:06 sivoais has quit [Ping timeout: 272 seconds]

14:07 sivoais has joined #ocaml

14:12 ely-se has quit [Quit: leaving]

14:12 MercurialAlchemi has joined #ocaml

14:15 sivoais has quit [Ping timeout: 246 seconds]

14:16 Mercuria1Alchemi has joined #ocaml

14:17 sivoais has joined #ocaml

14:19 <tibor_> how can I use merlin from comand line?

14:20 <rks`> you can't really

14:20 <rks`> what do you want to do?

14:21 BitPuffin has joined #ocaml

14:21 <tibor_> I try to be a member of a huge ocaml project and I would like to study the code

14:22 <tibor_> but it is very dificult to find the functions :(

14:23 kushal has quit [Ping timeout: 260 seconds]

14:23 <Drup> merlin locate doesn't help you ?

14:24 <rks`> why don't you just call merlin from you editor tibor_ ?

14:24 <freehck> tibor_: don't you forget to build your project?

14:24 kushal has joined #ocaml

14:24 <freehck> Merlin uses cymbols from .cmi files to autocomplete your code.

14:24 <freehck> *symbols

14:25 <tibor_> I didn't worked in ocaml till now, so I would like to figure out a way to understand the code

14:25 raphaelssss has joined #ocaml

14:25 <Drup> that seems like a problem not at all related to the tooling.

14:25 sivoais has quit [Ping timeout: 268 seconds]

14:25 <tibor_> Is merlin an editor?

14:26 MercurialAlchemi has quit [Ping timeout: 240 seconds]

14:26 <freehck> tibor_: I believe that the best practice to understand any code is: "pogrep is an alias for grep -RHn --binary-files=without-match" :D

14:26 <freehck> merlin is an emacs package which is used for highlighting, autocompleting and so on.

14:27 <rks`> freehck: no.

14:27 sivoais has joined #ocaml

14:27 <freehck> no?

14:27 <rks`> it's not an emacs package, it's editor independent

14:27 <rks`> and it doesn't do highlighting

14:27 <rks`> see http://the-lambda-church.github.io/merlin/ ( freehck tibor_ )

14:27 raphaelsss has quit [Ping timeout: 240 seconds]

14:27 <freehck> wow.

14:29 freehck has quit [Quit: Page closed]

14:29 <tibor_> thank you

14:29 freehck has joined #ocaml

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

14:32 <Drup> freehck: actually, ocp-grep is good for those things

14:32 <Drup> it's a grep that is open aware

14:33 <freehck> Drup: what is ocp-grep?

14:33 <freehck> It seems not to be in debian8 repository

14:35 sivoais has quit [Ping timeout: 268 seconds]

14:35 <Drup> it's in the ocp-index package

14:36 <freehck> Drup: thx, found.

14:36 tennix has joined #ocaml

14:36 ely-se has joined #ocaml

14:36 thomasga has joined #ocaml

14:36 rand__ has quit [Quit: leaving]

14:37 sivoais has joined #ocaml

14:40 tmtwd has quit [Ping timeout: 264 seconds]

14:44 freehck has quit [Quit: Page closed]

14:44 ncthom91 has joined #ocaml

14:44 freehck has joined #ocaml

14:45 sivoais has quit [Ping timeout: 240 seconds]

14:45 <freehck> Drup: I've not got: for what things is it good?

14:45 <Drup> See where a function is used

14:45 <freehck> I've installed it via opam and added into my emacs, but I don't see any documentation for it.

14:46 <freehck> Drup: Ah, I thought you're about autocompletion.

14:46 ollehar has quit [Quit: ollehar]

14:46 <Drup> It's called "ocp-grep" ...

14:46 <freehck> Drup: Yes, now I understand you.

14:47 <freehck> I have some problems with merlin. Sometimes it's just can't complete my functions.

14:47 Kakadu has quit [Quit: Page closed]

14:47 sivoais has joined #ocaml

14:54 <rks`> freehck: have you read https://github.com/the-lambda-church/merlin/wiki/emacs-from-scratch ?

14:55 jeffmo has joined #ocaml

14:55 BitPuffin has quit [Ping timeout: 256 seconds]

14:55 <freehck> rks`: just 15 minutes ago :)

14:56 <rks`> ok

14:56 <freehck> I had merlin-mode installed via emacs package manager.

14:56 sivoais has quit [Ping timeout: 260 seconds]

14:56 <rks`> you shouldn't do that

14:56 <freehck> now I've installed it using this manual and everything works fine

14:56 <rks`> ok

14:58 sivoais has joined #ocaml

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

15:01 tennix has quit [Ping timeout: 264 seconds]

15:03 thomasga has joined #ocaml

15:04 raphaelssss has quit [Quit: Leaving]

15:07 NingaLeaf has joined #ocaml

15:08 tennix has joined #ocaml

15:09 sivoais has quit [Ping timeout: 260 seconds]

15:10 sivoais has joined #ocaml

15:11 <ggole> "The opinions expressed in this paper are not those of Princeton University, nor even those of the author." Heh.

15:12 <Drup> :D

15:12 <zozozo> ggole: which paper ?

15:12 <ggole> "Intensional Equality ;=) for Continuations"

15:13 tennix has quit [Ping timeout: 252 seconds]

15:13 Pepe_ has quit [Remote host closed the connection]

15:13 <orbifx> sucks having to do C++ after learning Ocaml :P

15:14 Denommus has joined #ocaml

15:18 <zozozo> :)

15:18 sivoais has quit [Ping timeout: 255 seconds]

15:19 tennix has joined #ocaml

15:20 sivoais has joined #ocaml

15:21 <freehck> orbifx: You won't work with C++ even if you just try lisp. :)

15:22 <orbifx> hahah

15:22 larhat1 has joined #ocaml

15:22 <orbifx> the problem with C++ is how bad others make it

15:22 <orbifx> I blame Java

15:22 <orbifx> Java programmers poison C++ :P

15:22 <freehck> Arrgh, JAVA!!!!! >:(

15:22 <orbifx> but it had it coming

15:23 tennix has quit [Ping timeout: 252 seconds]

15:25 <ely-se> my C++ bad code litmus test: does it use new or new[]? if yes, it's bad

15:25 <ely-se> it's a good enough test in the majority of cases

15:26 <freehck> orbifx: You know, Java has some benefits: it has a perfect parallelism. And this is the reason of it's high performance.

15:26 BitPuffin has joined #ocaml

15:27 <freehck> But it's a question of adding threading into normal languages. Not realisation of good languages analogs insede JVM.

15:27 <freehck> So we can blame Scala here too.

15:27 <freehck> And Clojure btw.

15:28 ely-se has quit [Quit: leaving]

15:29 sivoais has quit [Ping timeout: 250 seconds]

15:29 zaquest has quit [Quit: Leaving]

15:29 zaquest has joined #ocaml

15:30 sivoais has joined #ocaml

15:30 tennix has joined #ocaml

15:32 <orbifx> it can keep it's perfect parallelism even if that is the case

15:32 ollehar has joined #ocaml

15:32 <orbifx> anyway, bbl

15:32 orbifx has quit [Quit: WeeChat 1.3]

15:35 tennix has quit [Ping timeout: 264 seconds]

15:37 tennix has joined #ocaml

15:39 sivoais has quit [Ping timeout: 272 seconds]

15:41 sivoais has joined #ocaml

15:43 larhat1 has quit [Quit: Leaving.]

15:44 thomasga has quit [Quit: Leaving.]

15:44 ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

15:49 sivoais has quit [Ping timeout: 240 seconds]

15:49 jonludlam has quit [Ping timeout: 264 seconds]

15:51 sivoais has joined #ocaml

15:59 sivoais has quit [Ping timeout: 260 seconds]

16:01 sivoais has joined #ocaml

16:03 shinnya has joined #ocaml

16:05 Pepe_ has joined #ocaml

16:09 tane has joined #ocaml

16:10 sivoais has quit [Ping timeout: 250 seconds]

16:11 sivoais has joined #ocaml

16:20 sivoais has quit [Ping timeout: 250 seconds]

16:20 <ollehar> anyone tried mercury? that seem to have compile-time gc.

16:21 <ollehar> quite interesting.

16:22 sivoais has joined #ocaml

16:22 <freehck> compile-time GC? is it possible?

16:23 <ollehar> freehck: there's a looong paper about it, haven't read it yet.

16:23 <ollehar> but the language must be adapted to it.

16:23 <freehck> Already reading. )

16:23 <ollehar> mercury is a logical language, based on prolog.

16:23 <ollehar> ok >(

16:23 <ollehar> :)

16:23 <companion_cube> but it's typed

16:23 <ollehar> yes?

16:24 <ollehar> prolog is not?

16:24 <ollehar> I don't know prolog.

16:24 <companion_cube> prolog isn't

16:24 <companion_cube> prolog is like the LISP of logic languages

16:25 <ollehar> ah ok

16:26 <ollehar> companion_cube: you've used it?

16:27 jwatzman|work has joined #ocaml

16:28 <ggole> ollehar: you've never toyed with prolog?

16:28 <ollehar> ggole: nope

16:28 <companion_cube> not much, but I'm more interested in how it works

16:29 <ggole> You should, it's interesting to see how differently computation can be arranged

16:29 <ollehar> ggole: hm, maybe if there's time...

16:29 <ollehar> but there's never time!!

16:29 <ollehar> gah

16:30 <freehck> ggole: aren't Lisps and MLs enough?

16:30 sivoais has quit [Ping timeout: 246 seconds]

16:30 <companion_cube> well it's totally different

16:31 <ggole> Lisp and ML are arguably fairly close

16:31 <freehck> ggole: +1.

16:31 ^elyse^ has joined #ocaml

16:32 <ggole> Append in lisp and append in ML are basically the same thing with or without types, whereas append in Prolog is quite a different beast

16:32 sivoais has joined #ocaml

16:34 thomasga has joined #ocaml

16:35 BitPuffin has quit [Remote host closed the connection]

16:36 tennix has quit [Ping timeout: 250 seconds]

16:36 Denommus` has joined #ocaml

16:36 yomimono has quit [Ping timeout: 264 seconds]

16:37 haesbaert has quit [Remote host closed the connection]

16:38 Denommus has quit [Ping timeout: 256 seconds]

16:39 tennix has joined #ocaml

16:39 oscar_toro has joined #ocaml

16:39 rgrinberg1 has quit [Ping timeout: 246 seconds]

16:40 sivoais has quit [Ping timeout: 264 seconds]

16:42 sivoais has joined #ocaml

16:42 BitPuffin has joined #ocaml

16:44 tennix has quit [Ping timeout: 256 seconds]

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

16:49 thomasga has quit [Quit: Leaving.]

16:49 tennix has joined #ocaml

16:50 sivoais has quit [Ping timeout: 240 seconds]

16:52 sivoais has joined #ocaml

16:54 tennix has quit [Ping timeout: 264 seconds]

17:00 tennix has joined #ocaml

17:01 sivoais has quit [Ping timeout: 272 seconds]

17:02 yomimono has joined #ocaml

17:03 sivoais has joined #ocaml

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

17:07 f[x] has joined #ocaml

17:07 yomimono has quit [Ping timeout: 240 seconds]

17:07 <octachron> I didn't realize up to now that 'A is valid type variable. It is strange to have this mismatch between type and type variable name

17:08 Denommus` has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]

17:09 <ggole> Huh, that is strange

17:09 nullcatxxx_ has joined #ocaml

17:09 <ggole> The ' isn't part of the name, either: I found that out by accident a little while back

17:10 rgrinberg1 has joined #ocaml

17:11 sivoais has quit [Ping timeout: 268 seconds]

17:13 <apache2> Looking at the unix module

17:13 <apache2> >val send : file_descr -> bytes -> int -> int -> msg_flag list -> int

17:13 <apache2> Send data over a connected socket.

17:13 <apache2> how am I supposed to guess what the ints mean?

17:14 sivoais has joined #ocaml

17:14 <apache2> "len" and "flags" ?

17:14 <octachron> it is also seems to create strange error with polymorphic variant: type t = ['Name | `Hi ] report an error on the type 'a

17:14 <ggole> Look at the docs, or use UnixLabels

17:15 <ggole> octachron: I assume that's related to inclusion

17:15 <companion_cube> apache2: it's in the doc, it's a signature you find in lots of places

17:16 nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

17:16 <apache2> I'm looking here, I don't see it: http://caml.inria.fr/pub/docs/manual-ocaml/libref/Unix.html

17:16 <apache2> but UnixLabels had it, thanks, ggole !

17:17 <octachron> ggole, probably except that type t = [ 'lid | `Hi ] keeps the original name 'lid

17:19 <ggole> octachron: hmm, it does too. Seems like a bit of a wrinkle.

17:19 tennix has joined #ocaml

17:20 * ggole wonders if this is the same mistake as with polymorphic variants allowing both upper and lowercase names

17:20 <ggole> eg, whack a ' or ` on the front and who cares about the rest

17:23 sivoais has quit [Ping timeout: 240 seconds]

17:24 tennix has quit [Ping timeout: 260 seconds]

17:25 sivoais has joined #ocaml

17:25 toomuchtvrotsurb has joined #ocaml

17:27 ^elyse^ has quit [Quit: Leaving]

17:28 __uu___ has quit [Ping timeout: 240 seconds]

17:29 palomer has joined #ocaml

17:29 <palomer> hey guy

17:29 <palomer> s

17:29 <palomer> so I’m compiling my program using -g (more specifically: ocamlfind ocamlopt -c -g -package atdgen -package ppx_deriving.std -package ppx_deriving_yojson -package lwt.ppx -package websocket.lwt -o test2.cmx test2.ml)

17:30 tennix has joined #ocaml

17:30 <palomer> Printexc.print_stacktract stdout; <— isn’t printing anything

17:30 <palomer> make that print_backtrace

17:30 hcarty1 is now known as hcarty

17:31 <companion_cube> you need Printexc.record_backtrace true, maybe

17:31 <palomer> I’m catching the exception using try%lwt

17:31 pilne has joined #ocaml

17:32 <palomer> ah yes, now it works

17:32 slash^ has joined #ocaml

17:32 <palomer> thanks!

17:33 psy_ has joined #ocaml

17:34 psy_ has quit [Max SendQ exceeded]

17:34 sivoais has quit [Ping timeout: 260 seconds]

17:34 psy_ has joined #ocaml

17:34 <companion_cube> another way: OCAMLRUNPARAM=b youprogram

17:35 sivoais has joined #ocaml

17:35 tennix has quit [Ping timeout: 256 seconds]

17:35 <palomer> thanks for the tip :D

17:40 tnguyen has joined #ocaml

17:40 tennix has joined #ocaml

17:41 haesbaert has joined #ocaml

17:41 tnguyen1 has quit [Ping timeout: 255 seconds]

17:43 sivoais has quit [Ping timeout: 240 seconds]

17:43 aftershave has joined #ocaml

17:44 tennix has quit [Ping timeout: 240 seconds]

17:45 sivoais has joined #ocaml

17:45 ncthom91 has joined #ocaml

17:49 ^elyse^ has joined #ocaml

17:49 tennix has joined #ocaml

17:53 sivoais has quit [Ping timeout: 250 seconds]

17:54 tennix has quit [Ping timeout: 244 seconds]

17:55 sivoais has joined #ocaml

18:04 sivoais has quit [Read error: Connection reset by peer]

18:05 sivoais has joined #ocaml

18:05 jwatzman|work has joined #ocaml

18:05 palomer has quit [Ping timeout: 260 seconds]

18:06 palomer has joined #ocaml

18:08 Haudegen has quit [Ping timeout: 265 seconds]

18:10 tennix has joined #ocaml

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

18:14 psy_ has quit [Read error: Connection reset by peer]

18:14 darkf has quit [Quit: Leaving]

18:15 sivoais has joined #ocaml

18:15 tennix has quit [Ping timeout: 256 seconds]

18:18 Haudegen has joined #ocaml

18:19 tennix has joined #ocaml

18:21 psy_ has joined #ocaml

18:21 psy_ has quit [Max SendQ exceeded]

18:22 nullcatxxx_ has joined #ocaml

18:23 sivoais has quit [Ping timeout: 268 seconds]

18:24 tennix has quit [Ping timeout: 244 seconds]

18:25 sivoais has joined #ocaml

18:28 octachron has quit [Quit: Leaving]

18:30 tennix has joined #ocaml

18:31 <apache2> hm, is there an easy way to look for a substring in a string ?

18:32 ncthom91 has quit [Read error: Connection reset by peer]

18:32 palomer has quit [Quit: palomer]

18:32 ncthom91 has joined #ocaml

18:33 palomer has joined #ocaml

18:34 orbifx has joined #ocaml

18:34 tennix has quit [Ping timeout: 240 seconds]

18:34 sivoais has quit [Ping timeout: 272 seconds]

18:35 kushal has quit [Ping timeout: 246 seconds]

18:36 sivoais has joined #ocaml

18:36 kushal has joined #ocaml

18:39 <hcarty> apache2: re or pcre

18:40 <hcarty> apache2: (two libraries available via opam)

18:40 tennix has joined #ocaml

18:41 <companion_cube> otherwise, the stdlib extensions must provide it

18:41 <companion_cube> with various perf depending on the algorithm used and the length of the substring

18:41 nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

18:41 ggole has quit []

18:44 sivoais has quit [Ping timeout: 265 seconds]

18:46 sivoais has joined #ocaml

18:46 tennix has quit [Ping timeout: 272 seconds]

18:46 ^elyse^ has quit [Quit: Leaving]

18:47 palomer has quit [Quit: palomer]

18:47 larhat1 has joined #ocaml

18:49 ^elyse^ has joined #ocaml

18:54 sivoais has quit [Ping timeout: 240 seconds]

18:55 swgillespie has joined #ocaml

18:56 sivoais has joined #ocaml

18:59 johnf_ has joined #ocaml

19:01 Haudegen has quit [Ping timeout: 260 seconds]

19:01 nullcatxxx_ has joined #ocaml

19:01 tennix has joined #ocaml

19:03 Sim_n has joined #ocaml

19:04 sivoais has quit [Ping timeout: 244 seconds]

19:05 ril has joined #ocaml

19:06 Simn has quit [Ping timeout: 256 seconds]

19:06 tennix has quit [Ping timeout: 250 seconds]

19:06 sivoais has joined #ocaml

19:09 palomer has joined #ocaml

19:09 tennix has joined #ocaml

19:12 johnf_ has quit [Read error: Connection reset by peer]

19:14 tennix has quit [Ping timeout: 250 seconds]

19:14 sivoais has quit [Ping timeout: 246 seconds]

19:16 sivoais has joined #ocaml

19:17 octachron has joined #ocaml

19:19 kushal has quit [Quit: Leaving]

19:20 nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

19:21 tennix has joined #ocaml

19:24 sepp2k has quit [Quit: Leaving.]

19:25 sivoais has quit [Ping timeout: 265 seconds]

19:25 tennix has quit [Ping timeout: 240 seconds]

19:26 swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

19:26 Haudegen has joined #ocaml

19:27 sivoais has joined #ocaml

19:30 BitPuffin has quit [Remote host closed the connection]

19:31 tennix has joined #ocaml

19:33 Kakadu has joined #ocaml

19:35 ncthom91 has quit [Quit: Textual IRC Client: www.textualapp.com]

19:35 sivoais has quit [Ping timeout: 255 seconds]

19:36 tennix has quit [Ping timeout: 264 seconds]

19:37 lobo has joined #ocaml

19:37 sivoais has joined #ocaml

19:37 Denommus has joined #ocaml

19:38 jonludlam has joined #ocaml

19:39 tennix has joined #ocaml

19:44 tennix has quit [Ping timeout: 240 seconds]

19:44 rgrinberg1 has quit [Ping timeout: 252 seconds]

19:44 TheLemonMan has joined #ocaml

19:45 sivoais has quit [Ping timeout: 244 seconds]

19:47 sivoais has joined #ocaml

19:51 tennix has joined #ocaml

19:55 sivoais has quit [Ping timeout: 265 seconds]

19:55 tennix has quit [Ping timeout: 250 seconds]

19:57 <Bluddy> anyone know if ocaml supports DWARF call-stack output?

19:57 sivoais has joined #ocaml

20:00 Denommus` has joined #ocaml

20:01 hcarty1 has joined #ocaml

20:02 Denommus has quit [Ping timeout: 246 seconds]

20:02 sivoais has quit [Read error: Connection reset by peer]

20:02 sivoais has joined #ocaml

20:04 hcarty has quit [Ping timeout: 240 seconds]

20:04 palomer has quit [Quit: palomer]

20:11 <def`> Bluddy: CFI? yes

20:15 sh0t has joined #ocaml

20:17 _andre has quit [Quit: leaving]

20:18 mort___ has joined #ocaml

20:19 slash^ has quit [Read error: Connection reset by peer]

20:20 freehck has quit [Ping timeout: 246 seconds]

20:22 octachron has quit [Quit: Leaving]

20:25 palomer has joined #ocaml

20:31 rgrinberg1 has joined #ocaml

20:32 <orbifx> any opinions on ocaml-systemd

20:34 <orbifx> it's not what i thought anyway :/

20:36 <orbifx> looking for a systemctl library if anyone knows one

20:39 hcarty1 has quit [Ping timeout: 256 seconds]

20:40 ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

20:40 mort___ has quit [Quit: Leaving.]

20:41 ^elyse^ has quit [Quit: Leaving]

20:46 octachron has joined #ocaml

20:47 sh0t has quit [Ping timeout: 250 seconds]

20:48 ^elyse^ has joined #ocaml

21:03 Denommus` is now known as Denommus

21:13 mac10688 has joined #ocaml

21:17 f[x] has quit [Ping timeout: 240 seconds]

21:22 sh0t has joined #ocaml

21:22 palomer has quit [Ping timeout: 250 seconds]

21:24 nullcatxxx_ has joined #ocaml

21:27 orbifx has quit [Ping timeout: 264 seconds]

21:36 jeffmo has quit [Quit: jeffmo]

21:40 tane has quit [Quit: Verlassend]

21:47 nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

21:51 ^elyse^ has quit [Quit: sleep]

21:53 thomasga has joined #ocaml

21:53 ceryo has quit [Quit: Textual IRC Client: www.textualapp.com]

21:59 thomasga has quit [Quit: Leaving.]

22:02 tennix has joined #ocaml

22:04 jonludlam has quit [Ping timeout: 272 seconds]

22:08 tennix has quit [Ping timeout: 268 seconds]

22:09 octachron has quit [Quit: Leaving]

22:11 oscar_toro has left #ocaml [#ocaml]

22:12 Mercuria1Alchemi has quit [Ping timeout: 260 seconds]

22:15 TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]

22:17 ollehar has quit [Quit: ollehar]

22:17 swgillespie has joined #ocaml

22:19 antkong_ has joined #ocaml

22:19 larhat1 has quit [Read error: Connection reset by peer]

22:19 larhat1 has joined #ocaml

22:27 f[x] has joined #ocaml

22:41 Sim_n has quit [Quit: Leaving]

22:42 antkong_ has quit [Quit: antkong_]

22:47 sh0t has quit [Ping timeout: 240 seconds]

22:55 Kakadu has quit [Remote host closed the connection]

22:59 Bluddy has quit [Quit: Connection closed for inactivity]

23:07 Denommus has quit [Quit: going home]

23:39 yaewa has joined #ocaml

23:40 Algebr has joined #ocaml

23:41 moei has quit [Ping timeout: 272 seconds]

23:43 pleiosaur has quit [Ping timeout: 255 seconds]

23:44 pleiosaur has joined #ocaml

23:48 swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

23:58 tnguyen has quit [Ping timeout: 240 seconds]