#ocaml on 2022-11-22 — 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:00 troydm has joined #ocaml

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

00:10 azimut has joined #ocaml

00:15 azimut has quit [Remote host closed the connection]

00:16 azimut has joined #ocaml

00:29 calvnce has joined #ocaml

00:31 lucerne has joined #ocaml

00:48 calvnce has quit [Quit: Client closed]

01:26 Tuplanolla has quit [Quit: Leaving.]

01:29 azimut has quit [Remote host closed the connection]

01:33 azimut has joined #ocaml

02:08 omegatron has quit [Ping timeout: 256 seconds]

02:08 bobo_ has quit [Read error: Connection reset by peer]

02:08 spip has joined #ocaml

02:10 waleee has quit [Ping timeout: 255 seconds]

02:44 gentauro has quit [Ping timeout: 255 seconds]

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

02:49 wingsorc has joined #ocaml

02:55 gentauro has joined #ocaml

02:56 bobo has joined #ocaml

02:57 spip has quit [Ping timeout: 268 seconds]

03:09 zebrag has joined #ocaml

03:32 azimut has quit [Ping timeout: 255 seconds]

03:41 berberman has joined #ocaml

03:42 berberman_ has quit [Ping timeout: 252 seconds]

03:47 terrorjack has quit [Ping timeout: 256 seconds]

03:50 terrorjack has joined #ocaml

04:00 chrisz has quit [Ping timeout: 260 seconds]

04:01 chrisz has joined #ocaml

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

05:14 Haudegen has joined #ocaml

05:27 tizoc has quit [Ping timeout: 260 seconds]

05:51 tizoc has joined #ocaml

06:06 jao has quit [Ping timeout: 256 seconds]

06:46 Serpent7776 has joined #ocaml

07:15 mro has joined #ocaml

07:21 Serpent7776 has quit [Ping timeout: 260 seconds]

07:25 gwizon has joined #ocaml

07:28 troydm has quit [Ping timeout: 260 seconds]

07:29 bartholin has joined #ocaml

07:29 mro has quit [Read error: Connection reset by peer]

07:29 mro has joined #ocaml

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

07:56 mro has joined #ocaml

08:02 Putonlalla has quit [Read error: Software caused connection abort]

08:02 Putonlalla has joined #ocaml

08:14 Serpent7776 has joined #ocaml

08:19 bartholin has quit [Quit: Leaving]

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

08:21 mro has joined #ocaml

08:28 Geekingfrog has quit [Read error: Software caused connection abort]

08:28 Geekingfrog has joined #ocaml

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

08:32 mro has joined #ocaml

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

08:42 mro has joined #ocaml

08:54 kakadu has joined #ocaml

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

09:10 olle has joined #ocaml

09:13 mro has joined #ocaml

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

09:58 mal`` has quit [Quit: Leaving]

10:15 mro has joined #ocaml

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

10:23 mal`` has joined #ocaml

10:28 azimut has joined #ocaml

10:30 mro has joined #ocaml

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

10:33 troydm has joined #ocaml

10:35 inkbottle[m] has quit [Quit: Bridge terminating on SIGTERM]

10:35 chroma[m] has quit [Quit: Bridge terminating on SIGTERM]

10:35 lobo[m] has quit [Quit: Bridge terminating on SIGTERM]

10:35 mclovin has quit [Quit: Bridge terminating on SIGTERM]

10:35 h11 has quit [Quit: Bridge terminating on SIGTERM]

10:40 mclovin has joined #ocaml

10:50 tizoc has quit [Ping timeout: 260 seconds]

11:01 tizoc has joined #ocaml

11:11 xd1le has joined #ocaml

11:18 wingsorc has quit [Ping timeout: 256 seconds]

11:23 chroma[m] has joined #ocaml

11:23 lobo[m] has joined #ocaml

11:23 inkbottle[m] has joined #ocaml

11:24 h11 has joined #ocaml

11:35 omegatron has joined #ocaml

