#ocaml on 2018-07-01 — irc logs at freenode.irclog.whitequark.org

2017-11-24 19:05 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:03 cbot has quit [Ping timeout: 240 seconds]

00:20 shinnya has joined #ocaml

00:22 cbot has joined #ocaml

00:29 mk9 has joined #ocaml

00:31 gtrak has quit [Ping timeout: 240 seconds]

00:33 gtrak has joined #ocaml

00:37 <steenuil> it kind of feels like the syntax for types and values are mirrored

00:39 silver_ has joined #ocaml

00:40 <steenuil> type constructors are read RTL, function application LTR, f (g x) needs parenthesis while x g f doesn't

00:42 zolk3ri has quit [Ping timeout: 264 seconds]

00:42 silver has quit [Ping timeout: 240 seconds]

00:44 zolk3ri has joined #ocaml

00:46 zolk3ri has quit [Client Quit]

00:47 gtrak has quit [Ping timeout: 268 seconds]

00:56 mnemem has quit [Ping timeout: 264 seconds]

01:06 mk9 has quit [Quit: mk9]

01:06 mk9 has joined #ocaml

01:09 cbot has quit [Ping timeout: 248 seconds]

01:11 mk9 has quit [Client Quit]

01:11 mk9 has joined #ocaml

01:19 pierpal has joined #ocaml

01:20 cbot has joined #ocaml

01:23 pierpal has quit [Ping timeout: 264 seconds]

01:28 loli has quit [Quit: WeeChat 2.1]

01:29 loli has joined #ocaml

01:30 pierpal has joined #ocaml

01:39 loli has quit [Quit: WeeChat 2.1]

01:40 loli has joined #ocaml

01:46 jimmyrcom has joined #ocaml

01:51 mfp has quit [Ping timeout: 264 seconds]

01:56 mk9 has quit [Quit: mk9]

01:58 silver_ has quit [Read error: Connection reset by peer]

02:05 tormen has joined #ocaml

02:05 cbot has quit [Ping timeout: 248 seconds]

02:08 tormen_ has quit [Ping timeout: 240 seconds]

02:28 cbot has joined #ocaml

02:31 pierp has quit [Quit: Page closed]

02:42 r3s1stanc3 has joined #ocaml

02:42 r3s1stanc3_ has quit [Ping timeout: 256 seconds]

03:07 unyu has quit [Quit: The end of the world is nigh. Bring as much popcorn as you can!]

03:22 pierpal has quit [Quit: Poof]

03:22 pierpal has joined #ocaml

03:28 unyu has joined #ocaml

03:40 halogenandtoast has joined #ocaml

03:40 granttrec has joined #ocaml

03:45 halogenandtoast has quit [Ping timeout: 264 seconds]

03:47 jao has quit [Ping timeout: 268 seconds]

03:58 FreeBirdLjj has joined #ocaml

04:04 tarptaeya has joined #ocaml

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

04:37 hdon has joined #ocaml

05:11 FreeBirdLjj has quit [Remote host closed the connection]

05:14 FreeBirdLjj has joined #ocaml

05:53 tarptaeya has joined #ocaml

05:53 jbrown has quit [Ping timeout: 240 seconds]

06:00 loli has quit [Quit: WeeChat 2.1]

06:19 loli has joined #ocaml

06:35 hdon has quit [Ping timeout: 260 seconds]

06:45 malina has joined #ocaml

06:54 TarVanimelde has joined #ocaml

07:01 cbot has quit [Quit: Leaving]

07:24 TarVanimelde has quit [Quit: TarVanimelde]

07:35 tarptaeya has quit [Ping timeout: 248 seconds]

08:05 ratschance has quit [Remote host closed the connection]

08:06 ratschance has joined #ocaml

08:06 granttrec has quit [Quit: granttrec]

08:08 SomeDamnBody has quit [Ping timeout: 256 seconds]

08:31 hdon has joined #ocaml

08:36 hdon has quit [Ping timeout: 255 seconds]

08:47 Haudegen has joined #ocaml

08:50 argent_smith has joined #ocaml

09:03 mk9 has joined #ocaml

09:09 FreeBirdLjj has quit [Remote host closed the connection]

