#ocaml on 2023-01-11 — irc logs at libera.irclog.whitequark.org

2022-03-30 13:11 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.14.0 released: https://ocaml.org/releases/4.14.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:06 count3rmeasure has joined #ocaml

00:07 Haudegen has quit [Ping timeout: 256 seconds]

00:12 count3rmeasure has quit [Quit: Leaving]

01:07 masterbuilder has joined #ocaml

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

01:16 alexherbo2 has joined #ocaml

01:21 alexherbo2 has quit [Ping timeout: 260 seconds]

02:02 Tuplanolla has quit [Quit: Leaving.]

02:41 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

03:02 rgrinberg has joined #ocaml

03:43 chrisz has quit [Ping timeout: 265 seconds]

03:44 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

03:45 chrisz has joined #ocaml

03:49 rgrinberg has joined #ocaml

04:19 alexherbo2 has joined #ocaml

04:23 alexherbo2 has quit [Ping timeout: 260 seconds]

04:26 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

04:29 xd1le has quit [Quit: xd1le]

04:37 azimut has quit [Ping timeout: 255 seconds]

04:39 waleee has quit [Ping timeout: 260 seconds]

05:03 mbuf has joined #ocaml

05:22 gwizon has joined #ocaml

05:30 trev has joined #ocaml

05:48 Haudegen has joined #ocaml

05:53 rgrinberg has joined #ocaml

05:57 alexherbo2 has joined #ocaml

06:01 alexherbo2 has quit [Ping timeout: 260 seconds]

07:21 bgs has quit [Remote host closed the connection]

07:32 hsw has joined #ocaml

07:34 alexherbo2 has joined #ocaml

07:34 hsw has quit [Client Quit]

07:34 hsw has joined #ocaml

07:34 hsw has quit [Remote host closed the connection]

07:35 hsw has joined #ocaml

07:38 hsw has quit [Client Quit]

07:38 hsw has joined #ocaml

07:38 alexherbo2 has quit [Ping timeout: 260 seconds]

07:43 mro has joined #ocaml

08:10 mro has quit [Remote host closed the connection]

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

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

08:14 wagle has joined #ocaml

08:33 podge has joined #ocaml

09:05 olle has joined #ocaml

09:16 mro has joined #ocaml

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

09:43 bartholin has joined #ocaml

09:52 Serpent7776 has joined #ocaml

09:53 bartholin has quit [Quit: Leaving]

09:55 mro has quit [Remote host closed the connection]

09:59 mro has joined #ocaml

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

10:20 troydm has quit [Ping timeout: 252 seconds]

10:25 spip has joined #ocaml

10:50 rwmjones|SICK is now known as rwmjones

10:51 mro has joined #ocaml

10:55 mro has quit [Remote host closed the connection]

10:57 mro has joined #ocaml

11:00 mro has quit [Remote host closed the connection]

11:06 Haudegen has quit [Ping timeout: 255 seconds]

11:50 troydm has joined #ocaml

12:03 alexherbo2 has joined #ocaml

12:07 mro has joined #ocaml

12:08 azimut has joined #ocaml

12:13 azimut has quit [Ping timeout: 255 seconds]

12:18 spip has quit [Quit: Konversation terminated!]

12:26 mro has quit [Remote host closed the connection]

12:30 azimut has joined #ocaml

12:36 jao has joined #ocaml

12:45 mro has joined #ocaml

12:53 mro has quit [Remote host closed the connection]

13:04 mro has joined #ocaml

13:10 calvnce has joined #ocaml

13:13 alexherbo2 has quit [Remote host closed the connection]

13:32 mro has quit [Remote host closed the connection]

13:52 azimut has quit [Remote host closed the connection]

13:53 azimut has joined #ocaml

14:00 mro has joined #ocaml

14:10 waleee has joined #ocaml

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

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

14:26 alexherbo2 has joined #ocaml

14:28 n0den1te has joined #ocaml

14:51 mro has joined #ocaml

14:54 n0den1te has quit [Quit: leaving]

14:56 mro has quit [Remote host closed the connection]

14:57 mro has joined #ocaml

14:59 mro has quit [Remote host closed the connection]

15:08 mro has joined #ocaml

15:11 kurfen has quit [Ping timeout: 260 seconds]

15:14 kurfen has joined #ocaml

15:16 mro has quit [Remote host closed the connection]

15:16 mro has joined #ocaml

15:18 mro has quit [Remote host closed the connection]

15:23 mro has joined #ocaml

15:25 olle has quit [Ping timeout: 268 seconds]

15:25 mro has quit [Remote host closed the connection]

15:26 mro has joined #ocaml

15:28 mro has quit [Remote host closed the connection]

15:37 rgrinberg has joined #ocaml

15:41 count3rmeasure has joined #ocaml

15:42 calvnce has quit [Quit: Client closed]

15:46 calvnce has joined #ocaml

16:05 spip has joined #ocaml

16:08 calvnce has quit [Quit: Client closed]

16:12 count3rmeasure has quit [Ping timeout: 256 seconds]

16:12 <greenbagels> Is there a way to produce a statically linked binary using ocamlbuild

16:19 count3rmeasure has joined #ocaml

16:22 gwizon has joined #ocaml

16:33 wingsorc__ has quit [Quit: Leaving]

