#ocaml on 2019-10-04 — 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:05 iovec has quit [Quit: Connection closed for inactivity]

00:13 wagle has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]

00:14 wagle has joined #ocaml

00:17 wagle has quit [Client Quit]

00:18 wagle has joined #ocaml

00:24 dwdv has quit [Ping timeout: 245 seconds]

00:27 zolk3ri has joined #ocaml

00:27 FreeBirdLjj has joined #ocaml

00:32 AtumT has quit [Quit: AtumT]

00:34 kvda has joined #ocaml

00:46 FreeBirdLjj has quit [Remote host closed the connection]

00:48 FreeBirdLjj has joined #ocaml

00:52 FreeBirdLjj has quit [Ping timeout: 240 seconds]

01:02 FreeBirdLjj has joined #ocaml

01:11 zolk3ri has quit [Remote host closed the connection]

01:12 FreeBirdLjj has quit [Remote host closed the connection]

01:15 zolk3ri has joined #ocaml

01:18 unyu has quit [Quit: reboot]

01:18 unyu has joined #ocaml

01:25 FreeBirdLjj has joined #ocaml

01:26 Haudegen has quit [Quit: Bin weg.]

01:26 traviss has quit [Read error: Connection reset by peer]

01:27 traviss has joined #ocaml

01:27 ziyourenxiang has quit [Remote host closed the connection]

01:27 ziyourenxiang has joined #ocaml

01:28 Exagone313 has quit [Quit: see ya!]

01:29 Exagone313 has joined #ocaml

01:30 Jesin has quit [Ping timeout: 245 seconds]

01:30 dckc has quit [Ping timeout: 245 seconds]

01:30 srax has quit [Ping timeout: 245 seconds]

01:30 tormen has quit [Ping timeout: 245 seconds]

01:31 tormen has joined #ocaml

01:32 srax has joined #ocaml

01:32 dckc has joined #ocaml

01:32 Jesin has joined #ocaml

01:32 gobears_ has quit [Remote host closed the connection]

01:33 gobears has joined #ocaml

01:35 gobears has quit [Remote host closed the connection]

01:35 gobears has joined #ocaml

01:58 nullifidian_ has joined #ocaml

02:01 nullifidian has quit [Ping timeout: 265 seconds]

02:13 gobears has quit [Remote host closed the connection]

02:14 gobears has joined #ocaml

02:15 gobears has quit [Remote host closed the connection]

02:15 gobears has joined #ocaml

02:15 zolk3ri has quit [Remote host closed the connection]

02:17 silver_ has quit [Read error: Connection reset by peer]

02:25 gobears has quit [Remote host closed the connection]

02:25 gobears has joined #ocaml

02:26 mfp has quit [Ping timeout: 240 seconds]

02:27 ygrek has joined #ocaml

02:28 tormen_ has joined #ocaml

02:31 gobears has quit [Ping timeout: 265 seconds]

02:32 tormen has quit [Ping timeout: 276 seconds]

02:36 Haudegen has joined #ocaml

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

02:59 gobears has joined #ocaml

03:02 vicfred_ has quit [Quit: Leaving]

03:03 nullifidian_ is now known as nullifidian

03:10 nullifidian_ has joined #ocaml

03:13 nullifidian has quit [Ping timeout: 276 seconds]

03:17 KeyJoo has quit [Quit: KeyJoo]

03:22 nullifidian_ is now known as nullifidian

03:48 _whitelogger has joined #ocaml

03:54 hvn has joined #ocaml

03:54 hvn has quit [Read error: Connection reset by peer]

03:59 hvn has joined #ocaml

03:59 hvn has quit [Read error: Connection reset by peer]

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

04:04 hvn has joined #ocaml

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

04:09 hvn has joined #ocaml

04:09 hvn has quit [Read error: Connection reset by peer]

04:12 ziyourenxiang_ has joined #ocaml

04:12 ziyourenxiang has quit [Read error: Connection reset by peer]

04:21 hvn has joined #ocaml

04:21 hvn has quit [Read error: Connection reset by peer]

04:22 gravicappa has joined #ocaml

04:23 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

04:25 kvda has joined #ocaml

04:26 hvn has joined #ocaml

04:27 hvn has quit [Read error: Connection reset by peer]

04:31 hvn has joined #ocaml

04:32 hvn has quit [Read error: Connection reset by peer]

