#ocaml on 2022-06-20 — 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 xgqt has joined #ocaml

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

00:16 raskol has joined #ocaml

00:17 rgrinberg has joined #ocaml

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

00:36 rgrinberg has joined #ocaml

01:20 raskol has quit [Ping timeout: 244 seconds]

01:40 Soni has joined #ocaml

01:44 bobo_ has joined #ocaml

01:44 spip has quit [Ping timeout: 256 seconds]

02:31 raskol has joined #ocaml

03:20 raskol has quit [Ping timeout: 240 seconds]

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

04:06 Haudegen has joined #ocaml

04:19 hsw_ has quit [Quit: Leaving]

04:20 hsw has joined #ocaml

04:22 _whitelogger has joined #ocaml

04:22 caasih has joined #ocaml

04:22 megeve has joined #ocaml

04:22 landonf has joined #ocaml

04:22 zozozo has joined #ocaml

04:22 welterde has joined #ocaml

04:27 Corbin has quit [*.net *.split]

04:27 ks_ has quit [*.net *.split]

04:27 copy has quit [*.net *.split]

04:27 Leonidas has quit [*.net *.split]

04:27 ado has quit [*.net *.split]

04:27 Leonidas has joined #ocaml

04:27 copy has joined #ocaml

04:27 ado has joined #ocaml

04:28 x88x88x has joined #ocaml

04:28 ks_ has joined #ocaml

04:30 johnel has quit [*.net *.split]

04:30 nore has quit [*.net *.split]

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

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

04:30 cbarrett has quit [*.net *.split]

04:30 johnel has joined #ocaml

04:30 rwmjones has joined #ocaml

04:30 cbarrett has joined #ocaml

04:31 nore has joined #ocaml

04:37 Sankalp has quit [Ping timeout: 248 seconds]

04:42 Corbin has joined #ocaml

04:44 Sankalp has joined #ocaml

04:46 raskol has joined #ocaml

04:49 ralu17 has joined #ocaml

04:49 d_bot_ has joined #ocaml

04:51 h11 has joined #ocaml

04:51 greaser|q has joined #ocaml

04:51 Sankalp has quit [Ping timeout: 256 seconds]

04:52 gdd1 has joined #ocaml

04:52 mg_ has joined #ocaml

04:53 ebb_ has joined #ocaml

04:53 gdd has quit [Ping timeout: 272 seconds]

04:53 perrierjouet has quit [Ping timeout: 272 seconds]

04:53 mg- has quit [Ping timeout: 272 seconds]

04:53 habnabit_ has quit [Ping timeout: 272 seconds]

04:53 asm has quit [Ping timeout: 272 seconds]

04:53 d_bot has quit [Ping timeout: 272 seconds]

04:53 ebb has quit [Ping timeout: 272 seconds]

04:53 ralu1 has quit [Ping timeout: 272 seconds]

04:53 GreaseMonkey has quit [Ping timeout: 272 seconds]

04:53 ralu17 is now known as ralu1

04:53 ebb_ is now known as ebb

04:54 asm has joined #ocaml

04:56 habnabit_ has joined #ocaml

04:58 Sankalp has joined #ocaml

05:05 perrierjouet has joined #ocaml

05:06 azimut has quit [Ping timeout: 240 seconds]

05:34 mbuf has joined #ocaml

05:49 trev has joined #ocaml

06:03 raskol has quit [Ping timeout: 240 seconds]

06:20 kurfen has quit [Ping timeout: 255 seconds]

07:07 adanwan has quit [*.net *.split]

07:10 adanwan has joined #ocaml

07:18 fds has quit [Ping timeout: 248 seconds]

07:34 fds has joined #ocaml

07:34 waleee has quit [Ping timeout: 244 seconds]

07:42 adanwan has quit [Remote host closed the connection]

07:42 adanwan has joined #ocaml

08:30 kakadu has joined #ocaml

08:47 greenbagels has quit [Ping timeout: 240 seconds]

08:49 greenbagels has joined #ocaml

09:08 adanwan has quit [Quit: _]

09:10 adanwan has joined #ocaml

09:32 asm has quit [Changing host]

09:32 asm has joined #ocaml

10:03 omegatron has joined #ocaml

10:26 azimut has joined #ocaml

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

10:35 wingsorc has quit [Quit: Leaving]

10:39 mro has joined #ocaml

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

10:51 mro has joined #ocaml

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

11:17 mro has joined #ocaml

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

11:20 mro has joined #ocaml

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

11:38 szkl has joined #ocaml

11:42 Haudegen has joined #ocaml

11:48 mro has joined #ocaml

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

12:08 ado has quit [Quit: Connection closed for inactivity]

12:09 nd__ has joined #ocaml

12:32 mro has joined #ocaml

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

13:13 <d_bot_> <Et7f3 (@me on reply)> OCaml can't be bumbed in homebrew because of this failure: https://github.com/Homebrew/homebrew-core/pull/103724

