#ocaml on 2017-05-04 — irc logs at freenode.irclog.whitequark.org

2016-11-11 21:04 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Current MOOC: https://huit.re/ocamlmooc | OCaml 4.04.0 release notes: http://ocaml.org/releases/4.04.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:00 RomanZ5 has quit [Changing host]

00:00 RomanZ5 has joined #ocaml

00:01 infinity0 has joined #ocaml

00:02 infinity0 has quit [Remote host closed the connection]

00:04 infinity0 has joined #ocaml

00:05 infinity0 has quit [Remote host closed the connection]

00:07 infinity0 has joined #ocaml

00:07 infinity0 has quit [Remote host closed the connection]

00:10 infinity0 has joined #ocaml

00:10 infinity0 has quit [Remote host closed the connection]

00:12 infinity0 has joined #ocaml

00:13 infinity0 has quit [Remote host closed the connection]

00:15 infinity0 has joined #ocaml

00:17 eh_eff has quit [Ping timeout: 240 seconds]

00:20 bigs has joined #ocaml

00:45 mfp has quit [Ping timeout: 260 seconds]

00:47 agravier[away] is now known as agravier

00:49 agravier has quit [Quit: agravier]

00:53 infinity0 has quit [Remote host closed the connection]

00:57 infinity0 has joined #ocaml

00:59 al-damiri has quit [Quit: Connection closed for inactivity]

01:00 moei has quit [Quit: Leaving...]

01:07 eagleflo has quit [Ping timeout: 240 seconds]

01:14 moei has joined #ocaml

01:19 nullcatxxx_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

01:38 nullcatxxx_ has joined #ocaml

01:39 nullcatxxx_ has quit [Client Quit]

01:49 bbc_ has quit [Ping timeout: 255 seconds]

01:53 bbc has joined #ocaml