04:36 hvn has joined #ocaml

04:37 hvn has quit [Read error: Connection reset by peer]

04:44 hvn has joined #ocaml

04:44 hvn has quit [Read error: Connection reset by peer]

04:54 hvn has joined #ocaml

04:54 hvn has quit [Read error: Connection reset by peer]

04:59 hvn has joined #ocaml

04:59 hvn has quit [Read error: Connection reset by peer]

05:04 hvn has joined #ocaml

05:04 hvn has quit [Read error: Connection reset by peer]

05:09 hvn has joined #ocaml

05:09 hvn has quit [Read error: Connection reset by peer]

05:14 hvn has joined #ocaml

05:14 hvn has quit [Read error: Connection reset by peer]

05:18 gobears has quit [Remote host closed the connection]

05:19 hvn has joined #ocaml

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

05:24 hvn has joined #ocaml

05:24 hvn has quit [Read error: Connection reset by peer]

05:25 gobears has joined #ocaml

05:33 narimiran has joined #ocaml

06:01 barockobamo has joined #ocaml

06:04 kini is now known as fs

06:04 fs has quit [Changing host]

06:04 fs has joined #ocaml

06:06 barockobamo has quit [Ping timeout: 240 seconds]

06:07 fs is now known as kini

06:07 kini has quit [Changing host]

06:07 kini has joined #ocaml

06:25 ravenousmoose has joined #ocaml

06:36 gobears has quit [Remote host closed the connection]

06:40 iovec has joined #ocaml

06:45 mbuf has joined #ocaml

06:55 ravenousmoose has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

06:56 hvn has joined #ocaml

06:56 hvn has quit [Read error: Connection reset by peer]

06:56 ravenousmoose has joined #ocaml

07:06 hvn has joined #ocaml

07:06 hvn has quit [Read error: Connection reset by peer]

07:07 Serpent7776 has joined #ocaml

07:11 hvn has joined #ocaml

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

07:16 hvn has joined #ocaml

07:16 hvn has quit [Read error: Connection reset by peer]

07:26 hvn has joined #ocaml

07:26 hvn has quit [Read error: Connection reset by peer]

07:30 ggole has joined #ocaml

07:31 hvn has joined #ocaml

07:31 hvn has quit [Read error: Connection reset by peer]

07:36 hvn has joined #ocaml

07:36 hvn has quit [Read error: Connection reset by peer]

07:38 troydm has quit [Ping timeout: 276 seconds]

07:39 tane has joined #ocaml

07:41 ravenousmoose has quit [Ping timeout: 252 seconds]

07:41 hvn has joined #ocaml

07:41 hvn has quit [Read error: Connection reset by peer]

07:41 ravenous_ has joined #ocaml

07:47 hvn has joined #ocaml

07:47 hvn has quit [Read error: Connection reset by peer]

07:52 hvn has joined #ocaml

07:52 hvn has quit [Read error: Connection reset by peer]

07:57 hvn has joined #ocaml

07:57 hvn has quit [Read error: Connection reset by peer]

07:58 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

08:07 jaar_ has joined #ocaml

08:07 hvn has joined #ocaml

08:07 hvn has quit [Read error: Connection reset by peer]

08:12 hvn has joined #ocaml

08:12 hvn has quit [Read error: Connection reset by peer]

08:17 bartholin has joined #ocaml

08:17 hvn has joined #ocaml

08:17 hvn has quit [Read error: Connection reset by peer]

08:22 hvn has joined #ocaml

08:22 hvn has quit [Read error: Connection reset by peer]

08:27 hvn has joined #ocaml

08:27 hvn has quit [Read error: Connection reset by peer]

08:29 troydm has joined #ocaml

08:32 hvn has joined #ocaml

08:32 hvn has quit [Read error: Connection reset by peer]

08:36 gobears has joined #ocaml

08:37 hvn has joined #ocaml

08:37 hvn has quit [Read error: Connection reset by peer]

08:41 gobears has quit [Ping timeout: 265 seconds]

08:42 hvn has joined #ocaml

08:42 hvn has quit [Read error: Connection reset by peer]

08:43 dwdv has joined #ocaml

08:47 hvn has joined #ocaml

08:47 hvn has quit [Read error: Connection reset by peer]

08:52 hvn has joined #ocaml

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

08:57 hvn has joined #ocaml

