#ocaml on 2021-11-26 — irc logs at libera.irclog.whitequark.org

2021-09-27 14:53 Leonidas changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.13.0 released: https://ocaml.org/releases/4.13.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:00 Haudegen has quit [Ping timeout: 260 seconds]

00:28 oriba has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

00:35 waleee has joined #ocaml

00:36 qwr has joined #ocaml

00:38 Skyfire has joined #ocaml

00:46 waleee has quit [Ping timeout: 268 seconds]

00:47 waleee has joined #ocaml

02:21 tizoc has quit [Quit: Coyote finally caught me]

02:23 waleee has quit [Ping timeout: 268 seconds]

02:25 waleee has joined #ocaml

02:28 tizoc has joined #ocaml

02:42 waleee has quit [Ping timeout: 268 seconds]

02:43 waleee has joined #ocaml

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

03:34 mbuf has joined #ocaml

03:44 ns12 has quit [Quit: Ping timeout (120 seconds)]

03:44 ns12 has joined #ocaml

03:57 ns12 has quit [Quit: The Lounge - https://thelounge.chat]

03:58 ns12 has joined #ocaml

04:02 ns12 has quit [Client Quit]

04:03 ns12 has joined #ocaml

04:15 average has joined #ocaml

04:16 ns12 has quit [Quit: bye]

05:16 waleee has quit [Ping timeout: 268 seconds]

05:17 waleee has joined #ocaml

05:18 waleee has quit [Client Quit]

05:27 xd1le has joined #ocaml

05:38 waleee has joined #ocaml

06:05 shawnw has joined #ocaml

06:28 gravicappa has joined #ocaml

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

07:19 Serpent7776 has joined #ocaml

07:33 mro has joined #ocaml

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

07:40 olle has joined #ocaml

07:43 rgrinberg has joined #ocaml

07:47 rgrinberg has quit [Ping timeout: 260 seconds]

08:08 Haudegen has joined #ocaml

08:10 olle has quit [Ping timeout: 268 seconds]

08:44 rgrinberg has joined #ocaml

08:54 rgrinberg has quit [Ping timeout: 245 seconds]

09:07 bobo_ has quit [Quit: Konversation terminated!]

09:08 rgrinberg has joined #ocaml

09:09 spip has joined #ocaml

09:12 rgrinberg has quit [Ping timeout: 250 seconds]

09:19 rgrinberg has joined #ocaml

09:24 rgrinberg has quit [Ping timeout: 265 seconds]

09:29 mro has joined #ocaml

09:42 bartholin has joined #ocaml

09:47 rgrinberg has joined #ocaml

09:51 rgrinberg has quit [Ping timeout: 245 seconds]

10:06 <bartholin> When I try to compile with ocamlbuild, I get the error Error: Unbound module Angstrom

10:08 <bartholin> If I do $ ocamlfind query angstrom, I get /home/bartholin/.opam/4.11.0/lib/angstrom

10:09 <bartholin> but if I do ocamlbuild test.cmo, it does not know what is angstrom

10:14 spip has quit [Ping timeout: 250 seconds]

10:14 bobo_ has joined #ocaml

10:19 rgrinberg has joined #ocaml

10:23 rgrinberg has quit [Ping timeout: 240 seconds]

10:30 rgrinberg has joined #ocaml

10:42 <octachron> bartholin, you need to inform ocamlbuild that it needs to use the angstrom package (using the _tag file if I remember correctly?).

10:46 rgrinberg has quit [Ping timeout: 268 seconds]

10:52 <bartholin> octachron: I have put true: package(angstrom) as a _tags file, and I have compiled with ocamlbuild -use-ocamlfind test.cmo, and now it works!

10:52 <bartholin> why is the toolchain such a mess

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

11:05 mro has joined #ocaml

11:20 rgrinberg has joined #ocaml

11:36 rgrinberg has quit [Ping timeout: 268 seconds]

11:36 glassofethanol has joined #ocaml

11:38 <ccx> Did you see a real world toolchain that wasn't a mess? >_>

11:46 glassofe1hanol has joined #ocaml

11:47 ralu9 has joined #ocaml

11:48 ansiwen_ has joined #ocaml

11:48 greyrat_ has joined #ocaml

11:48 brettgilio3 has joined #ocaml

11:49 jsoo_ has joined #ocaml

11:49 Techcable_ has joined #ocaml

11:49 vb_ has joined #ocaml

11:49 wagle_ has joined #ocaml

11:50 kandu_ has joined #ocaml

11:51 gahr_ has joined #ocaml

11:51 ts2 has joined #ocaml

11:52 <octachron> also ocamlbuild is no longer part of the main toolchain

11:54 ocabot_ has joined #ocaml

11:54 rgrinberg has joined #ocaml

11:54 infinity0_ has joined #ocaml

11:54 infinity0 has quit [Killed (iridium.libera.chat (Nickname regained by services))]

11:54 infinity0_ is now known as infinity0

11:55 vb has quit [Ping timeout: 260 seconds]

11:55 greyrat has quit [Ping timeout: 260 seconds]

11:55 jsoo has quit [Ping timeout: 260 seconds]

11:55 glassofethanol has quit [Ping timeout: 260 seconds]

11:55 wagle has quit [Ping timeout: 260 seconds]

11:55 ocabot has quit [Ping timeout: 260 seconds]

11:56 kandu has quit [Ping timeout: 260 seconds]

11:56 brettgilio has quit [Ping timeout: 260 seconds]

11:56 ts1 has quit [Ping timeout: 260 seconds]

11:56 Leonidas has quit [Ping timeout: 260 seconds]

11:56 gahr has quit [Ping timeout: 260 seconds]

11:56 gravicappa has quit [Ping timeout: 260 seconds]

11:56 mbuf has quit [Ping timeout: 260 seconds]

11:56 mbuf has joined #ocaml

11:56 ralu has quit [Ping timeout: 260 seconds]

11:56 Techcable has quit [Ping timeout: 260 seconds]

11:56 ansiwen has quit [Ping timeout: 260 seconds]

11:56 greenbagels has quit [Ping timeout: 260 seconds]

11:56 micro has quit [Ping timeout: 260 seconds]

11:56 Leonidas_ has joined #ocaml

11:56 ralu9 is now known as ralu

11:56 brettgilio3 is now known as brettgilio

11:56 micro has joined #ocaml

11:58 glassofe1hanol has quit [Quit: leaving]

11:58 glassofethanol has joined #ocaml

11:58 rgrinberg has quit [Ping timeout: 250 seconds]

12:02 greenbagels has joined #ocaml

12:03 gravicappa has joined #ocaml

12:03 gahr_ is now known as gahr

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

12:21 Corbin has quit [Ping timeout: 268 seconds]

12:24 Anarchos has joined #ocaml

12:49 rgrinberg has joined #ocaml

12:54 rgrinberg has quit [Ping timeout: 265 seconds]

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

13:11 rgrinberg has joined #ocaml

13:14 mro has joined #ocaml

13:16 rgrinberg has quit [Ping timeout: 265 seconds]

13:28 rgrinberg has joined #ocaml

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

13:32 mro has joined #ocaml

13:38 rgrinberg has quit [Ping timeout: 268 seconds]

14:01 rgrinberg has joined #ocaml

14:12 rgrinberg has quit [Ping timeout: 268 seconds]

14:12 gravicappa has quit [Ping timeout: 245 seconds]

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

14:19 Haudegen has joined #ocaml

14:42 rak has quit [Quit: Segmentation fault (core recycled)]

14:44 rak has joined #ocaml

14:45 rgrinberg has joined #ocaml

14:49 mro has joined #ocaml

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

15:09 xd1le has quit [Quit: xd1le]

15:27 <d_bot> <Lupus> for some reason `opam switch list-available | grep flambda` does not show any 4.12 or 4.13 options, running `opam update` does not change anything

15:27 <d_bot> <Lupus> were flambda variants dropped from 4.12+ compilers? 🤔

15:29 <zozozo> @Lupus : no support has not been dropped, instead, it's the way opam deals with configure-time options of the compiler which has changed, you should instead install the ocaml-option-flambda package to ensure that the switch uses flambda

15:31 <d_bot> <Lupus> cool! thanks!

15:31 <d_bot> <Lupus> would be awesome if opam told me this when I asked about 4.12.1+flambda switch...

15:56 <d_bot> <VPhantom> It caught me off-guard too. Details are in the 4.12+ release notes: https://ocaml.org/releases/4.12.0.html

15:57 <d_bot> <VPhantom> (Actually the 4.13.0 notes are better because they also show the syntax for opam 2.1.)

15:58 gravicappa has joined #ocaml

16:02 Corbin has joined #ocaml

16:04 mro has joined #ocaml

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

16:38 rgrinberg has joined #ocaml

16:50 * Anarchos running 5.00.0+dev0-2021-11-05 on Haiku OS

16:57 Anarchos has quit [Quit: Vision[]: i've been blurred!]

17:01 Haudegen has quit [Quit: Bin weg.]

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

17:04 waleee has quit [Ping timeout: 268 seconds]

17:05 mbuf has quit [Quit: Leaving]

17:06 waleee has joined #ocaml

17:09 mro has joined #ocaml

17:16 Anarchos has joined #ocaml

17:21 <sim642> Anyone know how to imitate the opam-repository lower-bounds CI job on my own CI? I tried the tricks from its logs, but I just get: [ERROR] No installed solver matching the selected 'builtin-0install' found

17:27 bartholin has quit [Quit: Leaving]

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

17:36 <Anarchos> what is hte status of patoline ?

17:47 Colt has quit [Remote host closed the connection]

17:47 Colt has joined #ocaml

17:47 glassofethanol has quit [Quit: leaving]

17:56 Colt has quit [Remote host closed the connection]

17:59 Colt has joined #ocaml

18:02 mro has joined #ocaml

18:04 waleee has quit [Ping timeout: 245 seconds]

18:05 waleee has joined #ocaml

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

18:07 Colt has joined #ocaml

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

18:09 mro has joined #ocaml

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

18:30 Haudegen has joined #ocaml

18:31 waleee has quit [Quit: WeeChat 3.3]

18:32 waleee has joined #ocaml

18:34 average has quit [Quit: Connection closed for inactivity]

18:47 Haudegen has quit [Ping timeout: 268 seconds]

18:48 Haudegen has joined #ocaml

18:49 <d_bot> <Lupus> hm, latest `base` in 0.13 family has upper bound constraint on OCaml < 4.12

18:49 <d_bot> <Lupus> https://opam.ocaml.org/packages/base/base.v0.13.2/

18:49 <d_bot> <Lupus> why is that? IIRC no breaking changes were planned due to multicore aside of some corner cases in C API

18:54 <d_bot> <octachron> The incompatibility is indeed not related at all to multicore: https://github.com/janestreet/base/pull/98

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

18:57 <d_bot> <octachron> Generally, base conflicts not that unfrequently with new stdlib modules

19:10 mro has joined #ocaml

19:11 {Franciman} is now known as Franciman

19:11 olle has joined #ocaml

19:13 <d_bot> <Lupus> ahh, makes sense... thanks for the pointer @octachron !

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

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

19:24 Haudegen has joined #ocaml

19:25 mro has joined #ocaml

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

19:50 Anarchos has joined #ocaml

20:00 Anarchos has quit [Quit: Vision[]: i've been blurred!]

20:04 Anarchos has joined #ocaml

20:05 rgrinberg has joined #ocaml

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

20:20 mro has joined #ocaml

20:30 Anarchos has quit [Quit: Vision[]: i've been blurred!]

20:31 wagle_ is now known as wagle

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

20:50 mro has joined #ocaml

20:56 brettgilio has quit [Ping timeout: 250 seconds]

21:00 gravicappa has quit [Ping timeout: 265 seconds]

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

21:21 rgrinberg has joined #ocaml

21:22 rgrinberg has quit [Client Quit]

21:24 mro has quit [Quit: Leaving...]

21:51 rgrinberg has joined #ocaml

22:14 spip has joined #ocaml

22:14 bobo_ has quit [Ping timeout: 250 seconds]

22:20 waleee has quit [Ping timeout: 245 seconds]

22:22 waleee has joined #ocaml

22:27 Serpent7776 has quit [Quit: leaving]

22:39 namkeleser has joined #ocaml

22:42 olle has quit [Ping timeout: 250 seconds]

23:18 klu has quit [Quit: .]

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

23:25 namkeleser has quit [Quit: Client closed]

23:29 namkeleser has joined #ocaml

23:32 Tuplanolla has joined #ocaml

23:54 namkeleser has quit [Quit: Client closed]