09:10 jnavila has joined #ocaml

09:12 mk9 has quit [Quit: mk9]

09:14 mk9 has joined #ocaml

09:26 RalfJ has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]

09:28 jnavila has quit [Quit: Konversation terminated!]

09:30 mfp has joined #ocaml

09:32 larhat has joined #ocaml

09:35 jnavila has joined #ocaml

09:45 zolk3ri has joined #ocaml

09:53 mk9 has quit [Quit: mk9]

09:57 mk9 has joined #ocaml

10:32 hdon has joined #ocaml

10:34 tarptaeya has joined #ocaml

10:36 hdon has quit [Ping timeout: 240 seconds]

10:47 malina has quit [Ping timeout: 264 seconds]

10:53 hdon has joined #ocaml

10:58 hdon has quit [Ping timeout: 256 seconds]

11:03 pierpal has quit [Quit: Poof]

11:04 pierpal has joined #ocaml

11:07 mnemem has joined #ocaml

11:20 leah2 has quit [Ping timeout: 256 seconds]

11:27 malina has joined #ocaml

11:31 webshinra has quit [Remote host closed the connection]

11:33 leah2 has joined #ocaml

11:36 webshinra has joined #ocaml

11:47 Haudegen has quit [Remote host closed the connection]

11:56 mk9 has quit [Quit: mk9]

12:02 TheLemonMan has joined #ocaml

12:12 _whitelogger has joined #ocaml

12:28 Guest75684 has joined #ocaml

12:35 silver has joined #ocaml

12:36 mnemem has quit [Ping timeout: 256 seconds]

12:37 mnemem has joined #ocaml

12:53 hdon has joined #ocaml

12:54 halogenandtoast has joined #ocaml

12:58 hdon has quit [Ping timeout: 240 seconds]

13:00 jao has joined #ocaml

13:01 nicoo has quit [Remote host closed the connection]

13:02 nicoo has joined #ocaml

13:05 zolk3ri has quit [Ping timeout: 260 seconds]

13:07 zolk3ri has joined #ocaml

13:14 hdon has joined #ocaml

13:19 malina has quit [Ping timeout: 256 seconds]

13:19 hdon has quit [Ping timeout: 240 seconds]

13:20 FreeBirdLjj has joined #ocaml

13:35 shinnya has quit [Ping timeout: 276 seconds]

13:37 larhat has quit [Quit: Leaving.]

14:05 zolk3ri has quit [Ping timeout: 240 seconds]

14:07 dhil has joined #ocaml

14:10 mk9 has joined #ocaml

14:18 zolk3ri has joined #ocaml

14:25 tarptaeya has quit [Quit: Konversation terminated!]

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

14:29 mnemem has quit [Ping timeout: 260 seconds]

14:32 shinnya has joined #ocaml

14:47 theglass has joined #ocaml

14:47 theglass has quit [Changing host]

14:47 theglass has joined #ocaml

15:07 mnemem has joined #ocaml

15:13 shinnya has quit [Ping timeout: 256 seconds]

15:15 hdon has joined #ocaml

15:19 hdon has quit [Ping timeout: 256 seconds]

15:24 FreeBirdLjj has quit [Remote host closed the connection]

15:29 FreeBirdLjj has joined #ocaml

15:29 pierpal has quit [Quit: Poof]

15:29 pierpal has joined #ocaml

15:29 SomeDamnBody has joined #ocaml

15:32 FreeBirdLjj has quit [Remote host closed the connection]

15:33 FreeBirdLjj has joined #ocaml

15:37 jao has quit [Ping timeout: 240 seconds]

15:39 halogenandtoast has quit [Ping timeout: 256 seconds]

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

15:43 jao has joined #ocaml

15:59 jbrown has joined #ocaml

16:27 caltelt_ has joined #ocaml

