#ocaml on 2022-05-02 — 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:02 <drakonis> it would indeed be quite nice

00:02 herlocksholmes has joined #ocaml

00:03 <drakonis> as with all big features, work has to be done

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

00:17 zebrag has joined #ocaml

00:30 Soni has joined #ocaml

01:03 vicfred has quit [Quit: Leaving]

01:08 waleee has quit [Ping timeout: 250 seconds]

01:28 echelon has joined #ocaml

01:29 echelon has left #ocaml [#ocaml]

01:37 bobo has joined #ocaml

01:38 spip has quit [Ping timeout: 276 seconds]

01:55 rgrinberg has joined #ocaml

02:03 <d_bot> <EduardoRFS> about GADT with enough magic, I was talking about the core language, and I didn't knew at the time about records with internal forall, so yes it is quite straightforward

02:03 <d_bot> <EduardoRFS> but more interesting is first class modules, which allow you to encode on the core language full System F-Omega

02:13 <drakonis> the real question is whether you could get it merged into the mainline compiler

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

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

02:50 <d_bot> <cod1r> hello mister eduardo

03:13 mbuf has joined #ocaml

03:26 kotrcka has quit [Remote host closed the connection]

03:38 rgrinberg has joined #ocaml

03:38 rgrinberg has quit [Client Quit]

03:59 <brettgilio> Cool new OCaml feature https://www.ocaml.org/manual/tail_mod_cons.html

04:13 Haudegen has joined #ocaml

04:25 dmbaturin has quit [*.net *.split]

04:25 d_bot has quit [*.net *.split]

04:25 pippijn has quit [*.net *.split]

04:25 adrien has quit [*.net *.split]

04:25 rwmjones has quit [*.net *.split]

04:25 rom1504 has quit [*.net *.split]

04:25 sadiq has quit [*.net *.split]

04:25 sadiq has joined #ocaml

04:25 adrien has joined #ocaml

04:25 pippijn has joined #ocaml

04:25 rwmjones has joined #ocaml

04:25 rom1504 has joined #ocaml

04:25 dmbaturin has joined #ocaml

04:25 d_bot has joined #ocaml

04:28 h11 has quit [*.net *.split]

04:28 megeve has quit [*.net *.split]

04:28 tristanC has quit [*.net *.split]

04:28 zozozo has quit [*.net *.split]

04:28 fds has quit [*.net *.split]

04:28 fds has joined #ocaml

04:28 megeve has joined #ocaml

04:28 tristanC has joined #ocaml

04:29 zozozo has joined #ocaml

04:33 h11 has joined #ocaml

05:00 gravicappa has joined #ocaml

05:02 gentauro has quit [Read error: Connection reset by peer]

05:08 gentauro has joined #ocaml

06:52 mro has joined #ocaml

06:59 gravicappa has quit [Ping timeout: 246 seconds]

07:06 mro_ has joined #ocaml

07:09 mro has quit [Ping timeout: 260 seconds]

07:12 klu has quit [Quit: .]

07:13 klu has joined #ocaml

07:13 klu has quit [Changing host]

07:13 klu has joined #ocaml

07:34 Serpent7776 has joined #ocaml

08:00 gravicappa has joined #ocaml

08:05 olle has joined #ocaml

08:14 wingsorc__ has quit [Quit: Leaving]

08:24 troydm has quit [Ping timeout: 240 seconds]

08:29 <d_bot> <cod1r> https://ocaml.org/docs/if-statements-and-loops#mutually-recursive-functions

08:30 <d_bot> <cod1r> at the end of the docs, is it supposed to give syntax that doesn't end up with "Unbound value odd"?

08:36 <d_bot> <NULL> Yes it should. It should also use Array.make and not Array.create

09:08 troydm has joined #ocaml

10:07 Sankalp has joined #ocaml

10:07 bartholin has joined #ocaml

10:39 Haudegen has quit [Quit: Bin weg.]

11:15 mro_ has quit [Remote host closed the connection]