02:04 copy` has quit [Quit: Connection closed for inactivity]

02:08 agravier has joined #ocaml

02:09 jabroney has quit [Quit: Leaving.]

02:24 nomicflux has joined #ocaml

02:25 jao has quit [Ping timeout: 276 seconds]

02:45 mengu has quit [Remote host closed the connection]

02:45 mengu has joined #ocaml

02:47 agravier is now known as agravier[away]

02:50 mengu has quit [Ping timeout: 240 seconds]

02:59 cataska has joined #ocaml

03:02 cataska has quit [Client Quit]

03:03 inr_ has joined #ocaml

03:03 john51 has joined #ocaml

03:04 rome has joined #ocaml

03:04 agravier has joined #ocaml

03:06 bernardo1pc has joined #ocaml

03:09 trevorri- has joined #ocaml

03:11 pote__ has joined #ocaml

03:11 bigs has quit [*.net *.split]

03:11 agravier[away] has quit [*.net *.split]

03:11 srenatus[m]1 has quit [*.net *.split]

03:11 RomanZ5 has quit [*.net *.split]

03:11 jmiven has quit [*.net *.split]

03:11 bernardofpc has quit [*.net *.split]

03:11 tobast has quit [*.net *.split]

03:11 inr has quit [*.net *.split]

03:11 john51_ has quit [*.net *.split]

03:11 Madars has quit [*.net *.split]

03:11 littleli has quit [*.net *.split]

03:11 S11001001 has quit [*.net *.split]

03:11 fraggle_ has quit [*.net *.split]

03:11 shakalaka has quit [*.net *.split]

03:11 trevorriles_ has quit [*.net *.split]

03:11 pote_ has quit [*.net *.split]

03:11 jbrown has quit [*.net *.split]

03:12 shakalaka has joined #ocaml

03:18 jbrown has joined #ocaml

03:18 tobast has joined #ocaml

03:18 fraggle_ has joined #ocaml

03:19 jmiven has joined #ocaml

03:19 srenatus[m]1 has joined #ocaml

03:20 Madars has joined #ocaml

03:40 madroach has quit [Ping timeout: 260 seconds]

03:42 madroach has joined #ocaml

03:46 eh_eff has joined #ocaml

03:46 nullcatxxx_ has joined #ocaml

03:50 eh_eff has quit [Ping timeout: 240 seconds]

03:53 psacrifice has joined #ocaml

03:57 nomicflux has quit [Quit: nomicflux]

04:00 agravier has quit [Read error: Connection reset by peer]

04:01 agravier has joined #ocaml

04:06 jack5638 has quit [Ping timeout: 268 seconds]

04:07 jack5638 has joined #ocaml

04:09 nullcatxxx_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

04:11 psacrifice has quit [Remote host closed the connection]

04:13 Guest53094 is now known as awal

04:15 agravier_ has joined #ocaml

04:17 agravier has quit [Read error: Connection reset by peer]

04:17 agravier has joined #ocaml

04:18 MercurialAlchemi has joined #ocaml

04:19 agravier_ has quit [Ping timeout: 255 seconds]

04:25 agravier has quit [Quit: agravier]

04:28 agravier has joined #ocaml

04:36 psacrifice has joined #ocaml

04:36 agravier_ has joined #ocaml

04:38 agravier has quit [Ping timeout: 240 seconds]

04:40 ojmb_ has quit []

04:42 agravier_ has quit [Ping timeout: 240 seconds]

04:43 agravier has joined #ocaml

04:55 MercurialAlchemi has quit [Ping timeout: 255 seconds]

05:01 agravier is now known as agravier[away]

05:04 Emmanuel_ has quit [Quit: Emmanuel_]

05:05 psacrifice has quit [Remote host closed the connection]

05:12 S11001001 has joined #ocaml

05:13 littleli has joined #ocaml

05:13 bigs has joined #ocaml

05:13 rpg has quit [Ping timeout: 240 seconds]

05:32 agravier[away] is now known as agravier

05:34 eh_eff has joined #ocaml

05:36 MercurialAlchemi has joined #ocaml

05:38 eh_eff has quit [Ping timeout: 240 seconds]

05:46 spew has joined #ocaml

05:56 agravier is now known as agravier[away]

06:15 fraggle-boate has quit [Ping timeout: 240 seconds]

06:17 spew has quit [Quit: foobar]

06:19 agravier[away] is now known as agravier

06:28 Simn has joined #ocaml

06:33 eh_eff has joined #ocaml

06:37 freusque has joined #ocaml

06:38 eh_eff has quit [Ping timeout: 240 seconds]

06:44 alfredo has joined #ocaml

07:11 agravier is now known as agravier[away]

07:11 agravier[away] is now known as agravier

07:12 eagleflo has joined #ocaml

07:13 AltGr has joined #ocaml

07:29 ipfix is now known as maufred

07:31 inr_ is now known as inr

07:36 psacrifice has joined #ocaml

07:45 psacrifice has quit [Remote host closed the connection]

07:52 toolslive has joined #ocaml

07:58 psacrifice has joined #ocaml

08:00 agravier is now known as agravier[away]

08:12 AlexRussia has quit [Ping timeout: 255 seconds]

08:12 madroach has quit [Quit: leaving]

08:14 agravier[away] is now known as agravier

08:22 eh_eff has joined #ocaml

08:26 eh_eff has quit [Ping timeout: 240 seconds]

08:34 n321 has joined #ocaml

08:34 n4323 has quit [Read error: Connection reset by peer]

08:38 richi235 has joined #ocaml

08:57 richi235 has quit [Ping timeout: 260 seconds]

09:04 zpe has joined #ocaml

09:07 AlexRussia has joined #ocaml

09:10 gjaldon__ has quit []

09:11 gjaldon__ has joined #ocaml

09:22 mfp has joined #ocaml

09:26 AlexRussia has quit [Ping timeout: 255 seconds]

09:36 psacrifice has quit [Remote host closed the connection]

09:40 toolslive has quit [Ping timeout: 240 seconds]

09:47 psacrifice has joined #ocaml

09:50 littleli has quit []

09:51 littleli has joined #ocaml

09:52 psacrifice has quit [Ping timeout: 258 seconds]

09:53 S11001001 has quit []

09:53 S11001001 has joined #ocaml

09:55 toolslive has joined #ocaml

10:00 kakadu has joined #ocaml

10:00 argent_smith has joined #ocaml

10:01 toolslive has quit [Ping timeout: 245 seconds]

10:01 jeroud has quit []

10:02 jeroud has joined #ocaml

10:03 TheLemonMan has joined #ocaml

10:07 agravier has quit [Quit: agravier]

10:10 eh_eff has joined #ocaml

10:14 toolslive has joined #ocaml

10:15 eh_eff has quit [Ping timeout: 246 seconds]

10:15 AlexRussia has joined #ocaml

10:16 ziyourenxiang has joined #ocaml

10:34 lynn has quit []

10:34 lynn has joined #ocaml

10:41 jcloud has quit []

10:41 jcloud has joined #ocaml

10:42 chenglou has quit []

10:42 chenglou has joined #ocaml

10:45 richi235 has joined #ocaml

10:52 mengu has joined #ocaml

11:23 agarwal1975 has quit [Quit: agarwal1975]

11:29 _andre has joined #ocaml

11:56 sepp2k has joined #ocaml

11:57 toolslive has quit [Ping timeout: 246 seconds]

11:59 eh_eff has joined #ocaml

11:59 agarwal1975 has joined #ocaml

12:02 rpg has joined #ocaml

12:03 agarwal1975_ has joined #ocaml

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

12:04 eh_eff has joined #ocaml

12:05 agarwal1975 has quit [Ping timeout: 260 seconds]

12:05 agarwal1975_ is now known as agarwal1975

12:09 eh_eff has quit [Ping timeout: 268 seconds]

12:12 nomicflux has joined #ocaml

12:14 toolslive has joined #ocaml

12:17 Algebr has joined #ocaml

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

12:53 nomicflux has quit [Quit: nomicflux]

13:00 mpenet has joined #ocaml

13:31 Algebr has quit [Ping timeout: 240 seconds]

13:36 jabesed has joined #ocaml

13:38 jabesed has quit [Remote host closed the connection]

13:38 jabesed has joined #ocaml

13:42 sh0t has joined #ocaml

13:51 BitPuffin|osx has joined #ocaml

13:53 eh_eff has joined #ocaml

13:55 <orbifx[m]> Does ocaml's compiler eliminate code which will never run because of constant parameters?

13:55 <orbifx[m]> e.g.: `let v = None in match v with Some _ -> print_string "hi" | None -> ()`

13:55 <orbifx[m]> will this be eliminated?

13:56 <Drup> with flambda, it can, yes

13:57 eh_eff has quit [Ping timeout: 268 seconds]

14:02 richi235 has quit [Ping timeout: 268 seconds]

14:03 <orbifx[m]> Is Flambda optional? Or enabled by default after a certain version?

14:06 <Drup> still optional

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

14:12 <orbifx[m]> Enabled by a flag? What's its status?

14:12 <Drup> you need to add an option when building the compiler

14:13 <Drup> there are switches with flambda enabled in opam

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

14:30 Jaxan has left #ocaml ["http://quassel-irc.org - Chat comfortably. Anywhere."]

14:31 rpg has quit [Ping timeout: 260 seconds]

14:31 mpenet has left #ocaml ["ERC (IRC client for Emacs 26.0.50.2)"]

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

14:39 ryanartecona has joined #ocaml

14:44 <orbifx[m]> Is it ready for production?

14:44 richi235 has joined #ocaml

14:44 <companion_cube> I think so

14:44 <companion_cube> at least I run some projects with it, for the performance gains

14:45 <companion_cube> no problem so far (I mean, except the ones I reported on previous versions 0:-))

14:49 rpg has joined #ocaml

14:51 yomimono has joined #ocaml

14:52 richi235 has quit [Ping timeout: 268 seconds]

14:55 aegray has joined #ocaml

14:57 ziyourenxiang has quit [Ping timeout: 246 seconds]

14:57 <flux> 1

14:57 <companion_cube> 2

15:00 <reynir> 3

15:01 ziyourenxiang has joined #ocaml

15:02 <kakadu> 4

15:03 al-damiri has joined #ocaml

15:04 richi235 has joined #ocaml

15:09 FreeBirdLjj has joined #ocaml

15:11 MercurialAlchemi has joined #ocaml

15:14 moei has quit [Read error: Connection reset by peer]

15:14 moei has joined #ocaml

15:18 <flux> kakadu won :/

15:23 jabroney has joined #ocaml

15:25 spew has joined #ocaml

15:25 sillyotter has joined #ocaml

15:28 sillyotter has quit [Client Quit]

15:31 rpg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

15:33 rpg has joined #ocaml

15:33 alfredo has quit [Quit: Textual IRC Client: www.textualapp.com]

15:34 FreeBirdLjj has quit [Ping timeout: 240 seconds]

15:39 agravier has joined #ocaml

15:45 <orbifx[m]> what's this?!

15:45 <orbifx[m]> :P

15:45 <kakadu> My victory

15:46 <orbifx[m]> :P

15:46 <orbifx[m]> The game?

15:48 <lyxia> I lost the game.

15:49 <orbifx[m]> Is it who says the largest number within a time-out period? :P

15:49 <orbifx[m]> Does the winner get a camel?

15:51 <Drup> 🐫

15:52 <Drup> 🐪 actually

15:52 richi235 has quit [Ping timeout: 268 seconds]

15:55 <mrvn> lyxia: now you made me loose too

16:03 ryanartecona has quit [Quit: ryanartecona]

16:03 sepp2k has quit [Quit: Leaving.]

16:05 sepp2k has joined #ocaml

16:07 ryanartecona has joined #ocaml

16:15 freusque has quit [Quit: WeeChat 1.7]

16:16 AltGr has left #ocaml [#ocaml]

16:20 rpg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

16:23 rpg has joined #ocaml

16:29 agravier is now known as agravier[away]

16:29 agravier[away] is now known as agravier

16:32 ziyourenxiang has quit [Quit: Leaving]

16:33 eh_eff has joined #ocaml

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

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

16:35 lynn has quit [Read error: Connection reset by peer]

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

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

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

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

16:38 jeroud has joined #ocaml

16:39 chenglou has joined #ocaml

16:41 jabesed has quit [Ping timeout: 258 seconds]

16:41 S11001001 has joined #ocaml

16:41 jabroney1 has joined #ocaml

16:41 jcloud has joined #ocaml

16:42 littleli has joined #ocaml

16:43 copy` has joined #ocaml

