#ocaml on 2021-01-23 — irc logs at freenode.irclog.whitequark.org

2020-09-11 13:16 companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.11 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.11/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:07 metreo has quit [Quit: metreo]

00:17 Tuplanolla has quit [Ping timeout: 246 seconds]

00:20 zebrag has quit [Quit: Konversation terminated!]

00:20 zebrag has joined #ocaml

00:25 smazga has joined #ocaml

00:30 smazga has quit [Ping timeout: 264 seconds]

00:33 mphi has quit [Ping timeout: 265 seconds]

00:34 amiloradovsky has quit [Remote host closed the connection]

00:34 Haudegen has quit [Remote host closed the connection]

00:34 amiloradovsky has joined #ocaml

00:37 Haudegen has joined #ocaml

00:41 amiloradovsky has quit [Remote host closed the connection]

00:51 infinigon has joined #ocaml

00:58 smazga has joined #ocaml

01:03 smazga has quit [Ping timeout: 256 seconds]

01:05 smazga has joined #ocaml

01:06 rock64 has quit [Ping timeout: 246 seconds]

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

01:09 rock64 has joined #ocaml

01:09 olle has joined #ocaml

01:14 smazga has quit [Ping timeout: 256 seconds]

01:18 tryte_ has joined #ocaml

01:19 tryte has quit [Ping timeout: 268 seconds]

01:20 zebrag has quit [Quit: Konversation terminated!]

01:20 zebrag has joined #ocaml

01:36 smazga has joined #ocaml

01:41 smazga has quit [Ping timeout: 264 seconds]

01:41 tizoc has quit [Quit: Coyote finally caught me]

01:41 tizoc has joined #ocaml

01:42 smazga has joined #ocaml

01:47 smazga has quit [Ping timeout: 265 seconds]

01:47 smazga has joined #ocaml

01:52 smazga has quit [Ping timeout: 246 seconds]

02:04 Haudegen has quit [Ping timeout: 260 seconds]

02:06 smazga has joined #ocaml

02:06 olle has quit [Ping timeout: 256 seconds]

02:11 smazga has quit [Ping timeout: 246 seconds]

02:12 osa1_ has joined #ocaml

02:14 osa1 has quit [Ping timeout: 260 seconds]

02:20 zebrag has quit [Quit: Konversation terminated!]

02:20 zebrag has joined #ocaml

02:21 smazga has joined #ocaml

02:27 smazga has quit [Ping timeout: 256 seconds]

02:27 smazga has joined #ocaml

02:30 mxns has joined #ocaml

02:32 smazga has quit [Ping timeout: 246 seconds]

02:44 smazga has joined #ocaml

02:49 smazga has quit [Ping timeout: 264 seconds]

02:58 mxns has quit [Ping timeout: 265 seconds]

03:00 smazga has joined #ocaml

03:03 mxns has joined #ocaml

03:19 smazga has quit [Ping timeout: 246 seconds]

03:20 zebrag has quit [Quit: Konversation terminated!]

03:20 zebrag has joined #ocaml

03:42 smazga has joined #ocaml

03:42 osa1_ is now known as osa1

03:54 mxns has quit [Ping timeout: 265 seconds]

04:03 tryte_ has quit [Remote host closed the connection]

04:03 tryte has joined #ocaml

04:08 mxns has joined #ocaml

04:20 zebrag has quit [Quit: Konversation terminated!]

04:20 zebrag has joined #ocaml

04:20 smazga has quit [Ping timeout: 265 seconds]

04:30 smazga has joined #ocaml

04:37 smazga has quit [Ping timeout: 265 seconds]

04:53 waleee-cl has quit [Quit: Connection closed for inactivity]

05:00 rak has quit [Ping timeout: 256 seconds]

05:01 rak has joined #ocaml

05:20 zebrag has quit [Quit: Konversation terminated!]

05:20 zebrag has joined #ocaml

05:29 zebrag has quit [Quit: Konversation terminated!]

05:34 dborisog has joined #ocaml

05:49 mfp has quit [Ping timeout: 265 seconds]

06:12 shawnw has quit [Remote host closed the connection]

06:12 shawnw has joined #ocaml

06:18 smazga has joined #ocaml

06:24 mxns has quit [Ping timeout: 265 seconds]

