#ocaml on 2019-10-22 — irc logs at freenode.irclog.whitequark.org

2019-09-26 12:04 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:02 presiden has quit [Ping timeout: 240 seconds]

00:02 iAmerikan has quit [Ping timeout: 265 seconds]

00:24 toppler has quit [Ping timeout: 276 seconds]

00:35 toppler has joined #ocaml

00:44 bitwinery has joined #ocaml

00:47 warriors has quit [Quit: Connection closed for inactivity]

00:57 warriors has joined #ocaml

01:01 toppler has quit [Ping timeout: 250 seconds]

01:01 hop3_ has joined #ocaml

01:03 kvda has joined #ocaml

01:04 hop3 has quit [Ping timeout: 240 seconds]

01:14 hop3_ has quit [Remote host closed the connection]

01:15 hop3 has joined #ocaml

01:16 toppler has joined #ocaml

01:21 hop3 has quit [Remote host closed the connection]

01:23 rople has joined #ocaml

01:23 AtumT_ has quit [Quit: AtumT_]

01:23 hop3 has joined #ocaml

01:28 mfp has quit [Ping timeout: 268 seconds]

01:33 vicfred has joined #ocaml

01:44 toppler has quit [Ping timeout: 250 seconds]

01:47 hop3 has quit [Ping timeout: 276 seconds]

01:49 vicfred has quit [Quit: Leaving]

01:53 analogue has joined #ocaml

01:56 toppler has joined #ocaml

02:02 tormen_ has joined #ocaml

02:05 tormen has quit [Ping timeout: 240 seconds]

02:21 nullifidian__ has joined #ocaml

02:24 nullifidian_ has quit [Ping timeout: 240 seconds]

02:35 analogue has quit [Quit: Leaving]

02:42 jao has quit [Ping timeout: 240 seconds]

02:44 vicfred has joined #ocaml

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

02:59 tormen has joined #ocaml

03:02 tormen_ has quit [Ping timeout: 276 seconds]

03:04 toppler has joined #ocaml

03:38 toppler has quit [Ping timeout: 268 seconds]

03:53 toppler has joined #ocaml

04:04 vicfred has quit [Quit: Leaving]

04:21 mbuf has joined #ocaml

04:25 assemblyman has joined #ocaml

04:27 toppler has quit [Ping timeout: 268 seconds]

04:38 toppler has joined #ocaml

04:43 Traviss__ has joined #ocaml

04:45 gravicappa has joined #ocaml

04:47 traviss has quit [Ping timeout: 250 seconds]

04:47 Traviss__ has quit [Client Quit]

05:01 tane has joined #ocaml

05:07 toppler has quit [Ping timeout: 250 seconds]

05:10 assemblyman has quit [Quit: ™]

05:15 narimiran has joined #ocaml

05:18 toppler has joined #ocaml

05:22 gravicappa has quit [Ping timeout: 250 seconds]

05:25 gravicappa has joined #ocaml

05:29 tane has quit [Quit: Leaving]

05:46 toppler has quit [Ping timeout: 240 seconds]

05:58 toppler has joined #ocaml

06:28 toppler has quit [Ping timeout: 268 seconds]

06:40 toppler has joined #ocaml

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

06:57 Serpent7776 has joined #ocaml

06:58 bitwinery has quit [Quit: Leaving]

07:06 Haudegen has joined #ocaml

07:08 toppler has quit [Ping timeout: 250 seconds]

07:11 nullifidian__ has quit [Read error: Connection reset by peer]

07:12 nullifidian__ has joined #ocaml

07:19 toppler has joined #ocaml

07:30 gravicappa has quit [Ping timeout: 276 seconds]

07:42 toppler has quit [Ping timeout: 264 seconds]

07:54 toppler has joined #ocaml

08:05 <xvilka> damn, updating the whole setup to 4.08.1 broke VIM/Ale/merlin setup

08:07 <xvilka> nevermind, you have to rerun opam env in the shell vim starts from

08:12 ollehar has joined #ocaml

08:16 toppler has quit [Ping timeout: 246 seconds]

08:22 jacobian has quit [Ping timeout: 240 seconds]

08:29 toppler has joined #ocaml

08:32 ggole has joined #ocaml

08:35 <xvilka> omg

08:35 <xvilka> alpine ocaml is broken

08:35 <xvilka> /o\

08:36 <xvilka> https://gitlab.alpinelinux.org/alpine/aports/issues/10888

08:36 dhil has joined #ocaml

08:52 nullifidian__ has quit [Read error: Connection reset by peer]

08:53 nullifidian__ has joined #ocaml

08:55 jaar has joined #ocaml

08:55 toppler has quit [Ping timeout: 240 seconds]

09:06 toppler has joined #ocaml

09:07 warriors has quit [Quit: Connection closed for inactivity]

09:13 jaar has quit [Ping timeout: 264 seconds]