16:43 gjaldon__ has joined #ocaml

16:43 jabroney has quit [Ping timeout: 240 seconds]

16:46 lynn has joined #ocaml

16:50 yomimono has quit [Ping timeout: 268 seconds]

16:50 rpg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

16:59 yomimono has joined #ocaml

17:04 ryanartecona has quit [Quit: ryanartecona]

17:09 mengu has quit [Remote host closed the connection]

17:09 yomimono has quit [Ping timeout: 255 seconds]

17:10 yomimono has joined #ocaml

17:11 nullcatxxx_ has joined #ocaml

17:19 rpg has joined #ocaml

17:31 ryanartecona has joined #ocaml

17:44 agravier has quit [Quit: agravier]

18:00 tane has joined #ocaml

18:02 strykerkkd has joined #ocaml

18:07 agravier has joined #ocaml

18:09 andreas__ has quit [Quit: Connection closed for inactivity]

18:09 mengu has joined #ocaml

18:14 mengu has quit [Ping timeout: 240 seconds]

18:16 average is now known as for-N-times

18:17 for-N-times is now known as average

18:23 AlexRussia has quit [Ping timeout: 240 seconds]

18:29 slash^ has joined #ocaml

18:32 srcerer has quit [Quit: ChatZilla 0.9.93 [Firefox 49.0/20160916101415]]

