#ocaml on 2019-01-24 — irc logs at freenode.irclog.whitequark.org

2018-10-19 11:39 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel

00:01 asymptotically has quit [Remote host closed the connection]

00:14 carlosdagos has joined #ocaml

00:34 ziyourenxiang_ has joined #ocaml

00:42 iovec has joined #ocaml

00:44 initiumdoeslinux has joined #ocaml

00:48 initiumdoeslinux has quit [Ping timeout: 246 seconds]

00:53 jao has quit [Ping timeout: 246 seconds]

01:09 al-damiri has quit [Quit: Connection closed for inactivity]

01:21 fantasticsid has joined #ocaml

01:22 fantasticsid has quit [Client Quit]

01:24 initiumdoeslinux has joined #ocaml

01:28 initiumdoeslinux has quit [Ping timeout: 240 seconds]

01:28 sagax has joined #ocaml

01:30 silver has quit [Read error: Connection reset by peer]

01:43 olle has quit [Ping timeout: 240 seconds]

01:45 olle has joined #ocaml

01:46 mfp has quit [Ping timeout: 244 seconds]

02:04 ziyourenxiang_ has quit [Remote host closed the connection]

02:32 initiumdoeslinux has joined #ocaml

02:32 ziyourenxiang has joined #ocaml

02:36 initiumdoeslinux has quit [Ping timeout: 246 seconds]

02:46 initiumdoeslinux has joined #ocaml

02:51 initiumdoeslinux has quit [Ping timeout: 240 seconds]

03:04 tormen has joined #ocaml

03:07 anmonteiro has quit [Remote host closed the connection]

03:08 tormen_ has quit [Ping timeout: 268 seconds]

03:43 anmonteiro has joined #ocaml

03:49 ziyourenxiang has quit [Ping timeout: 244 seconds]

04:17 anmonteiro has quit [Ping timeout: 272 seconds]

05:08 anmonteiro has joined #ocaml

05:19 gravicappa has joined #ocaml

05:35 MadcapJake has quit [Quit: MadcapJake]

05:41 anmonteiro has quit [Ping timeout: 245 seconds]

06:24 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

06:32 anmonteiro has joined #ocaml

06:37 pierpal has quit [Quit: Poof]

06:37 pierpal has joined #ocaml

06:58 pierpal has quit [Ping timeout: 244 seconds]

07:05 anmonteiro has quit [Ping timeout: 245 seconds]

07:34 ski has joined #ocaml

07:39 JimmyRcom has quit [Ping timeout: 240 seconds]

07:44 Spetznaz_ has quit [Ping timeout: 244 seconds]

07:56 anmonteiro has joined #ocaml

08:03 sgnb has joined #ocaml

08:29 anmonteiro has quit [Ping timeout: 246 seconds]

08:46 Haudegen has joined #ocaml

08:47 carlosdagos has quit [Quit: Connection closed for inactivity]

08:47 ziyourenxiang has joined #ocaml

09:20 anmonteiro has joined #ocaml

09:23 asymptotically has joined #ocaml

09:46 pierpal has joined #ocaml

09:53 anmonteiro has quit [Ping timeout: 250 seconds]

09:56 mfp has joined #ocaml

10:02 freyr69 has joined #ocaml

10:10 orbifx has joined #ocaml

10:44 anmonteiro has joined #ocaml

10:46 anmonteiro has quit [Remote host closed the connection]

10:46 anmonteiro has joined #ocaml

10:48 andreypopp_ is now known as andreypopp

10:48 flodin has quit [Read error: Connection reset by peer]

10:59 <freyr69> Does ocaml's name mangler always omit intermediate module names? i.e. Test.Foo.Bar.f = camlTest__f_42

11:02 Birdface has joined #ocaml

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

11:20 jbrown has joined #ocaml

11:24 initiumdoeslinux has joined #ocaml

11:29 initiumdoeslinux has quit [Ping timeout: 244 seconds]

11:34 jao has joined #ocaml

11:36 anmonteiro has quit []

12:13 ziyourenxiang has quit [Ping timeout: 250 seconds]

12:13 Birdface has quit [Ping timeout: 240 seconds]

12:15 <def`> I think so.

12:18 silver has joined #ocaml

12:18 <freyr69> Wow, so there is no way to demangle names?

12:26 Haudegen has quit [Remote host closed the connection]

12:40 <def`> Not that way.

12:41 <def`> There are some dwarf information available, that should improve in next release.

12:42 al-damiri has joined #ocaml

12:42 <octachron> or in two releases (4.09)

12:42 <def`> :)

13:04 initiumdoeslinux has joined #ocaml

13:10 initiumdoeslinux has quit [Ping timeout: 245 seconds]

13:12 decentpenguin has joined #ocaml

13:16 jbrown has quit [Ping timeout: 252 seconds]

13:28 jbrown has joined #ocaml

13:35 valtr_ has left #ocaml [#ocaml]

13:35 Haudegen has joined #ocaml