08:57 hvn has quit [Read error: Connection reset by peer]

08:59 iovec has quit [Quit: Connection closed for inactivity]

09:01 ravenous_ has quit [Ping timeout: 246 seconds]

09:02 hvn has joined #ocaml

09:02 hvn has quit [Read error: Connection reset by peer]

09:04 ravenousmoose has joined #ocaml

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

09:07 hvn has joined #ocaml

09:07 hvn has quit [Read error: Connection reset by peer]

09:12 hvn has joined #ocaml

09:12 hvn has quit [Read error: Connection reset by peer]

09:17 hvn has joined #ocaml

09:17 hvn has quit [Read error: Connection reset by peer]

09:18 malina has joined #ocaml

09:20 malina has quit [Remote host closed the connection]

09:21 iovec has joined #ocaml

09:22 hvn has joined #ocaml

09:22 hvn has quit [Read error: Connection reset by peer]

09:27 hvn has joined #ocaml

09:27 hvn has quit [Read error: Connection reset by peer]

09:32 ravenousmoose has quit [Ping timeout: 276 seconds]

09:32 hvn has joined #ocaml

09:32 jaar_ has quit [Ping timeout: 246 seconds]

09:32 hvn has quit [Read error: Connection reset by peer]

09:36 ravenousmoose has joined #ocaml

09:37 nullifidian has quit [Ping timeout: 240 seconds]

09:37 hvn has joined #ocaml

09:37 hvn has quit [Read error: Connection reset by peer]

09:42 hvn has joined #ocaml

09:42 hvn has quit [Read error: Connection reset by peer]

09:43 mfp has joined #ocaml

09:44 jnavila has joined #ocaml

09:47 hvn has joined #ocaml

09:47 hvn has quit [Read error: Connection reset by peer]

09:52 hvn has joined #ocaml

09:52 hvn has quit [Read error: Connection reset by peer]

09:53 narimiran has quit [Ping timeout: 265 seconds]

09:54 jaar_ has joined #ocaml

09:57 hvn has joined #ocaml

09:57 hvn has quit [Read error: Connection reset by peer]

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

10:00 jnavila has joined #ocaml

10:02 hvn has joined #ocaml

10:02 hvn has quit [Read error: Connection reset by peer]

10:07 hvn has joined #ocaml

10:07 hvn has quit [Read error: Connection reset by peer]

10:08 tizoc has quit [Quit: Coyote finally caught me]

10:12 hvn has joined #ocaml

10:12 hvn has quit [Read error: Connection reset by peer]

10:14 nullifidian has joined #ocaml

10:17 hvn has joined #ocaml

10:17 hvn has quit [Read error: Connection reset by peer]

10:22 hvn has joined #ocaml

10:22 hvn has quit [Read error: Connection reset by peer]

10:26 jnavila has quit [Ping timeout: 276 seconds]

10:27 hvn has joined #ocaml

10:27 hvn has quit [Read error: Connection reset by peer]

10:32 hvn has joined #ocaml

10:32 hvn has quit [Read error: Connection reset by peer]

10:42 hvn has joined #ocaml

10:42 hvn has quit [Read error: Connection reset by peer]

10:47 hvn has joined #ocaml

10:47 hvn has quit [Read error: Connection reset by peer]

10:51 gareppa has joined #ocaml

10:54 zolk3ri has joined #ocaml

10:57 hvn has joined #ocaml

10:57 hvn has quit [Read error: Connection reset by peer]

11:02 hvn has joined #ocaml

11:02 hvn has quit [Read error: Connection reset by peer]

11:07 hvn has joined #ocaml

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

11:12 tizoc has joined #ocaml

11:12 hvn has joined #ocaml

11:12 hvn has quit [Read error: Connection reset by peer]

11:22 hvn has joined #ocaml

11:22 hvn has quit [Read error: Connection reset by peer]

11:27 AtumT has joined #ocaml

11:27 hvn has joined #ocaml

11:27 hvn has quit [Read error: Connection reset by peer]

11:32 hvn has joined #ocaml

11:32 hvn has quit [Read error: Connection reset by peer]

11:37 hvn has joined #ocaml

11:37 hvn has quit [Read error: Connection reset by peer]

11:42 hvn has joined #ocaml

11:42 hvn has quit [Read error: Connection reset by peer]