18:35 <orbitz> Drup: latest tyre update broke furl ;)

18:36 <companion_cube> so edgy ;)

18:36 <orbitz> being on the bleeding edge means sometimes you get cut

18:36 AlexRussia has joined #ocaml

18:37 agravier has quit [Quit: agravier]

18:37 <Drup> ah, yes

18:37 <Drup> pin the previous version for now ^^'

18:38 <companion_cube> seems I have to remove opam-pulish to update tls -_-

18:39 srcerer has joined #ocaml

18:40 ryanartecona has quit [Quit: ryanartecona]

18:46 kakadu has quit [Quit: Konversation terminated!]

18:47 agravier has joined #ocaml

18:59 agravier has quit [Quit: agravier]

18:59 agravier has joined #ocaml

18:59 agravier has quit [Client Quit]

19:00 agravier has joined #ocaml

19:00 agravier has quit [Client Quit]

19:01 agravier has joined #ocaml

19:01 agravier has quit [Client Quit]

19:02 agravier has joined #ocaml

19:02 agravier has quit [Client Quit]

19:02 agravier has joined #ocaml

19:03 agravier has quit [Client Quit]

19:04 rpg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

19:05 yomimono has quit [Ping timeout: 255 seconds]

19:16 TheLemonMan has joined #ocaml