13:13 <d_bot_> <Et7f3 (@me on reply)> ```

13:13 <d_bot_> <Et7f3 (@me on reply)> ocamlc -config

13:13 <d_bot_> <Et7f3 (@me on reply)> version: 4.12.0

13:13 <d_bot_> <Et7f3 (@me on reply)> standard_library_default: /usr/local/lib/ocaml

13:13 <d_bot_> <Et7f3 (@me on reply)> standard_library: /usr/local/lib/ocaml```

13:13 <d_bot_> <Et7f3 (@me on reply)>

13:14 <d_bot_> <Et7f3 (@me on reply)> Zarith is present at `/usr/local/lib/ocaml/zarith/zarith.cma`

13:14 <d_bot_> <Et7f3 (@me on reply)> META file is also present: ```

13:14 <d_bot_> <Et7f3 (@me on reply)> % cat /usr/local/lib/ocaml/zarith/META

13:14 <d_bot_> <Et7f3 (@me on reply)> description = "Arbitrary precision integers"

13:14 <d_bot_> <Et7f3 (@me on reply)> requires = ""

13:14 <d_bot_> <Et7f3 (@me on reply)> version = "1.12"

13:14 <d_bot_> <Et7f3 (@me on reply)> archive(byte) = "zarith.cma"

13:14 <d_bot_> <Et7f3 (@me on reply)> archive(native) = "zarith.cmxa"

13:14 <d_bot_> <Et7f3 (@me on reply)>

13:14 <d_bot_> <Et7f3 (@me on reply)> package "top" (

13:14 <d_bot_> <Et7f3 (@me on reply)> version = "1.12"

13:14 <d_bot_> <Et7f3 (@me on reply)> description = "ZArith toplevel support"

13:14 <d_bot_> <Et7f3 (@me on reply)> requires = "zarith"

13:14 <d_bot_> <Et7f3 (@me on reply)> archive(byte) = "zarith_top.cma"

13:14 <d_bot_> <Et7f3 (@me on reply)> archive(native) = "zarith_top.cmxa"

13:14 <d_bot_> <Et7f3 (@me on reply)> plugin(byte) = "zarith_top.cma"

13:14 <d_bot_> <Et7f3 (@me on reply)> plugin(native) = "zarith_top.cmxs"

13:14 <d_bot_> <Et7f3 (@me on reply)> exists_if = "zarith_top.cma"

13:14 <d_bot_> <Et7f3 (@me on reply)> )```

13:14 <d_bot_> <Et7f3 (@me on reply)> Do you know which piece is missing for dune ?

13:14 <d_bot_> <Et7f3 (@me on reply)> oops sorry IRC 😓 I believed to be in #dune channel

13:15 mro has joined #ocaml

13:26 nd__ has quit [Ping timeout: 240 seconds]

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

13:43 spip has joined #ocaml

13:44 bobo_ has quit [Ping timeout: 276 seconds]

13:49 mro has joined #ocaml

13:50 trev has quit [Remote host closed the connection]

13:53 mro has quit [Ping timeout: 256 seconds]

13:54 mro has joined #ocaml

13:57 nd__ has joined #ocaml

13:58 mrd has quit [Read error: Connection reset by peer]

14:00 mro has quit [Ping timeout: 264 seconds]

14:03 doesntgolf has joined #ocaml

14:05 doesntgolf has quit [Remote host closed the connection]

14:05 doesntgolf has joined #ocaml

14:07 doesntgolf has quit [Remote host closed the connection]

14:07 doesntgolf has joined #ocaml

14:09 doesntgolf has quit [Remote host closed the connection]

14:09 doesntgolf has joined #ocaml

14:11 doesntgolf has quit [Remote host closed the connection]

14:11 doesntgolf has joined #ocaml

14:12 doesntgolf has quit [Remote host closed the connection]

14:13 doesntgolf has joined #ocaml

14:17 waleee has joined #ocaml

14:20 mro has joined #ocaml

14:24 doesntgolf has quit [Remote host closed the connection]

14:24 doesntgolf has joined #ocaml

14:29 mro has quit [Ping timeout: 240 seconds]

14:32 doesntgolf has quit [Remote host closed the connection]

14:32 doesntgolf has joined #ocaml

14:36 doesntgolf has quit [Remote host closed the connection]

14:36 doesntgolf has joined #ocaml

14:38 doesntgolf has quit [Remote host closed the connection]

14:38 doesntgolf has joined #ocaml

14:40 doesntgolf has quit [Remote host closed the connection]

14:40 doesntgolf has joined #ocaml

14:43 Serpent7776 has joined #ocaml

14:47 doesntgolf has quit [Remote host closed the connection]

14:47 doesntgolf has joined #ocaml

14:48 doesntgolf has quit [Remote host closed the connection]

14:57 mro has joined #ocaml

14:57 Everything has joined #ocaml

15:27 azimut has quit [Ping timeout: 268 seconds]

15:28 gereedy has joined #ocaml

15:33 kurfen has joined #ocaml

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

15:37 mbuf has quit [Quit: Leaving]

15:39 azimut has joined #ocaml

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

15:52 mro has joined #ocaml

15:56 rgrinberg has joined #ocaml

15:57 mro has quit [Ping timeout: 264 seconds]

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

