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

2024-05-29 14:49 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.2.0 released: https://ocaml.org/releases/5.2.0 | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:03 tobiasu has joined #ocaml

00:05 accordve1om has joined #ocaml

00:06 rgrinberg has quit [Quit: My Unrecognized Mac has gone to sleep. ZZZzzz…]

00:09 accordve1om has quit [Read error: Connection reset by peer]

00:10 rgrinberg has joined #ocaml

00:15 accordvenom has joined #ocaml

00:19 accordvenom has quit [Read error: Connection reset by peer]

00:25 accordve1om has joined #ocaml

00:39 accordve1om has quit [Read error: Connection reset by peer]

00:45 accordve1om has joined #ocaml

00:49 accordve1om has quit [Read error: Connection reset by peer]

00:54 accordve1om has joined #ocaml

00:59 accordve1om has quit [Read error: Connection reset by peer]

01:05 accordve1om has joined #ocaml

01:09 accordve1om has quit [Read error: Connection reset by peer]

01:13 bartholin has quit [Quit: Leaving]

01:15 accordve1om has joined #ocaml

01:32 rgrinberg has quit [Quit: My Unrecognized Mac has gone to sleep. ZZZzzz…]

01:39 accordve1om has quit [Read error: Connection reset by peer]

01:44 accordvenom has joined #ocaml

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

01:59 accordvenom has quit [Read error: Connection reset by peer]

02:04 accordvenom has joined #ocaml

02:09 accordvenom has quit [Read error: Connection reset by peer]

02:15 accordve1om has joined #ocaml

02:19 accordve1om has quit [Read error: Connection reset by peer]

02:25 accordvenom has joined #ocaml

02:29 accordvenom has quit [Read error: Connection reset by peer]

02:31 chrisz has quit [Ping timeout: 265 seconds]

02:32 chrisz has joined #ocaml

02:34 accordve1om has joined #ocaml

02:49 accordve1om has quit [Read error: Connection reset by peer]

02:54 accordve1om has joined #ocaml

03:08 agentcasey has joined #ocaml

03:09 accordve1om has quit [Read error: Connection reset by peer]

03:14 accordvenom has joined #ocaml

03:20 accordvenom has quit [Read error: Connection reset by peer]

03:20 accordvenom has joined #ocaml

03:28 myrkraverk has joined #ocaml

03:29 myrkraverk_ has quit [Ping timeout: 265 seconds]

03:29 myrkraverk has quit [Read error: Connection reset by peer]

03:29 myrkraverk__ has joined #ocaml

03:29 accordvenom has quit [Read error: Connection reset by peer]

03:32 myrkraverk has joined #ocaml

03:34 myrkraverk_ has joined #ocaml

03:35 myrkraverk__ has quit [Ping timeout: 248 seconds]

03:35 accordve1om has joined #ocaml

03:37 myrkraverk has quit [Ping timeout: 244 seconds]

03:38 myrkraverk__ has joined #ocaml

03:39 myrkraverk_ has quit [Read error: Connection reset by peer]

03:39 accordve1om has quit [Read error: Connection reset by peer]

03:45 accordve1om has joined #ocaml

03:49 accordve1om has quit [Read error: Connection reset by peer]

03:50 accordvenom has joined #ocaml

03:59 accordvenom has quit [Read error: Connection reset by peer]

04:04 accordvenom has joined #ocaml

04:10 agentcas- has joined #ocaml

04:11 agentcasey has quit [Ping timeout: 276 seconds]

04:29 accordvenom has quit [Read error: Connection reset by peer]

04:34 accordvenom has joined #ocaml

04:39 accordvenom has quit [Read error: Connection reset by peer]

04:40 mbuf has joined #ocaml

04:45 accordve1om has joined #ocaml

04:49 accordve1om has quit [Read error: Connection reset by peer]

04:55 accordvenom has joined #ocaml

04:59 accordvenom has quit [Read error: Connection reset by peer]

05:04 accordve1om has joined #ocaml

05:09 accordve1om has quit [Read error: Connection reset by peer]