16:34 mro has joined #ocaml

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

16:36 mro has joined #ocaml

16:39 wingsorc has joined #ocaml

16:40 calvnce has joined #ocaml

16:51 kakadu has quit [Quit: Konversation terminated!]

16:51 <companion_cube> ffs, namespaces in OCaml 🙄

16:51 <companion_cube> why don't we have a `::foo::bar` equivalent

16:55 olle has joined #ocaml

17:08 mro has quit [Remote host closed the connection]

17:10 gwizon has quit [Ping timeout: 246 seconds]

17:12 waleee has quit [Ping timeout: 256 seconds]

17:16 alexherbo2 has quit [Remote host closed the connection]

17:17 mro has joined #ocaml

17:20 alexherbo2 has joined #ocaml

17:25 gwizon has joined #ocaml

17:26 calvnce has quit [Quit: Client closed]

17:29 mro has quit [Remote host closed the connection]

17:30 mbuf has quit [Quit: Leaving]

17:36 count3rmeasure has quit [Quit: Leaving]

17:36 podge has quit [Ping timeout: 264 seconds]

17:36 mro has joined #ocaml

17:38 alexherbo2 has quit [Remote host closed the connection]

17:38 alexherbo2 has joined #ocaml

17:40 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

17:40 Tuplanolla has joined #ocaml

17:42 calvnce has joined #ocaml

17:52 mro has quit [Remote host closed the connection]

18:00 <olle> Hmmm how do I fill a None with a dummy value during pattern matching?

18:01 <olle> I wanna do both the Some and None but None should have a default value

18:01 <olle> The option is part of record pattern match

18:04 <olle> match foo with {key = Some k; value = v} | {key = None <-- default val here; value = v} -> ...

18:06 calvnce has quit [Quit: Client closed]

18:07 <companion_cube> you can't, but you could do `{key; value=v} -> let key = Option.value ~default:… key in …

18:07 <companion_cube> `

18:10 <olle> Ah

18:10 <olle> Thanks companion_cube

18:24 mro has joined #ocaml

18:29 mro has quit [Ping timeout: 246 seconds]

18:31 bartholin has joined #ocaml

18:42 mro has joined #ocaml

18:43 calvnce has joined #ocaml

18:43 mro has quit [Remote host closed the connection]

18:44 mro has joined #ocaml

18:45 mro has quit [Client Quit]

19:06 rgrinberg has joined #ocaml

19:13 calvnce has quit [Quit: Client closed]

19:19 alexherbo2 has quit [Remote host closed the connection]

19:19 alexherbo2 has joined #ocaml

19:20 troydm has quit [Ping timeout: 268 seconds]

19:24 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

19:46 count3rmeasure has joined #ocaml

20:04 kurfen_ has joined #ocaml

20:05 kurfen has quit [Ping timeout: 264 seconds]

20:29 John_Ivan_ has joined #ocaml

20:33 John_Ivan has quit [Ping timeout: 260 seconds]

20:40 calvnce has joined #ocaml

20:40 troydm has joined #ocaml

20:46 gwizon has quit [Remote host closed the connection]

20:47 rgrinberg has joined #ocaml

20:54 trev has quit [Remote host closed the connection]

20:59 count3rmeasure has quit [Quit: Leaving]

21:25 cedric has joined #ocaml

21:26 waleee has joined #ocaml

21:36 olle has quit [Ping timeout: 252 seconds]

21:57 alexherbo2 has quit [Remote host closed the connection]

21:58 alexherbo2 has joined #ocaml

22:08 alexherbo2 has quit [Ping timeout: 260 seconds]

22:20 Serpent7776 has quit [Ping timeout: 272 seconds]

22:22 alexherbo2 has joined #ocaml

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

22:31 waleee has quit [Ping timeout: 260 seconds]

22:38 Fardale has quit [Quit: WeeChat 2.8]

22:38 waleee has joined #ocaml

22:40 alexherbo2 has joined #ocaml

22:41 cedric has quit [Quit: Konversation terminated!]

22:45 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

22:47 alexherbo2 has quit [Ping timeout: 260 seconds]

22:57 Haudegen has joined #ocaml

23:04 bartholin has quit [Quit: Leaving]

23:05 Tuplanolla has quit [Quit: Leaving.]

23:06 emp_ has quit [Ping timeout: 265 seconds]

23:11 emp has joined #ocaml

23:16 Fardale has joined #ocaml

23:16 rgrinberg has joined #ocaml

23:18 alexherbo2 has joined #ocaml

23:23 alexherbo2 has quit [Ping timeout: 260 seconds]

23:29 perrierjouet has quit [Quit: WeeChat 3.8]

23:31 waleee has quit [Ping timeout: 248 seconds]

23:32 calvnce has quit [Quit: Client closed]

23:34 waleee has joined #ocaml

23:35 alexherbo2 has joined #ocaml

23:39 waleee has quit [Ping timeout: 252 seconds]

23:41 alexherbo2 has quit [Ping timeout: 260 seconds]

23:43 waleee has joined #ocaml

23:45 masterbuilder has quit [Quit: leaving]

23:52 alexherbo2 has joined #ocaml

23:59 alexherbo2 has quit [Ping timeout: 260 seconds]