#ocaml on 2022-10-17 — 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:04 Soni has quit [Ping timeout: 264 seconds]

00:05 wingsorc has quit [Ping timeout: 250 seconds]

00:07 wingsorc has joined #ocaml

00:13 wingsorc has quit [Remote host closed the connection]

00:13 wingsorc has joined #ocaml

00:19 wingsorc has quit [Remote host closed the connection]

00:19 wingsorc has joined #ocaml

00:32 rgrinberg has joined #ocaml

00:35 wingsorc has quit [Remote host closed the connection]

00:35 wingsorc has joined #ocaml

00:43 Tuplanolla has quit [Ping timeout: 250 seconds]

00:43 wingsorc has quit [Remote host closed the connection]

00:43 wingsorc has joined #ocaml

00:51 wingsorc has quit [Remote host closed the connection]

00:52 wingsorc has joined #ocaml

00:57 wingsorc has quit [Remote host closed the connection]

00:57 wingsorc has joined #ocaml

01:04 wingsorc__ has joined #ocaml

01:05 wingsorc__ has quit [Remote host closed the connection]

01:05 wingsorc has quit [Read error: Connection reset by peer]

01:44 wingsorc has joined #ocaml

02:29 waleee has quit [Ping timeout: 260 seconds]

02:42 terrorjack has quit [Quit: The Lounge - https://thelounge.chat]

02:45 terrorjack has joined #ocaml

02:52 chrisz has quit [Ping timeout: 264 seconds]

02:53 chrisz has joined #ocaml

02:53 berberman has quit [Ping timeout: 248 seconds]

03:20 spip has quit [Ping timeout: 252 seconds]

03:20 bobo_ has joined #ocaml

03:36 Soni has joined #ocaml

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

03:46 adanwan has quit [Remote host closed the connection]

03:47 adanwan has joined #ocaml

03:52 berberman has joined #ocaml

03:58 John_Ivan has quit [Ping timeout: 260 seconds]

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

05:06 Haudegen has joined #ocaml

05:10 sagax has joined #ocaml

05:13 sagax has quit [*.net *.split]

05:13 lobo[m] has quit [*.net *.split]

05:13 rks` has quit [*.net *.split]

05:13 habnabit_ has quit [*.net *.split]

05:13 Geekingfrog has quit [*.net *.split]

05:13 Johann has quit [*.net *.split]

05:13 ralu1 has quit [*.net *.split]

05:13 Exa has quit [*.net *.split]

05:13 dmbaturin has quit [*.net *.split]

05:13 Armael has quit [*.net *.split]

05:13 omni has quit [*.net *.split]

05:13 ks_ has quit [*.net *.split]

05:13 copy has quit [*.net *.split]

05:13 omni has joined #ocaml

05:13 dmbaturin has joined #ocaml

05:13 ralu1 has joined #ocaml

05:15 copy has joined #ocaml

05:15 Exa has joined #ocaml

05:15 Geekingfrog has joined #ocaml

05:15 habnabit_ has joined #ocaml

05:16 Armael has joined #ocaml

05:16 ks_ has joined #ocaml

05:17 Johann has joined #ocaml

05:18 rks` has joined #ocaml

05:18 lobo[m] has joined #ocaml

05:22 rgrinberg has joined #ocaml

05:24 sagax has joined #ocaml

05:26 berberman has quit [Ping timeout: 264 seconds]

05:32 bartholin has joined #ocaml

05:45 Serpent7776 has joined #ocaml

06:02 Serpent7776 has quit [Ping timeout: 250 seconds]

06:06 bartholin has quit [Quit: Leaving]

06:09 jao has quit [Ping timeout: 250 seconds]

06:20 mbuf has joined #ocaml

06:31 gwizon has joined #ocaml

06:32 gwizon has quit [Client Quit]

06:33 gwizon has joined #ocaml

06:38 berberman has joined #ocaml

06:41 gwizon_ has joined #ocaml

06:43 gwizon has quit [Ping timeout: 252 seconds]

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

07:18 sagax has quit [Remote host closed the connection]

07:20 gwizon_ has quit [Ping timeout: 268 seconds]

07:36 gwizon has joined #ocaml

07:46 Serpent7776 has joined #ocaml

08:08 xd1le has joined #ocaml

08:18 wingsorc has quit [Ping timeout: 260 seconds]

08:46 szkl has quit [Quit: Connection closed for inactivity]

08:48 azimut has joined #ocaml

08:59 wonko has joined #ocaml

09:01 olle has joined #ocaml

09:31 azimut has quit [Remote host closed the connection]

09:31 azimut has joined #ocaml

10:13 olle has quit [Ping timeout: 264 seconds]

10:23 szkl has joined #ocaml

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

10:54 jao has joined #ocaml

11:39 Haudegen has joined #ocaml

12:23 John_Ivan has joined #ocaml

12:28 jao has quit [Ping timeout: 250 seconds]

12:52 adanwan has quit [Remote host closed the connection]

12:53 adanwan has joined #ocaml

13:00 waleee has joined #ocaml

14:34 jao has joined #ocaml

14:36 mro has joined #ocaml

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

14:44 rgrinberg has joined #ocaml

14:46 olle has joined #ocaml

14:53 waleee has quit [Ping timeout: 248 seconds]

15:01 infinity0 has quit [Remote host closed the connection]

15:09 infinity0 has joined #ocaml

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

15:18 bobo_ has quit [Read error: Connection reset by peer]

15:18 bobo_ has joined #ocaml

15:19 mro has joined #ocaml

15:24 mro has quit [Ping timeout: 260 seconds]

15:28 mro has joined #ocaml

15:28 xd1le has quit [Quit: xd1le]

15:33 Serpent7776 has quit [Quit: WeeChat 1.9.1]

15:48 gwizon has joined #ocaml

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

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

17:07 Tuplanolla has joined #ocaml

17:12 Haudegen has joined #ocaml

17:25 mro has joined #ocaml

17:30 mro has quit [Ping timeout: 264 seconds]

17:36 Serpent7776 has joined #ocaml

17:46 mbuf has quit [Quit: Leaving]

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

17:56 mro has joined #ocaml

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

18:05 xgqt has quit [Ping timeout: 260 seconds]

18:06 xgqt has joined #ocaml

18:51 adanwan has quit [Remote host closed the connection]

18:52 adanwan has joined #ocaml

18:54 Tuplanolla has quit [Ping timeout: 268 seconds]

19:01 mro has joined #ocaml

19:08 Tuplanolla has joined #ocaml

19:27 Stumpfenstiel has joined #ocaml

19:32 mro_ has joined #ocaml

19:33 zebrag has joined #ocaml

19:33 mro has quit [Ping timeout: 252 seconds]

20:23 Haudegen has quit [Quit: No Ping reply in 180 seconds.]

20:25 waleee has joined #ocaml

20:25 Haudegen has joined #ocaml

20:29 wonko has quit [Ping timeout: 268 seconds]

20:34 Serpent7776 has quit [Ping timeout: 248 seconds]

20:58 gwizon has quit [Quit: Lost terminal]

21:13 bartholin has joined #ocaml

21:15 wonko has joined #ocaml

21:29 <zebrag> "Code, even of functions, can be printed, which is what MetaOCaml toplevel just did." (https://okmij.org/ftp/ML/MetaOCaml.html)

21:30 <zebrag> my toplevel doesn't behave like that, instead it says "<abstr>"

21:31 <zebrag> Is there a way to have the same "printed" information

21:44 adanwan has quit [Remote host closed the connection]

21:45 adanwan has joined #ocaml

21:47 wingsorc__ has joined #ocaml

21:53 Stumpfenstiel has quit [Ping timeout: 260 seconds]

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

22:09 <zebrag> I get expected output with `utop # Codelib.print_code Format.std_formatter (spowern 7);;` => `.<fun x_8 -> x_8 * ((* CSP square *) (x_8 * ((* CSP square *) (x_8 * 1))))>.`

22:11 <zebrag> (ref. https://sympa.inria.fr/sympa/arc/caml-list/2015-05/msg00014.html and https://okmij.org/ftp/ML/MetaOCaml.html)

22:13 bartholin has quit [Quit: Leaving]

22:25 rgrinberg has joined #ocaml

22:37 wonko has quit [Ping timeout: 260 seconds]

22:43 mro_ has quit [Quit: Leaving...]

22:52 Tuplanolla has quit [Quit: Leaving.]

22:59 wonko has joined #ocaml

23:09 Haudegen has quit [Ping timeout: 248 seconds]