05:16 accordve1om has joined #ocaml

05:39 accordve1om has quit [Read error: Connection reset by peer]

05:45 accordvenom has joined #ocaml

05:49 accordvenom has quit [Read error: Connection reset by peer]

05:50 accordvenom has joined #ocaml

06:01 <discocaml_> <functionalprogramming> is there a notion of "debug build"/"production build" i can refer to within ocaml code?

06:15 agentcas- has quit [Ping timeout: 265 seconds]

06:15 <discocaml_> <Kali> dune has profiles, maybe you can use that?

06:15 <discocaml_> <Kali> https://dune.readthedocs.io/en/stable/quick-start.html#setting-the-ocaml-compilation-flags-globally

06:19 agentcasey has joined #ocaml

06:19 accordvenom has quit [Read error: Connection reset by peer]

06:25 accordve1om has joined #ocaml

06:25 agentcasey has quit [Ping timeout: 265 seconds]

06:29 accordve1om has quit [Read error: Connection reset by peer]

06:34 accordve1om has joined #ocaml

06:42 <discocaml_> <functionalprogramming> thanks. i think i will go with an environment variable tho

06:49 accordve1om has quit [Read error: Connection reset by peer]

06:50 agentcasey has joined #ocaml

06:54 accordvenom has joined #ocaml

06:59 accordvenom has quit [Read error: Connection reset by peer]

07:05 accordve1om has joined #ocaml

07:09 accordve1om has quit [Read error: Connection reset by peer]

07:15 accordve1om has joined #ocaml

07:19 accordve1om has quit [Read error: Connection reset by peer]

07:25 accordvenom has joined #ocaml

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

07:34 accordvenom has joined #ocaml

07:39 accordvenom has quit [Read error: Connection reset by peer]

07:45 accordve1om has joined #ocaml

07:49 accordve1om has quit [Read error: Connection reset by peer]

07:55 accordvenom has joined #ocaml

07:59 accordvenom has quit [Read error: Connection reset by peer]

08:04 accordvenom has joined #ocaml

08:09 accordvenom has quit [Read error: Connection reset by peer]

08:15 accordve1om has joined #ocaml

08:19 accordve1om has quit [Read error: Connection reset by peer]

08:21 euphores has quit [Quit: Leaving.]

08:25 accordve1om has joined #ocaml

08:29 euphores has joined #ocaml

08:29 accordve1om has quit [Read error: Connection reset by peer]

08:35 accordvenom has joined #ocaml

08:59 mbuf has quit [Ping timeout: 265 seconds]

08:59 accordvenom has quit [Read error: Connection reset by peer]

09:05 accordve1om has joined #ocaml

09:09 accordve1om has quit [Read error: Connection reset by peer]

09:14 accordvenom has joined #ocaml

09:19 accordvenom has quit [Read error: Connection reset by peer]

09:25 accordve1om has joined #ocaml

09:29 accordve1om has quit [Read error: Connection reset by peer]

09:30 gentauro_ has quit [Ping timeout: 252 seconds]

09:34 gentauro has joined #ocaml

09:35 accordvenom has joined #ocaml

09:49 accordvenom has quit [Read error: Connection reset by peer]

09:55 accordvenom has joined #ocaml

09:59 accordvenom has quit [Read error: Connection reset by peer]

10:00 Tuplanolla has joined #ocaml

10:04 accordve1om has joined #ocaml

10:09 accordve1om has quit [Read error: Connection reset by peer]

10:15 accordve1om has joined #ocaml

10:19 accordve1om has quit [Read error: Connection reset by peer]

10:25 accordve1om has joined #ocaml

10:29 accordve1om has quit [Read error: Connection reset by peer]

10:34 accordve1om has joined #ocaml