11:54 hvn has joined #ocaml

11:54 hvn has quit [Read error: Connection reset by peer]

11:55 jnavila has joined #ocaml

12:04 hvn has joined #ocaml

12:04 hvn has quit [Read error: Connection reset by peer]

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

12:15 mbuf has quit [Ping timeout: 240 seconds]

12:22 jnavila has quit [Ping timeout: 246 seconds]

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

12:29 engil has joined #ocaml

12:32 wham has joined #ocaml

12:38 mbuf has joined #ocaml

12:45 mbuf has quit [Ping timeout: 252 seconds]

12:53 vesper11 has quit [Ping timeout: 244 seconds]

12:54 vesper11 has joined #ocaml

12:59 silver has joined #ocaml

12:59 vesper11 has quit [Ping timeout: 246 seconds]

13:00 q9929t has joined #ocaml

13:04 mbuf has joined #ocaml

13:08 q9929t has quit [Quit: q9929t]

13:09 ravenousmoose has quit [Ping timeout: 276 seconds]

13:10 ravenousmoose has joined #ocaml

13:10 mbuf has quit [Ping timeout: 268 seconds]

13:14 spew has joined #ocaml

13:20 Haudegen has joined #ocaml

13:21 gareppa has quit [Quit: Leaving]

13:21 ravenousmoose has quit [Ping timeout: 276 seconds]

13:24 mbuf has joined #ocaml

13:27 vesper11 has joined #ocaml

13:28 mbuf has quit [Ping timeout: 240 seconds]

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

13:32 ravenousmoose has joined #ocaml

13:32 vesper11 has joined #ocaml

13:35 mbuf has joined #ocaml

13:39 count3rmeasure has joined #ocaml

13:40 mbuf has quit [Ping timeout: 252 seconds]

13:46 wham has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

13:47 <Leonidas> looks like i am doing my best to bother opam-repo maintainers to death, every day a new PR :<

13:52 ravenous_ has joined #ocaml

13:53 ravenousmoose has quit [Ping timeout: 246 seconds]

14:01 stux|RC has quit [Ping timeout: 264 seconds]

14:05 ravenous_ has quit [Ping timeout: 276 seconds]

14:08 ravenousmoose has joined #ocaml

14:15 stux|RC has joined #ocaml

14:44 ravenous_ has joined #ocaml

14:44 ravenousmoose has quit [Ping timeout: 252 seconds]

14:47 jacobian_ has joined #ocaml

14:51 smazga has joined #ocaml

14:52 wham has joined #ocaml

14:56 ravenous_ has quit [Read error: Connection reset by peer]

14:56 narimiran has joined #ocaml

14:57 ravenousmoose has joined #ocaml

15:03 count3rmeasure has quit [Quit: Leaving]

15:04 Netsu has joined #ocaml

15:07 bartholin has joined #ocaml

15:11 Serpent7776 has quit [Quit: Leaving]

15:26 zolk3ri has joined #ocaml

15:27 <reynir> I had a day like that - I accidentally released a broken package along with what I really wanted to release, and I had to spend a lot of back and forth fixing the brokenness :/

15:31 gobears has joined #ocaml

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

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

15:33 wham has joined #ocaml

15:35 gobears has quit [Ping timeout: 240 seconds]

15:39 <simpson> Hi. Stupid ecosystem question: I have a (simplified) situation like https://bpaste.net/show/EQNR where I have a relatively-large sum type and I'd like to conditionally explore "unwrapping" behaviors under the type.

15:40 <simpson> I know enough Haskell to desire *lenses* when this comes up, and I've found a couple blog posts sketching the basics; nothing seems really different from Haskell, *except* that I can't find an established lens library. Is there one?