11:21 kaph has joined #ocaml

11:48 gravicappa has quit [Ping timeout: 276 seconds]

11:54 Haudegen has joined #ocaml

12:18 cedric has joined #ocaml

12:47 zebrag has joined #ocaml

12:50 perrierjouet has quit [Ping timeout: 276 seconds]

12:52 mro has joined #ocaml

13:03 mbuf has quit [Quit: Leaving]

13:06 mro has quit [Read error: Connection reset by peer]

13:07 mro_ has joined #ocaml

13:17 Sankalp has quit [Ping timeout: 248 seconds]

13:22 vicfred has joined #ocaml

13:26 vicfred has quit [Ping timeout: 246 seconds]

13:27 mro_ has quit [Remote host closed the connection]

13:32 mro has joined #ocaml

13:32 spip has joined #ocaml

13:33 rgrinberg has joined #ocaml

13:33 bobo has quit [Ping timeout: 272 seconds]

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

13:43 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

13:44 waleee has joined #ocaml

13:46 mro has joined #ocaml

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

13:54 Anarchos has joined #ocaml

13:58 bobo has joined #ocaml

13:58 spip has quit [Ping timeout: 260 seconds]

14:00 <d_bot> <mbacarella> Is there a tool that will tell me which lines of .ml code were executed?

14:02 <companion_cube> there's ppx_bisect I think, if you're talking about coverage

14:02 jpds has quit [Remote host closed the connection]

14:03 jpds has joined #ocaml

14:03 rgrinberg has joined #ocaml

14:11 bobo has quit [Ping timeout: 256 seconds]

14:11 spip has joined #ocaml

14:14 cedric has quit [Quit: Konversation terminated!]

14:30 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

14:31 mro has joined #ocaml

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

14:34 rgrinberg has joined #ocaml

15:20 mro has joined #ocaml

15:32 emp_ has quit [Ping timeout: 256 seconds]

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

15:36 emp has joined #ocaml

15:39 mro has joined #ocaml

15:43 gravicappa has joined #ocaml

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

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

16:30 emp has quit [Ping timeout: 250 seconds]

16:31 bartholin has quit [Quit: Leaving]

16:52 Tuplanolla has joined #ocaml

16:54 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

16:58 bobo has joined #ocaml

16:59 spip has quit [Ping timeout: 240 seconds]

17:12 emp has joined #ocaml

17:21 mro has joined #ocaml

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

17:22 Haudegen has joined #ocaml

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

17:27 x88x88x has joined #ocaml

17:35 waleee has quit [Ping timeout: 260 seconds]

17:47 rgrinberg has joined #ocaml

18:05 emp_ has joined #ocaml

18:06 emp has quit [Ping timeout: 260 seconds]

18:07 waleee has joined #ocaml

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

19:23 mro has joined #ocaml

19:23 rgrinberg has joined #ocaml

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

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

19:55 xgqt has quit [Ping timeout: 256 seconds]

19:56 xgqt has joined #ocaml

20:27 cedric has joined #ocaml

20:33 x88x88x has quit [Remote host closed the connection]

20:42 x88x88x has joined #ocaml

20:42 mro has joined #ocaml

20:47 mro has quit [Ping timeout: 260 seconds]

20:52 gravicappa has quit [Ping timeout: 240 seconds]

21:18 vicfred has joined #ocaml

21:37 jpds has quit [Remote host closed the connection]

21:37 jpds has joined #ocaml

21:40 olle has quit [Ping timeout: 246 seconds]

21:52 wingsorc has joined #ocaml

22:04 jpds has quit [Remote host closed the connection]

22:04 jpds has joined #ocaml

22:10 hyphen has quit [Ping timeout: 246 seconds]

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

22:23 perrierjouet has joined #ocaml

22:31 rgrinberg has joined #ocaml

22:41 hyphen has joined #ocaml

22:56 dh` has quit [Ping timeout: 272 seconds]

23:03 Haudegen has quit [Ping timeout: 276 seconds]