10:37 agentcasey has quit [Quit: ZNC 1.10.x-git-27-bfd731cf - https://znc.in]

10:37 agentcasey has joined #ocaml

10:49 accordve1om has quit [Read error: Connection reset by peer]

10:54 accordvenom has joined #ocaml

11:09 bartholin has joined #ocaml

11:09 accordvenom has quit [Read error: Connection reset by peer]

11:14 accordvenom has joined #ocaml

11:19 accordvenom has quit [Read error: Connection reset by peer]

11:25 accordve1om has joined #ocaml

11:29 accordve1om has quit [Read error: Connection reset by peer]

11:35 accordvenom has joined #ocaml

11:39 accordvenom has quit [Read error: Connection reset by peer]

11:40 Serpent7776 has joined #ocaml

11:44 gentauro_ has joined #ocaml

11:44 accordve1om has joined #ocaml

11:45 gentauro has quit [Ping timeout: 260 seconds]

11:48 gentauro_ has quit [Read error: Connection reset by peer]

11:49 gentauro has joined #ocaml

11:57 gentauro has quit [Ping timeout: 244 seconds]

11:59 accordve1om has quit [Read error: Connection reset by peer]

12:04 accordvenom has joined #ocaml

12:09 accordvenom has quit [Read error: Connection reset by peer]

12:15 accordvenom has joined #ocaml

12:16 gentauro has joined #ocaml

12:19 accordvenom has quit [Read error: Connection reset by peer]

12:25 accordve1om has joined #ocaml

12:29 accordve1om has quit [Read error: Connection reset by peer]

12:34 accordve1om has joined #ocaml

12:39 accordve1om has quit [Read error: Connection reset by peer]

12:44 accordvenom has joined #ocaml

12:49 accordvenom has quit [Read error: Connection reset by peer]

12:55 accordve1om has joined #ocaml

12:59 accordve1om has quit [Read error: Connection reset by peer]

13:05 accordve1om has joined #ocaml

13:19 accordve1om has quit [Read error: Connection reset by peer]

13:25 accordve1om has joined #ocaml

13:29 accordve1om has quit [Read error: Connection reset by peer]

13:29 accordvenom has joined #ocaml

13:39 accordvenom has quit [Read error: Connection reset by peer]

13:44 accordvenom has joined #ocaml

13:49 accordvenom has quit [Read error: Connection reset by peer]

13:55 gentauro has quit [Read error: Connection reset by peer]

13:55 accordvenom has joined #ocaml

13:59 gentauro has joined #ocaml

13:59 accordvenom has quit [Read error: Connection reset by peer]

14:05 accordvenom has joined #ocaml

14:09 accordvenom has quit [Read error: Connection reset by peer]

14:14 accordvenom has joined #ocaml

14:19 accordvenom has quit [Read error: Connection reset by peer]

14:25 accordve1om has joined #ocaml

14:29 accordve1om has quit [Read error: Connection reset by peer]

14:35 accordve1om has joined #ocaml

14:39 accordve1om has quit [Read error: Connection reset by peer]

14:44 accordvenom has joined #ocaml

14:49 accordvenom has quit [Read error: Connection reset by peer]

14:49 accordvenom has joined #ocaml

15:05 YuGiOhJCJ has quit [Quit: YuGiOhJCJ]

15:08 Everything has joined #ocaml

15:09 accordvenom has quit [Read error: Connection reset by peer]

15:14 accordve1om has joined #ocaml

15:19 accordve1om has quit [Read error: Connection reset by peer]

15:19 accordvenom has joined #ocaml

15:35 Anarchos has joined #ocaml

15:39 accordvenom has quit [Read error: Connection reset by peer]

15:44 accordvenom has joined #ocaml

15:49 accordvenom has quit [Read error: Connection reset by peer]

15:55 ygrek has joined #ocaml

15:55 accordve1om has joined #ocaml

15:59 accordve1om has quit [Read error: Connection reset by peer]

16:05 accordve1om has joined #ocaml

16:09 accordve1om has quit [Read error: Connection reset by peer]

16:15 accordvenom has joined #ocaml

16:20 mbuf has joined #ocaml

16:29 accordvenom has quit [Read error: Connection reset by peer]

16:34 accordvenom has joined #ocaml

16:39 accordvenom has quit [Read error: Connection reset by peer]

16:39 accordvenom has joined #ocaml

16:49 accordvenom has quit [Read error: Connection reset by peer]

16:54 accordvenom has joined #ocaml

16:59 accordvenom has quit [Read error: Connection reset by peer]

17:05 accordve1om has joined #ocaml

17:07 Everything has quit [Ping timeout: 246 seconds]

17:09 accordve1om has quit [Read error: Connection reset by peer]

17:15 accordvenom has joined #ocaml

17:29 accordvenom has quit [Read error: Connection reset by peer]

17:35 accordvenom has joined #ocaml

17:39 accordvenom has quit [Read error: Connection reset by peer]

17:40 accordvenom has joined #ocaml

17:49 accordvenom has quit [Read error: Connection reset by peer]

17:49 accordvenom has joined #ocaml

17:49 Anarchos has quit [Quit: Vision[]: i've been blurred!]

17:53 dstein64- has joined #ocaml

17:57 dstein64 has quit [Ping timeout: 245 seconds]

17:57 dstein64- is now known as dstein64

17:59 accordvenom has quit [Read error: Connection reset by peer]

18:05 accordve1om has joined #ocaml

18:09 accordve1om has quit [Read error: Connection reset by peer]

18:11 ygrek has quit [Remote host closed the connection]

18:12 mbuf has quit [Quit: Leaving]

18:15 accordve1om has joined #ocaml

18:19 accordve1om has quit [Read error: Connection reset by peer]

18:25 accordvenom has joined #ocaml

18:29 accordvenom has quit [Read error: Connection reset by peer]

18:30 accordvenom has joined #ocaml

18:49 accordvenom has quit [Read error: Connection reset by peer]

18:55 accordvenom has joined #ocaml

18:57 <Tuplanolla> It seems that `odig`'s dark theme has such low contrast that documentation is almost unreadable (and it fails all WCAG guidelines). Is there a way to configure it?

19:09 accordvenom has quit [Read error: Connection reset by peer]

19:14 accordvenom has joined #ocaml

19:19 <discocaml_> <yawaramin> would you mind filing a bug report about the a11y issues?

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

19:24 Haudegen has joined #ocaml

19:25 accordvenom has joined #ocaml

19:28 <Tuplanolla> I guess I could do that.

19:29 accordvenom has quit [Read error: Connection reset by peer]

19:33 rynite has joined #ocaml

19:35 accordvenom has joined #ocaml

19:39 accordvenom has quit [Read error: Connection reset by peer]

19:41 Anarchos has joined #ocaml

19:44 accordve1om has joined #ocaml

19:53 <discocaml_> <regularspatula> There are also other themes to choose from in the meantime if you want

19:55 Anarchos has quit [Quit: Vision[]: i've been blurred!]

19:59 accordve1om has quit [Read error: Connection reset by peer]

19:59 accordvenom has joined #ocaml

20:00 Anarchos has joined #ocaml

20:14 YuGiOhJCJ has joined #ocaml

20:19 accordvenom has quit [Read error: Connection reset by peer]

20:24 accordvenom has joined #ocaml

20:29 accordvenom has quit [Read error: Connection reset by peer]

20:35 accordvenom has joined #ocaml

20:39 accordvenom has quit [Read error: Connection reset by peer]

20:42 Everything has joined #ocaml

20:45 accordve1om has joined #ocaml

20:47 tremon has joined #ocaml

20:49 accordve1om has quit [Read error: Connection reset by peer]

20:54 accordvenom has joined #ocaml

21:00 accordvenom has quit [Read error: Connection reset by peer]

21:01 <tobiasu> i don't get opam

21:02 <tobiasu> it wants to downgrade ↘ ocaml 5.2.0 to 4.06.1 [required by why3]

21:02 <tobiasu> based on this file: https://github.com/AdaCore/why3/blob/70ed0a8608a7a605e35ac14fdea723ccdf3e4e6e/opam/why3.opam

21:02 <tobiasu> why? how does it come to this conclusion?

21:03 <tobiasu> I wouldn't mind if it didn't actually break while compiling ocaml-variants 4.06.1+no-naked-pointers+flambda

21:04 rgrinberg has joined #ocaml

21:05 accordvenom has joined #ocaml

21:05 <discocaml_> <yawaramin> should be impossible to try to get 4.06.1 when the opam file says >= 4.08.0

21:09 accordvenom has quit [Read error: Connection reset by peer]

21:09 Everything has quit [Quit: leaving]

21:15 accordve1om has joined #ocaml

21:17 Everything has joined #ocaml

21:19 accordve1om has quit [Read error: Connection reset by peer]

21:23 <tobiasu> previously I've provided two .opam files at the same time. Splitting it into two opam install calls works a litle better

21:25 accordve1om has joined #ocaml

21:25 <tobiasu> installing https://github.com/AdaCore/spark2014/blob/fsf/scripts/spark.opam results in ↘ ocaml 5.2.0 to 4.11.2 [required by uutf, psmt2-frontend, ppx_deriving, etc.]

21:27 <tobiasu> But building that gives a compile error: caml/prims.h:33:23: error: too many arguments to function '(value (*)(void))*(caml_prim_table.contents + (sizetype)((long unsigned int)*pc * 8))'

21:28 <tobiasu> the new gcc probably doesn't like the macro magic going on there

21:28 <tobiasu> is there a way to patch around this?

21:29 accordve1om has quit [Read error: Connection reset by peer]

21:33 <tobiasu> I think I need this fix: https://github.com/ocaml/ocaml/commit/8db1817ac0e9fde774c656527e5609950dc2ee79

21:34 accordvenom has joined #ocaml

21:35 <tobiasu> alternatively, is there a way to nail ocaml to version 5.2.0 no matter what?

21:38 <Anarchos> tobiasu opam pin

21:39 accordvenom has quit [Read error: Connection reset by peer]

21:39 accordvenom has joined #ocaml

21:49 accordvenom has quit [Read error: Connection reset by peer]

21:52 rynite has quit [Quit: WeeChat 4.4.1]

21:55 accordve1om has joined #ocaml

21:59 accordve1om has quit [Read error: Connection reset by peer]

22:03 tremon has quit [Quit: getting boxed in]

22:05 accordvenom has joined #ocaml

22:19 accordvenom has quit [Read error: Connection reset by peer]

22:21 Anarchos has quit [Quit: Vision[]: i've been blurred!]

22:23 rgrinberg has quit [Quit: My Unrecognized Mac has gone to sleep. ZZZzzz…]

22:25 accordvenom has joined #ocaml

22:29 accordvenom has quit [Read error: Connection reset by peer]

22:30 accordvenom has joined #ocaml

22:35 rgrinberg has joined #ocaml

22:37 ygrek has joined #ocaml

22:39 accordvenom has quit [Read error: Connection reset by peer]

22:39 Serpent7776 has quit [Ping timeout: 276 seconds]

22:44 accordvenom has joined #ocaml

22:49 accordvenom has quit [Read error: Connection reset by peer]

22:54 bartholin has quit [Quit: Leaving]

22:55 accordve1om has joined #ocaml

22:59 accordve1om has quit [Read error: Connection reset by peer]

23:01 myrkraverk has joined #ocaml

23:05 myrkraverk__ has quit [Ping timeout: 252 seconds]

23:05 accordvenom has joined #ocaml

23:19 accordvenom has quit [Read error: Connection reset by peer]

23:19 accordvenom has joined #ocaml

23:29 accordvenom has quit [Read error: Connection reset by peer]

23:33 Everything has quit [Quit: leaving]

23:35 accordve1om has joined #ocaml

23:39 accordve1om has quit [Read error: Connection reset by peer]

23:43 <discocaml_> <._null._> More simply you can add "ocaml>=5.2.0" to your install/upgrade list

23:45 accordve1om has joined #ocaml

23:49 accordve1om has quit [Read error: Connection reset by peer]

23:55 accordve1om has joined #ocaml

23:59 accordve1om has quit [Read error: Connection reset by peer]