06:30 smazga has quit [Ping timeout: 260 seconds]

06:53 smazga has joined #ocaml

06:57 _whitelogger has joined #ocaml

07:04 Jesin has quit [Quit: Leaving]

07:10 smazga has quit [Ping timeout: 240 seconds]

07:11 Jesin has joined #ocaml

07:20 smazga has joined #ocaml

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

07:36 mbuf has joined #ocaml

07:43 mbuf has quit [Quit: Leaving]

07:46 smazga has joined #ocaml

07:50 smazga has quit [Ping timeout: 240 seconds]

07:56 tryte has quit [Remote host closed the connection]

07:56 tryte has joined #ocaml

08:10 smazga has joined #ocaml

08:15 smazga has quit [Ping timeout: 264 seconds]

08:37 zolk3ri has quit [Remote host closed the connection]

08:39 zolk3ri has joined #ocaml

08:40 smazga has joined #ocaml

08:44 smazga has quit [Ping timeout: 260 seconds]

09:00 mmohammadi9812 has quit [Quit: Idle for 30+ days]

09:00 undu[m] has quit [Quit: Idle for 30+ days]

09:01 bartholin has joined #ocaml

09:04 aecepoglu[m] has quit [*.net *.split]

09:04 smondet[m] has quit [*.net *.split]

09:04 benschza has quit [*.net *.split]

09:04 artart78 has quit [*.net *.split]

09:04 Putonlalla has quit [*.net *.split]

09:04 ipavlo has quit [*.net *.split]

09:06 Putonlalla has joined #ocaml

09:06 ipavlo has joined #ocaml

09:06 artart78 has joined #ocaml

09:06 benschza has joined #ocaml

09:06 smondet[m] has joined #ocaml

09:06 aecepoglu[m] has joined #ocaml

09:09 samoht[m] has quit [Ping timeout: 244 seconds]

09:10 labor[m] has quit [Ping timeout: 240 seconds]

09:10 dash has quit [Ping timeout: 243 seconds]

09:10 jimt[m] has quit [Ping timeout: 243 seconds]

09:10 avsm[m] has quit [Ping timeout: 260 seconds]

09:10 pqwy[m] has quit [Ping timeout: 246 seconds]

09:10 aspiwack[m] has quit [Ping timeout: 246 seconds]

09:10 aecepoglu[m] has quit [Ping timeout: 258 seconds]

09:10 BitPuffin has quit [Ping timeout: 265 seconds]

09:10 peddie has quit [Ping timeout: 265 seconds]

09:10 lnxw37d4 has quit [Ping timeout: 265 seconds]

09:10 chimay[m] has quit [Ping timeout: 265 seconds]

09:10 flux has quit [Ping timeout: 268 seconds]

09:13 smondet[m] has quit [Ping timeout: 258 seconds]

09:16 Tuplanolla has joined #ocaml

09:18 bartholin has quit [Ping timeout: 272 seconds]

09:30 bartholin has joined #ocaml

09:37 avsm[m] has joined #ocaml

09:37 aecepoglu[m] has joined #ocaml

09:39 pqwy[m] has joined #ocaml

09:40 peddie has joined #ocaml

09:40 jimt[m] has joined #ocaml

09:41 BitPuffin has joined #ocaml

09:41 chimay[m] has joined #ocaml

09:46 bartholin has quit [Ping timeout: 240 seconds]

09:46 lnxw37d4 has joined #ocaml

09:48 aspiwack[m] has joined #ocaml

09:55 pqwy[m] has quit [Ping timeout: 241 seconds]

09:55 aecepoglu[m] has quit [Ping timeout: 268 seconds]

09:55 avsm[m] has quit [Ping timeout: 240 seconds]

09:55 peddie has quit [Ping timeout: 240 seconds]

09:56 chimay[m] has quit [Ping timeout: 246 seconds]

09:56 jimt[m] has quit [Ping timeout: 265 seconds]

09:56 BitPuffin has quit [Ping timeout: 260 seconds]

09:56 aspiwack[m] has quit [Ping timeout: 244 seconds]

09:56 lnxw37d4 has quit [Ping timeout: 244 seconds]

09:59 bartholin has joined #ocaml

10:12 hnOsmium0001 has quit [Quit: Connection closed for inactivity]