09:14 jaar has joined #ocaml

09:22 mfp has joined #ocaml

09:33 toppler has quit [Ping timeout: 252 seconds]

09:38 kvda has joined #ocaml

09:45 toppler has joined #ocaml

09:46 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

09:57 infinity0 has joined #ocaml

10:02 jnavila has joined #ocaml

10:09 toppler has quit [Ping timeout: 240 seconds]

10:18 brillenfux has joined #ocaml

10:21 dmiles has quit [Ping timeout: 265 seconds]

10:22 toppler has joined #ocaml

10:24 logicmoo has joined #ocaml

10:27 nullifidian__ is now known as nullifidian

10:40 nullifidian has quit [Read error: Connection reset by peer]

10:40 jnavila has quit [Ping timeout: 250 seconds]

10:40 nullifidian has joined #ocaml

10:54 toppler has quit [Ping timeout: 268 seconds]

11:05 kvda has joined #ocaml

11:06 kvda has quit [Client Quit]

11:07 toppler has joined #ocaml

11:26 jao has joined #ocaml

11:30 rople has quit [Ping timeout: 265 seconds]

11:38 toppler has quit [Ping timeout: 240 seconds]

11:41 silver has joined #ocaml

11:47 jnavila has joined #ocaml

11:54 toppler has joined #ocaml

12:00 <tsani> Anyone know the reason / history for requiring parentheses for a functor instantiation? Suppose I have a functor F and a module X, and I would like to instantiate it, e.g. module M = F(X). The parens are required. Any thoughts?

12:06 Haudegen has quit [Quit: Bin weg.]

12:12 jaar has quit [Ping timeout: 246 seconds]

12:23 dhil has quit [Ping timeout: 250 seconds]

12:25 toppler has quit [Ping timeout: 268 seconds]

12:38 toppler has joined #ocaml

12:39 jaar has joined #ocaml

12:46 dhil has joined #ocaml

12:49 gravicappa has joined #ocaml

12:55 tane has joined #ocaml

13:01 toppler has quit [Ping timeout: 250 seconds]

13:04 spew has joined #ocaml

13:07 keep-learning[m] has quit [Remote host closed the connection]

13:07 peddie has quit [Read error: Connection reset by peer]

13:07 rgr[m] has quit [Remote host closed the connection]

13:07 aspiwack[m] has quit [Remote host closed the connection]

13:07 webax[m] has quit [Remote host closed the connection]

13:07 aecepoglu[m] has quit [Read error: Connection reset by peer]

13:07 flux has quit [Read error: Connection reset by peer]