15:44 <simpson> (Original case, if you want to be horrified: https://github.com/monte-language/spotter/blob/master/spotter.ml#L149-L159)

15:50 mfp has quit [Ping timeout: 276 seconds]

15:53 vicfred has joined #ocaml

15:55 jnavila has joined #ocaml

15:58 Netsu has quit [Ping timeout: 260 seconds]

16:00 ravenousmoose has quit [Ping timeout: 276 seconds]

16:02 wham has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

16:03 ravenousmoose has joined #ocaml

16:14 gareppa has joined #ocaml

16:14 gareppa has quit [Client Quit]

16:15 ravenousmoose has quit [Read error: Connection reset by peer]

16:16 ravenousmoose has joined #ocaml

16:28 mfp has joined #ocaml

16:33 kakadu has joined #ocaml

16:39 gareppa has joined #ocaml

16:48 gareppa has quit [Remote host closed the connection]

16:48 <narimiran> i'm looking at Printf module documentation, and i can see `x` and `o` to convert int to hex/octal, but it seems there is no way to convert it to binary? (`b` is used for booleans)

16:50 <reynir> I think you have to implement it yourself

16:51 <narimiran> ah, ok. such a strange omission from stdlib :/

16:55 jacobian_ has quit [Quit: Lost terminal]

17:01 wham has joined #ocaml

17:01 Serpent7776 has joined #ocaml

17:04 jaar_ has quit [Ping timeout: 240 seconds]

17:05 ziyourenxiang_ has quit [Ping timeout: 268 seconds]

17:07 ygrek has quit [Ping timeout: 252 seconds]

17:14 ygrek has joined #ocaml

17:22 ygrek has quit [Ping timeout: 240 seconds]

17:24 ygrek has joined #ocaml

17:27 ravenousmoose has quit [Read error: Connection reset by peer]

17:27 gobears has joined #ocaml

17:27 ravenousmoose has joined #ocaml

17:30 wham has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

17:32 wham has joined #ocaml

17:32 gobears has quit [Ping timeout: 268 seconds]

17:39 gobears has joined #ocaml

17:41 malina has joined #ocaml

17:57 gobears has quit [Remote host closed the connection]

17:58 gobears has joined #ocaml

18:03 gobears has quit [Remote host closed the connection]

18:16 gareppa has joined #ocaml

18:28 malina has quit [Remote host closed the connection]

18:31 gobears has joined #ocaml

18:34 gobears has quit [Remote host closed the connection]

18:36 gobears has joined #ocaml

18:49 malina has joined #ocaml

18:52 kark has quit [Remote host closed the connection]

18:58 nahra has joined #ocaml

19:15 Haudegen has quit [Quit: Bin weg.]

19:25 pzp has joined #ocaml

19:26 gobears has quit [Remote host closed the connection]

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

19:58 gobears has joined #ocaml

19:59 gobears has quit [Remote host closed the connection]

19:59 silver has quit [Quit: rakede]

19:59 gobears has joined #ocaml

20:04 ggole has quit [Quit: Leaving]

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

20:24 leah2 has quit [Ping timeout: 252 seconds]

20:31 troydm has quit [Ping timeout: 246 seconds]

20:34 vicfred has quit [Quit: Leaving]

20:38 leah2 has joined #ocaml

20:44 Haudegen has joined #ocaml

20:53 wham has quit [Remote host closed the connection]

20:58 narimiran has quit [Ping timeout: 265 seconds]

21:09 iovec has quit [Quit: Connection closed for inactivity]

21:15 gareppa has quit [Quit: Leaving]

21:40 jnavila has quit [Ping timeout: 276 seconds]

21:58 remexre has joined #ocaml

21:59 <remexre> I've got a module that abstracts over linear sequences (e.g. lists, arrays); is there a good way to make nil a member without running afoul of the monomorphism restriction?

21:59 <remexre> right now I'm considering val from_list : 'a list -> 'a t; and having from_list [] be the standard way to write nil

22:08 Serpent7776 has quit [Quit: leaving]

22:08 malina has quit [Remote host closed the connection]

22:14 malina has joined #ocaml

22:16 malina has quit [Remote host closed the connection]

22:28 malina has joined #ocaml

22:28 kakadu has quit [Remote host closed the connection]

22:37 <remexre> unrelatedly (I hope!) what does this type error mean:

22:37 <remexre> This pattern matches values of type ('tok, $0 list) combinator

22:37 <remexre> https://foundry.remexre.xyz/screenshots/7b79609805bf1e33708870d558350b84e650e755.png

22:38 <remexre> is this something weird with how GADT type errors print?

22:41 smazga has quit [Quit: leaving]

23:05 gobears has quit [Read error: Connection reset by peer]

23:05 gobears has joined #ocaml

23:11 gobears has quit [Ping timeout: 276 seconds]

23:19 dr_toboggan has quit [Remote host closed the connection]

23:34 tane has quit [Quit: Leaving]

23:39 troydm has joined #ocaml