10:15 smazga has joined #ocaml

10:18 bartholin has quit [Ping timeout: 260 seconds]

10:20 smazga has quit [Ping timeout: 265 seconds]

10:22 avsm[m] has joined #ocaml

10:27 Haudegen has joined #ocaml

10:30 bartholin has joined #ocaml

10:35 <dmbaturin> How do I use merlin in vim to check if a call in a tail position or not?

11:09 smazga has joined #ocaml

11:10 smondet[m] has joined #ocaml

11:10 dash has joined #ocaml

11:10 samoht[m] has joined #ocaml

11:10 peddie has joined #ocaml

11:10 flux has joined #ocaml

11:10 jimt[m] has joined #ocaml

11:10 chimay[m] has joined #ocaml

11:10 aspiwack[m] has joined #ocaml

11:10 aecepoglu[m] has joined #ocaml

11:10 lnxw37d4 has joined #ocaml

11:10 labor[m] has joined #ocaml

11:10 BitPuffin has joined #ocaml

11:10 pqwy[m] has joined #ocaml

11:11 ArthurStrong has quit [Quit: leaving]

11:14 smazga has quit [Ping timeout: 272 seconds]

11:42 tane has joined #ocaml

11:46 bartholin has quit [Ping timeout: 240 seconds]

11:53 smazga has joined #ocaml

11:58 smazga has quit [Ping timeout: 264 seconds]

11:59 amiloradovsky has joined #ocaml

12:00 bartholin has joined #ocaml

12:32 smazga has joined #ocaml

12:36 smazga has quit [Ping timeout: 246 seconds]

12:45 ggole has joined #ocaml

12:45 jnavila has joined #ocaml

12:52 tane has quit [Quit: Leaving]

12:53 smazga has joined #ocaml

12:53 mfp has joined #ocaml

13:07 smazga has quit [Ping timeout: 265 seconds]

13:21 olle has joined #ocaml

13:46 bartholin has quit [Ping timeout: 256 seconds]

13:48 smazga has joined #ocaml

13:59 smazga has quit [Ping timeout: 246 seconds]

14:00 bartholin has joined #ocaml

14:17 zebrag has joined #ocaml

14:18 smazga has joined #ocaml

14:22 smazga has quit [Ping timeout: 246 seconds]

14:37 smazga has joined #ocaml

14:38 tane has joined #ocaml

14:46 <d_bot> <metroid829> How can I do something to the effect of `type t = T : { foo : (module S with type t = 'a); bar : 'a } -> t` if in S type t is not abstract but rather a private concrete type?

14:51 _whitelogger has joined #ocaml

15:11 smazga has quit [Ping timeout: 256 seconds]

15:13 <d_bot> <metroid829> nvm I just used a different module signature w/ an abstract type.

15:20 zebrag has quit [Quit: Konversation terminated!]

15:20 zebrag has joined #ocaml

15:26 mphi has joined #ocaml

15:27 amiloradovsky has quit [Remote host closed the connection]

15:27 amiloradovsky1 has joined #ocaml

15:30 amiloradovsky1 is now known as amiloradovsky

15:39 metreo has joined #ocaml

15:46 bartholin has quit [Ping timeout: 264 seconds]

15:59 bartholin has joined #ocaml

16:08 smazga has joined #ocaml

16:20 zebrag has quit [Quit: Konversation terminated!]

16:20 zebrag has joined #ocaml

16:20 <avsm[m]> <sleepydog "what do people use for applicati"> https://github.com/mirage/prometheus

16:27 <sleepydog> avsm[m]: thanks! this looks good

16:40 steenuil has quit [Read error: Connection reset by peer]

16:48 waleee-cl has joined #ocaml

16:50 steenuil has joined #ocaml

17:20 zebrag has quit [Quit: Konversation terminated!]

17:20 smazga has quit [Ping timeout: 256 seconds]

17:20 zebrag has joined #ocaml

17:30 smazga has joined #ocaml

17:34 smazga has quit [Ping timeout: 264 seconds]

17:46 bartholin has quit [Ping timeout: 264 seconds]

17:59 bartholin has joined #ocaml

18:09 dborisog has quit [Ping timeout: 264 seconds]

18:20 zebrag has quit [Quit: Konversation terminated!]