12:39 azimut has quit [Quit: ZNC - https://znc.in]

12:40 azimut has joined #ocaml

12:48 serpent has joined #ocaml

13:00 genpaku has quit [Read error: Connection reset by peer]

13:00 genpaku has joined #ocaml

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

13:14 serpent has quit [Ping timeout: 252 seconds]

13:51 lucerne has quit [Ping timeout: 256 seconds]

13:55 Haudegen has quit [Quit: Bin weg.]

14:01 mro has joined #ocaml

14:06 mro has quit [Ping timeout: 256 seconds]

14:07 spip has joined #ocaml

14:07 bobo has quit [Ping timeout: 260 seconds]

14:53 Haudegen has joined #ocaml

15:20 waleee has joined #ocaml

15:29 gwizon has joined #ocaml

15:45 azimut has quit [Ping timeout: 255 seconds]

15:45 azimut has joined #ocaml

15:46 jao has joined #ocaml

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

15:51 Serpent7776 has joined #ocaml

15:53 gwizon has quit [Quit: Lost terminal]

15:54 gwizon has joined #ocaml

15:56 gwizon has quit [Client Quit]

15:56 gwizon has joined #ocaml

15:59 gwizon has quit [Client Quit]

15:59 gwizon has joined #ocaml

16:02 gwizon has quit [Client Quit]

16:03 gwizon has joined #ocaml

16:04 lucerne has joined #ocaml

16:05 azimut has quit [Remote host closed the connection]

16:06 azimut has joined #ocaml

16:08 azimut has quit [Remote host closed the connection]

16:08 azimut has joined #ocaml

16:11 gwizon has quit [Quit: Lost terminal]

16:12 gwizon has joined #ocaml

16:12 waleee has quit [Ping timeout: 246 seconds]

16:13 hrberg has joined #ocaml

16:15 mro has joined #ocaml

16:15 hrberg has quit [Client Quit]

16:15 hrberg has joined #ocaml

16:30 azimut has quit [Remote host closed the connection]

16:30 azimut has joined #ocaml

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

16:37 Haudegen has quit [Quit: Bin weg.]

16:51 mro has joined #ocaml

16:55 zebrag has joined #ocaml

17:12 azimut has quit [Remote host closed the connection]

17:12 azimut has joined #ocaml

17:13 neiluj has joined #ocaml

17:16 <neiluj> Hi! It's not possible to make some external function names 'external name: signature = "c_function_name"' values like 'val funcname : string ... external name: signature = funcname', but are there hacks to do so?

17:22 gwizon has quit [Ping timeout: 260 seconds]

17:23 gwizon has joined #ocaml

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

17:57 Serpent7776 has quit [Ping timeout: 248 seconds]

18:01 Haudegen has joined #ocaml

18:33 <neiluj> basically my problem is that I'm building a functor that takes a module containing C stubs where one of the arguments are the target type of the functor...

18:34 <neiluj> which is not possible because the C stub module is an argument to the functor yet needs the instantiated module by the functor

18:42 mro has joined #ocaml

18:44 <neiluj> solved the prob

18:49 gwizon has quit [Remote host closed the connection]

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

19:20 mro has joined #ocaml

19:30 gwizon has joined #ocaml

19:31 neiluj has quit [Ping timeout: 255 seconds]

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

19:35 mro has joined #ocaml

20:14 waleee has joined #ocaml

20:19 neiluj has joined #ocaml

20:22 azimut has quit [Ping timeout: 255 seconds]

20:26 azimut has joined #ocaml

20:28 bartholin has joined #ocaml

20:33 mro has quit [Ping timeout: 246 seconds]

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

21:07 azimut has quit [Ping timeout: 255 seconds]

21:09 azimut has joined #ocaml

21:16 olle has quit [Ping timeout: 260 seconds]

21:22 neiluj has quit [Quit: WeeChat 3.6]

21:59 xd1le has quit [Quit: xd1le]

22:09 cedric has joined #ocaml

22:18 motherfsck has quit [Ping timeout: 268 seconds]

22:33 motherfsck has joined #ocaml

22:51 zebrag has quit [Ping timeout: 252 seconds]

22:57 mal``` has joined #ocaml

22:58 pie__ has joined #ocaml

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

22:58 hackingh- has joined #ocaml

22:59 chrisz_ has joined #ocaml

22:59 mjacob_ has joined #ocaml

22:59 dmbaturin_ has joined #ocaml

22:59 drakonis1 has joined #ocaml

22:59 theblatt1 has joined #ocaml

23:00 bartholin has quit [Quit: Leaving]

23:00 x22x22x has joined #ocaml

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

23:04 mal`` has quit [*.net *.split]

23:04 chrisz has quit [*.net *.split]

23:04 pie_ has quit [*.net *.split]

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

23:04 hackinghorn has quit [*.net *.split]

23:04 deadmarshal has quit [*.net *.split]

23:04 x88x88x has quit [*.net *.split]

23:04 mjacob has quit [*.net *.split]

23:04 drakonis has quit [*.net *.split]

23:04 theblatte has quit [*.net *.split]

23:04 drakonis1 is now known as drakonis

23:08 deadmarshal has joined #ocaml

23:11 zebrag has joined #ocaml

23:17 h11 has joined #ocaml

23:25 wingsorc__ has joined #ocaml

23:57 azimut_ has joined #ocaml

23:57 azimut has quit [Ping timeout: 255 seconds]