19:19 eh_eff has quit [Ping timeout: 268 seconds]

19:21 hashpuppy has joined #ocaml

19:26 mengu has joined #ocaml

19:32 mengu has quit [Ping timeout: 260 seconds]

19:34 yomimono has joined #ocaml

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

19:39 strykerkkd has quit [Quit: Leaving]

19:50 nullcatxxx_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

20:10 MercurialAlchemi has quit [Ping timeout: 260 seconds]

20:16 larhat has joined #ocaml

20:25 rpg has joined #ocaml

20:34 nullcatxxx_ has joined #ocaml

20:37 eh_eff has joined #ocaml

20:51 mengu has joined #ocaml

20:53 argent_smith has quit [Ping timeout: 260 seconds]

20:56 rpg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

21:05 argent_smith has joined #ocaml

21:05 clem_ has joined #ocaml

21:06 _andre has quit [Quit: leaving]

21:07 clem_ has quit [Client Quit]

21:09 yomimono has quit [Ping timeout: 264 seconds]

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

21:17 argent_smith has quit [Quit: Leaving.]

21:22 jabroney1 has quit [Quit: Leaving.]

21:26 sh0t has quit [Quit: Leaving]

21:37 <orbifx[m]> reynir: remember how you told me that can't use a module name already used by compiler-libs?

21:38 <orbifx[m]> I just noticed this wasn't causing a build issue until now. So it has been compiling until now.

21:38 <orbifx[m]> But I don't think I changed anything

21:39 tane has quit [Quit: Leaving]

21:45 <thizanne> you don't think but you know you did, right

21:45 <thizanne> so try to bisect maybe

21:50 average has quit [Ping timeout: 245 seconds]

21:59 average has joined #ocaml

22:02 yomimono has joined #ocaml

22:05 agarwal1975 has quit [Quit: agarwal1975]

22:10 yomimono has quit [Quit: Leaving]

22:22 richi235 has joined #ocaml

22:23 larhat has quit [Quit: Leaving.]

22:25 nullcatxxx_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

22:25 average has quit [Remote host closed the connection]

22:27 richi235 has quit [Ping timeout: 260 seconds]

22:33 nullcatxxx_ has joined #ocaml

22:51 richi235 has joined #ocaml

23:10 nullcatxxx_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

23:12 agarwal1975 has joined #ocaml

23:18 nullcatxxx_ has joined #ocaml

23:38 Fistine has quit [Ping timeout: 245 seconds]

23:38 Fistine has joined #ocaml

23:39 agarwal1975_ has joined #ocaml

23:40 agarwal1975 has quit [Ping timeout: 240 seconds]

23:40 agarwal1975_ is now known as agarwal1975

23:43 hashpuppy has quit [Quit: Connection closed for inactivity]

23:45 Simn has quit [Quit: Leaving]

23:46 spew has quit [Ping timeout: 240 seconds]

23:51 eh_eff has quit [Quit: WeeChat 1.7]

23:53 sepp2k has quit [Quit: Leaving.]

23:55 _y has quit [Ping timeout: 260 seconds]

23:55 Fistine has quit [Ping timeout: 260 seconds]

23:55 _y has joined #ocaml

23:57 infinity0_ has joined #ocaml

23:57 infinity0_ has quit [Changing host]

23:57 infinity0 has quit [Killed (adams.freenode.net (Nickname regained by services))]

23:57 infinity0 has joined #ocaml

23:57 infinity0 has quit [Remote host closed the connection]