18:20 zebrag has joined #ocaml

18:20 metro has joined #ocaml

18:22 metreo has quit [Ping timeout: 265 seconds]

18:22 metro is now known as metreo

18:31 neiluj has joined #ocaml

18:31 neiluj has quit [Changing host]

18:31 neiluj has joined #ocaml

19:15 richbridger has joined #ocaml

19:19 smazga has joined #ocaml

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

19:20 zebrag has joined #ocaml

19:20 olle has quit [Ping timeout: 246 seconds]

19:25 smazga has quit [Ping timeout: 256 seconds]

19:27 hnOsmium0001 has joined #ocaml

19:46 bartholin has quit [Ping timeout: 246 seconds]

19:48 smazga has joined #ocaml

19:52 smazga has quit [Ping timeout: 256 seconds]

19:59 bartholin has joined #ocaml

20:08 smazga has joined #ocaml

20:11 amiloradovsky has quit [Remote host closed the connection]

20:17 neiluj_ has joined #ocaml

20:18 <neiluj_> hi! Between Base.Printf and Stdio.Printf, which one would you choose? they both are wrapper around the Printf module from janestreet

20:20 zebrag has quit [Quit: Konversation terminated!]

20:20 zebrag has joined #ocaml

20:20 mxns has joined #ocaml

20:41 smazga has quit [Ping timeout: 260 seconds]

20:44 olle has joined #ocaml

20:58 mxns has quit [Ping timeout: 264 seconds]

21:00 mxns has joined #ocaml

21:02 ggole has quit [Remote host closed the connection]

21:07 mxns has quit [Quit: ZNC 1.8.2 - https://znc.in]

21:07 mxns has joined #ocaml

21:11 mxns has quit [Ping timeout: 240 seconds]

21:13 mxns has joined #ocaml

21:20 zebrag has quit [Quit: Konversation terminated!]

21:20 zebrag has joined #ocaml

21:22 mxns has quit [Ping timeout: 264 seconds]

21:23 mxns has joined #ocaml

21:27 mxns has quit [Ping timeout: 272 seconds]

21:28 mxns has joined #ocaml

21:36 mxns has quit [Ping timeout: 240 seconds]

21:37 ygrek has joined #ocaml

21:37 mxns has joined #ocaml

21:41 steenuil has quit [Read error: Connection reset by peer]

21:46 bartholin has quit [Ping timeout: 260 seconds]

21:49 steenuil has joined #ocaml

21:54 mxns has quit [Ping timeout: 260 seconds]

22:03 smazga has joined #ocaml

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

22:14 jbrown has quit [Ping timeout: 272 seconds]

22:20 zebrag has quit [Quit: Konversation terminated!]

22:20 zebrag has joined #ocaml

22:24 mxns has joined #ocaml

22:29 mxns has quit [Ping timeout: 272 seconds]

22:38 zolk3ri has quit [Quit: leaving]

22:38 zolk3ri has joined #ocaml

22:43 testetest has joined #ocaml

22:43 testetest has quit [Client Quit]

22:51 mxns has joined #ocaml

22:56 mxns has quit [Ping timeout: 272 seconds]

22:56 sheb has joined #ocaml

22:59 mxns has joined #ocaml

23:17 mxns has quit [Ping timeout: 264 seconds]

23:20 zebrag has quit [Quit: Konversation terminated!]

23:20 zebrag has joined #ocaml

23:25 mxns has joined #ocaml

23:25 neiluj has quit [Remote host closed the connection]

23:25 neiluj_ has quit [Remote host closed the connection]

23:29 mxns has quit [Ping timeout: 240 seconds]

23:31 mxns has joined #ocaml

23:43 ygrek has quit [Remote host closed the connection]

23:45 <d_bot> <undu> There's also https://github.com/mirage/metrics It's missing openmetrics /prometheus output though

23:50 mxns has quit [Ping timeout: 260 seconds]

23:50 ArthurStrong has joined #ocaml

23:53 mxns has joined #ocaml

23:54 jnavila has quit [Ping timeout: 272 seconds]

23:55 smazga has joined #ocaml

23:57 tane has quit [Quit: Leaving]

23:58 mxns has quit [Ping timeout: 256 seconds]

23:59 mxns has joined #ocaml