13:36 breitenj- has quit [Quit: ZNC - 1.6.0 - http://znc.in]

13:36 breitenj has joined #ocaml

13:39 jaar has joined #ocaml

14:00 initiumdoeslinux has joined #ocaml

14:06 waleee has joined #ocaml

14:07 opt8 has joined #ocaml

14:09 ziyourenxiang has joined #ocaml

14:24 opt8 has quit [Remote host closed the connection]

14:29 opt8 has joined #ocaml

14:30 opt8 has quit [Client Quit]

14:31 opt8 has joined #ocaml

14:31 opt8 has quit [Client Quit]

14:36 <companion_cube> :(

14:36 spew has joined #ocaml

14:45 JimmyRcom has joined #ocaml

14:54 jao has quit [Remote host closed the connection]

14:58 FreeBirdLjj has joined #ocaml

14:58 opt9 has quit [Quit: leaving]

15:03 sagax has quit [Ping timeout: 272 seconds]

15:03 opt9 has joined #ocaml

15:03 initiumdoeslinux has quit [Ping timeout: 240 seconds]

15:03 opt9 is now known as Guest62619

15:05 Guest62619 has quit [Client Quit]

15:06 opt9_ has joined #ocaml

15:06 opt9_ has quit [Client Quit]

15:08 opt9_ has joined #ocaml

15:08 opt9_ has quit [Client Quit]

15:37 aciniglio has joined #ocaml

15:46 opt9 has joined #ocaml

15:57 status402 has joined #ocaml

16:13 freyr69 has quit [Remote host closed the connection]

16:15 <Leonidas> eh, I should continue on my yojson PR :|

16:16 kakadu has left #ocaml ["Konversation terminated!"]

16:16 kakadu has joined #ocaml

16:17 status402 has quit [Quit: status402]

16:42 FreeBirdLjj has quit [Remote host closed the connection]

16:43 FreeBirdLjj has joined #ocaml

16:47 FreeBirdLjj has quit [Ping timeout: 246 seconds]

16:53 jao has joined #ocaml

17:02 bartholin has joined #ocaml

17:11 orbifx has quit [Quit: WeeChat 2.3]

17:22 <wilfredh> does `function` always represent a top level function definition?

17:22 <wilfredh> https://gist.github.com/Wilfred/b160baa5a2d14dee04103b1e50e3f985

17:22 <wilfredh> this surprised me -- I was expecting foo to return a function

17:24 <lyxia> that's a function though...?

17:24 <wilfredh> oh, you can use it for anonymous functions: https://gist.github.com/Wilfred/b605923e3bca378fe6a43640fbddb452

17:25 <wilfredh> OK, that makes sense.

17:26 * wilfredh is still a syntactic newbie

17:28 <jgkamat> heyy that nick seems familiar :D

17:44 ziyourenxiang has quit [Ping timeout: 268 seconds]

17:46 waleee has quit [Quit: WeeChat 2.3]

17:48 jao has quit [Remote host closed the connection]

17:58 cantstanya has joined #ocaml

18:06 cantstanya has quit [Quit: WeeChat 2.3]

18:07 olle has quit [Ping timeout: 250 seconds]

18:07 cantstanya has joined #ocaml

18:12 jnavila has joined #ocaml

18:19 Haudegen has quit [Remote host closed the connection]

18:25 jao has joined #ocaml

18:31 Serpent7776 has joined #ocaml

18:52 jaar has quit [Ping timeout: 268 seconds]

19:03 aciniglio has quit [Ping timeout: 250 seconds]

19:10 <Leonidas> wilfredh: function is basically just syntactic sugar for `fun x -> match x with`

19:10 <Leonidas> wilfredh: you don't need the begin/end

19:10 <Leonidas> wilfredh: also no need for ;;

19:12 al-damiri has quit [Quit: Connection closed for inactivity]

19:13 ravenousmoose has joined #ocaml

19:19 ravenousmoose has quit [Quit: Bye Bye ~]

19:20 olle has joined #ocaml

19:25 kakadu_ has joined #ocaml

19:28 ravenousmoose has joined #ocaml

19:34 gravicappa has quit [Ping timeout: 240 seconds]

19:36 ravenousmoose has quit [Quit: Bye Bye ~]

19:37 ravenousmoose has joined #ocaml

20:00 kakadu__ has joined #ocaml

20:00 kakadu_ has quit [Ping timeout: 240 seconds]

20:01 iovec has quit [Quit: Connection closed for inactivity]

20:09 decentpenguin has quit [Quit: WeeChat 2.3]

20:13 orbifx has joined #ocaml

20:21 ravenousmoose has quit [Quit: Taking a quick nap...ZZzzz]

20:23 tane has joined #ocaml

20:32 Spetznaz_ has joined #ocaml

21:06 zmt00 has quit [Read error: Connection reset by peer]

21:07 zmt00 has joined #ocaml

21:07 initiumdoeslinux has joined #ocaml

21:09 bartholin has quit [Remote host closed the connection]

21:12 initiumdoeslinux has quit [Ping timeout: 268 seconds]

21:19 Anarchos has joined #ocaml

21:36 jnavila has quit [Ping timeout: 252 seconds]

21:38 Serpent7776 has quit [Quit: leaving]

21:42 Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]

22:25 kvda has joined #ocaml

22:29 jbrown has quit [Ping timeout: 252 seconds]

22:38 kakadu__ has quit [Remote host closed the connection]

22:41 jbrown has joined #ocaml

22:46 carlosdagos has joined #ocaml

22:59 tane has quit [Quit: Leaving]

23:42 _whitelogger has joined #ocaml

23:43 orbifx has quit [Ping timeout: 268 seconds]