16:18 waleee has quit [Ping timeout: 264 seconds]

16:22 rgrinberg has joined #ocaml

16:23 mro has joined #ocaml

16:27 mro has quit [Ping timeout: 246 seconds]

16:38 mro has joined #ocaml

16:40 Tuplanolla has joined #ocaml

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

16:46 azimut has quit [Ping timeout: 268 seconds]

16:57 azimut has joined #ocaml

17:00 mro has joined #ocaml

17:12 Haudegen has joined #ocaml

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

18:00 mro has joined #ocaml

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

18:33 mro has joined #ocaml

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

18:54 waleee has joined #ocaml

19:10 mro has joined #ocaml

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

19:31 gentauro has quit [Read error: Connection reset by peer]

19:37 gentauro has joined #ocaml

19:46 Serpent7776 has quit [Ping timeout: 240 seconds]

19:46 Tuplanolla has quit [Ping timeout: 268 seconds]

19:46 omegatron has quit [Ping timeout: 240 seconds]

19:47 greenbagels has quit [Ping timeout: 264 seconds]

19:48 Serpent7776 has joined #ocaml

19:55 omegatron has joined #ocaml

19:58 neitsch[m] has joined #ocaml

20:00 Tuplanolla has joined #ocaml

20:01 greenbagels has joined #ocaml

20:05 mro has joined #ocaml

20:13 Everything has quit [Remote host closed the connection]

20:14 mro has quit [Quit: Leaving...]

20:26 Guest4447 has joined #ocaml

20:32 adanwan has quit [Ping timeout: 268 seconds]

20:33 adanwan has joined #ocaml

20:33 bartholin has joined #ocaml

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

21:16 nd__ has quit [Ping timeout: 256 seconds]

21:17 nd__ has joined #ocaml

21:20 bartholin has quit [Quit: Leaving]

21:22 nd__ has quit [Ping timeout: 246 seconds]

21:23 nd__ has joined #ocaml

21:28 nd__ has quit [Ping timeout: 246 seconds]

21:28 nd__ has joined #ocaml

21:32 greaser|q has quit [Changing host]

21:32 greaser|q has joined #ocaml

21:32 greaser|q is now known as GreaseMonkey

21:33 nd__ has quit [Ping timeout: 246 seconds]

21:34 nd__ has joined #ocaml

21:39 nd__ has quit [Ping timeout: 256 seconds]

21:40 nd__ has joined #ocaml

21:43 azimut has quit [Ping timeout: 268 seconds]

21:47 nd__ has quit [Ping timeout: 240 seconds]

21:48 nd__ has joined #ocaml

21:53 nd__ has quit [Ping timeout: 240 seconds]

21:54 nd__ has joined #ocaml

21:59 nd__ has quit [Ping timeout: 240 seconds]

22:00 nd__ has joined #ocaml

22:05 nd__ has quit [Ping timeout: 240 seconds]

22:06 nd__ has joined #ocaml

22:10 nd__ has quit [Ping timeout: 240 seconds]

22:11 nd__ has joined #ocaml

22:16 nd__ has quit [Ping timeout: 240 seconds]

22:17 nd__ has joined #ocaml

22:22 nd__ has quit [Ping timeout: 240 seconds]

22:23 nd__ has joined #ocaml

22:27 xgqt has quit [Ping timeout: 240 seconds]

22:27 wingsorc has joined #ocaml

22:28 xgqt has joined #ocaml

22:28 nd__ has quit [Ping timeout: 255 seconds]

22:33 Haudegen has quit [Ping timeout: 256 seconds]

22:35 nd__ has joined #ocaml

22:40 nd__ has quit [Ping timeout: 255 seconds]

22:46 nd__ has joined #ocaml

22:51 nd__ has quit [Ping timeout: 276 seconds]

22:52 nd__ has joined #ocaml

22:57 nd__ has quit [Ping timeout: 256 seconds]

22:57 nd__ has joined #ocaml

23:02 nd__ has quit [Ping timeout: 240 seconds]

23:03 nd__ has joined #ocaml

23:08 rgrinberg has joined #ocaml

23:08 nd__ has quit [Ping timeout: 248 seconds]

23:09 nd__ has joined #ocaml

23:12 bobo_ has joined #ocaml

23:13 spip has quit [Ping timeout: 256 seconds]

23:14 nd__ has quit [Ping timeout: 246 seconds]

23:15 nd__ has joined #ocaml

23:20 nd__ has quit [Ping timeout: 256 seconds]

23:20 nd__ has joined #ocaml

23:25 nd__ has quit [Ping timeout: 240 seconds]

23:26 nd__ has joined #ocaml

23:31 nd__ has quit [Ping timeout: 246 seconds]

23:32 nd__ has joined #ocaml

23:35 spip has joined #ocaml

23:35 bobo_ has quit [Read error: Connection reset by peer]

23:37 nd__ has quit [Ping timeout: 240 seconds]

23:38 nd__ has joined #ocaml

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

23:43 nd__ has quit [Ping timeout: 248 seconds]

23:49 nd__ has joined #ocaml