13:07 copy` has quit [Read error: Connection reset by peer]

13:07 zapashcanon[m] has quit [Read error: Connection reset by peer]

13:07 isaachodes[m] has quit [Remote host closed the connection]

13:07 jimt[m] has quit [Write error: Connection reset by peer]

13:07 sepp2k has quit [Write error: Broken pipe]

13:07 Virgile[m] has quit [Remote host closed the connection]

13:07 smondet[m] has quit [Remote host closed the connection]

13:07 dl3br[m] has quit [Remote host closed the connection]

13:07 regnat[m] has quit [Remote host closed the connection]

13:08 otini has quit [Remote host closed the connection]

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

13:08 hdurer[m] has quit [Remote host closed the connection]

13:11 Haudegen has joined #ocaml

13:15 toppler has joined #ocaml

13:34 dogui has quit [Ping timeout: 265 seconds]

13:36 jao has quit [Remote host closed the connection]

13:37 warriors has joined #ocaml

13:44 toppler has quit [Ping timeout: 264 seconds]

13:57 toppler has joined #ocaml

14:07 dogui has joined #ocaml

14:08 FreeBirdLjj has joined #ocaml

14:11 FreeBirdLjj has quit [Client Quit]

14:12 jao has joined #ocaml

14:26 toppler has quit [Ping timeout: 245 seconds]

14:35 AtumT has joined #ocaml

14:35 AtumT has left #ocaml [#ocaml]

14:40 toppler has joined #ocaml

14:50 Serpent7776 has quit [Quit: Leaving]

14:50 brillenfux has quit [Remote host closed the connection]

14:51 DanC has quit [Ping timeout: 264 seconds]

14:55 smazga has joined #ocaml

15:06 toppler has quit [Ping timeout: 252 seconds]

15:11 dhil has quit [Ping timeout: 265 seconds]

15:18 toppler has joined #ocaml

15:24 dhil has joined #ocaml

15:32 kakadu_ has joined #ocaml

15:44 toppler has quit [Ping timeout: 252 seconds]

15:44 ollehar has quit [Ping timeout: 240 seconds]

15:52 jbrown has quit [Ping timeout: 276 seconds]

15:53 jbrown has joined #ocaml

15:57 toppler has joined #ocaml

16:01 jao has quit [Remote host closed the connection]

16:05 jao has joined #ocaml

16:06 Haudegen has quit [Quit: Bin weg.]

16:23 Denommus has joined #ocaml

16:27 toppler has quit [Ping timeout: 246 seconds]

16:40 toppler has joined #ocaml

16:53 mbuf has quit [Quit: Leaving]

17:07 DanC has joined #ocaml

17:09 toppler has quit [Ping timeout: 268 seconds]

17:15 dhil has quit [Ping timeout: 245 seconds]

17:17 Haudegen has joined #ocaml

17:22 ggole has quit [Quit: Leaving]

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

17:24 toppler has joined #ocaml

17:37 dhil has joined #ocaml

17:54 toppler has quit [Ping timeout: 252 seconds]

17:59 nullifidian_ has joined #ocaml

18:01 nullifidian has quit [Ping timeout: 240 seconds]

18:07 toppler has joined #ocaml

18:27 neiluj has joined #ocaml

18:27 <neiluj> okay I finally solved my problem by installing the package xorg-fonts-misc

18:39 toppler has quit [Ping timeout: 268 seconds]

18:39 neiluj has quit [Quit: neiluj]

18:39 KeyJoo has joined #ocaml

18:40 pmetzger has joined #ocaml

18:44 sagax has quit [Ping timeout: 240 seconds]

18:52 toppler has joined #ocaml

18:57 narimiran has quit [Remote host closed the connection]

18:58 narimiran has joined #ocaml

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

19:26 bitwinery has joined #ocaml

19:31 gareppa has joined #ocaml

19:47 pmetzger has quit []

19:47 toppler has joined #ocaml

19:56 dhil has quit [Ping timeout: 252 seconds]

20:07 malina has joined #ocaml

20:14 gravicappa has quit [Ping timeout: 268 seconds]

20:15 toppler has quit [Ping timeout: 268 seconds]

20:19 toppler has joined #ocaml

20:31 ygrek has joined #ocaml

20:43 sagax has joined #ocaml

20:50 narimiran has quit [Ping timeout: 245 seconds]

20:51 toppler has quit [Ping timeout: 250 seconds]

20:54 toppler has joined #ocaml

20:55 gareppa has quit [Quit: Leaving]

20:56 spew has quit [Quit: going home]

21:03 tane has quit [Quit: Leaving]

21:07 jack5638 has quit [Ping timeout: 265 seconds]

21:12 jack5638 has joined #ocaml

21:14 Denommus has quit [Remote host closed the connection]

21:16 kakadu_ has quit [Remote host closed the connection]

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

21:18 jbrown has quit [Ping timeout: 252 seconds]

21:27 toppler has quit [Ping timeout: 245 seconds]

21:28 KeyJoo has quit [Quit: KeyJoo]

21:30 toppler has joined #ocaml

21:30 jbrown has joined #ocaml

22:00 toppler has quit [Ping timeout: 246 seconds]

22:04 toppler has joined #ocaml

22:12 aecepoglu[m] has joined #ocaml

22:16 smazga has quit [Quit: leaving]

22:28 aecepoglu[m] has quit [Ping timeout: 245 seconds]

22:34 toppler has quit [Ping timeout: 246 seconds]

22:36 aecepoglu[m] has joined #ocaml

22:38 toppler has joined #ocaml

22:43 peddie has joined #ocaml

22:43 flux has joined #ocaml

22:43 copy` has joined #ocaml

22:43 smondet[m] has joined #ocaml

22:43 Haudegen[m] has joined #ocaml

22:43 keep-learning[m] has joined #ocaml

22:43 jimt[m] has joined #ocaml

22:43 zapashcanon[m] has joined #ocaml

22:43 hdurer[m] has joined #ocaml

22:43 aspiwack[m] has joined #ocaml

22:43 regnat[m] has joined #ocaml

22:43 webax[m] has joined #ocaml

22:43 rgr[m] has joined #ocaml

22:43 sepp2k has joined #ocaml

22:43 otini has joined #ocaml

22:43 dl3br[m] has joined #ocaml

22:43 isaachodes[m] has joined #ocaml

22:43 Virgile[m] has joined #ocaml

22:58 kvda has joined #ocaml

23:00 nullifidian_ has quit [Read error: Connection reset by peer]

23:02 nullifidian has joined #ocaml

23:03 keep_learning has quit [Ping timeout: 268 seconds]

23:04 toppler has quit [Ping timeout: 245 seconds]

23:06 vicfred has joined #ocaml

23:09 toppler has joined #ocaml

23:10 Haudegen has quit [Ping timeout: 264 seconds]

23:30 toppler has quit [Ping timeout: 264 seconds]

23:34 toppler has joined #ocaml

23:40 traviss has joined #ocaml

23:41 toppler has quit [Ping timeout: 240 seconds]

23:45 toppler has joined #ocaml

23:57 bitwinery has quit [Quit: Leaving]