16:27 caltelt has quit [Quit: The Lounge - https://thelounge.github.io]

16:31 jnavila has quit [Ping timeout: 240 seconds]

16:47 markoong has joined #ocaml

16:51 mk9 has quit [Quit: mk9]

16:56 mnemem has quit [Ping timeout: 256 seconds]

17:12 dhil has quit [Ping timeout: 260 seconds]

17:13 mnemem has joined #ocaml

17:15 hdon has joined #ocaml

17:20 hdon has quit [Ping timeout: 245 seconds]

17:32 mk9 has joined #ocaml

17:54 jaar has joined #ocaml

17:55 kleimkuhler has joined #ocaml

18:10 jaar_ has joined #ocaml

18:13 jaar has quit [Ping timeout: 256 seconds]

18:26 hdon has joined #ocaml

18:30 hdon has quit [Ping timeout: 240 seconds]

18:43 pierpal has quit [Quit: Poof]

18:43 pierpal has joined #ocaml

18:49 jao has quit [Ping timeout: 256 seconds]

18:56 CcxWrk has quit [Remote host closed the connection]

18:57 mnemem has quit [Ping timeout: 264 seconds]

19:00 isd has joined #ocaml

19:12 jack5638 has quit [Ping timeout: 256 seconds]

19:13 pierpal has quit [Quit: Poof]

19:13 Guest75684 has quit [Remote host closed the connection]

19:14 pierpal has joined #ocaml

19:18 jack5638 has joined #ocaml

19:22 barcabuona has joined #ocaml

19:25 tokomak has joined #ocaml

19:26 magicbit has joined #ocaml

19:30 jnavila has joined #ocaml

19:38 barcabuona has quit [Quit: WeeChat 2.1]

19:45 barcabuona has joined #ocaml

19:59 sz0 has joined #ocaml

20:05 Haudegen has joined #ocaml

20:13 neatonk has quit [Ping timeout: 276 seconds]

20:14 hdon has joined #ocaml

20:15 larhat has joined #ocaml

20:18 hdon has quit [Ping timeout: 255 seconds]

20:24 kleimkuhler has quit [Quit: kleimkuhler]

20:28 shinnya has joined #ocaml

20:29 hdon has joined #ocaml

20:33 hdon has quit [Ping timeout: 240 seconds]

20:34 loli is now known as nymphet

20:34 nymphet is now known as loli

20:35 hdon has joined #ocaml

20:37 pierpal has quit [Quit: Poof]

20:38 pierpal has joined #ocaml

20:58 ziyourenxiang_ has joined #ocaml

21:00 ziyourenxiang has quit [Ping timeout: 264 seconds]

21:03 hdon has quit [Ping timeout: 240 seconds]

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

21:16 barcabuona has quit [Ping timeout: 256 seconds]

21:25 kleimkuhler has joined #ocaml

21:33 jao has joined #ocaml

21:35 halogenandtoast has joined #ocaml

21:38 gtrak has joined #ocaml

21:38 malina has joined #ocaml

21:40 halogenandtoast has quit [Ping timeout: 268 seconds]

21:47 jnavila has quit [Remote host closed the connection]

21:52 cbot has joined #ocaml

22:02 sz0 has quit [Quit: Connection closed for inactivity]

22:04 gtrak has quit [Ping timeout: 260 seconds]

22:05 kleimkuhler has quit [Quit: kleimkuhler]

22:06 kleimkuhler has joined #ocaml

22:07 jaar_ has quit [Ping timeout: 256 seconds]

22:08 caltelt_ has joined #ocaml

22:10 <Leonidas> does {test} in opam files imply {build} or will updates in test dependencies trigger rebuilds?

22:16 mk9 has quit [Quit: mk9]

22:19 jave has quit [Ping timeout: 256 seconds]

22:23 jave has joined #ocaml

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

22:42 pierpa has joined #ocaml

22:45 sz0 has joined #ocaml

22:48 argent_smith has quit [Quit: Leaving.]

22:54 isd has quit [Quit: Leaving.]

22:59 hdon has joined #ocaml

23:05 hdon has quit [Changing host]

23:05 hdon has joined #ocaml

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

23:11 ziyourenxiang_ has quit [Ping timeout: 260 seconds]

23:15 <companion_cube> I suppose it will trigger a rebuild if you pass -t ?

23:38 hdon has quit [Ping timeout: 248 seconds]

23:54 hdon has joined #ocaml

23:54 zolk3ri has quit [Remote host closed the connection]

23:59 caltelt_ has quit [Ping timeout: 245 seconds]