#ocaml on 2023-01-16 — 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: 260 seconds]

00:10 Serpent7776 has quit [Ping timeout: 246 seconds]

00:23 rgrinberg has joined #ocaml

00:29 olle has quit [Ping timeout: 265 seconds]

00:37 Techcable has quit [Ping timeout: 252 seconds]

00:46 Techcable has joined #ocaml

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

00:56 azimut has joined #ocaml

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

02:42 tizoc has joined #ocaml

02:45 Soni has joined #ocaml

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

03:33 bobo has joined #ocaml

03:33 spip has quit [Ping timeout: 260 seconds]

03:36 waleee has quit [Ping timeout: 264 seconds]

03:38 chrisz has quit [Ping timeout: 248 seconds]

03:40 chrisz has joined #ocaml

04:53 azimut has quit [Ping timeout: 255 seconds]

06:10 bgs has joined #ocaml

06:21 rgrinberg has joined #ocaml

06:22 mbuf has joined #ocaml

06:46 jao has quit [Ping timeout: 268 seconds]

06:46 Haudegen has joined #ocaml

07:10 Serpent7776 has joined #ocaml

07:45 mro has joined #ocaml

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

08:11 mro has joined #ocaml

08:20 bartholin has joined #ocaml

08:23 jlrnick has joined #ocaml

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

08:45 mro has joined #ocaml

08:52 kakadu has joined #ocaml

09:17 bartholin has quit [Quit: Leaving]

09:40 trev_ has joined #ocaml

09:43 wingsorc has quit [Ping timeout: 256 seconds]

09:57 olle has joined #ocaml

10:32 dhil has joined #ocaml

10:40 hackinghorn has quit [Changing host]

10:40 hackinghorn has joined #ocaml

10:47 <gahr> I have a fresh opam switch with the default 5.0.0, trying to install dream on top, it tells me it wants me to downgrade to 4.14.1, and I can't figure why

10:48 <gahr> https://people.freebsd.org/~gahr/dream.txt any ideas?

10:54 <vsiles> what does `opam show dream` displays ?

10:54 <vsiles> maybe you need an `opam update` to make it see the 5.0 compatible version ?

10:58 <gahr> I did that

11:00 <gahr> https://people.freebsd.org/~gahr/opam-show-dream.txt

11:00 <gahr> it says "ocaml" {>= "4.08.0"}

11:00 <gahr> which I guess should match 5.0.0?

11:02 <Fardale> For me also it shows a conflict with 5.0.0

11:02 <Fardale> But I don't understand why

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

11:09 <gahr> the fishy part to me is "⊘ remove base-domains base [conflicts with ocaml]"

11:09 <gahr> mh probably the reason for that is ↘ downgrade ocaml 5.0.0 to 4.14.1 [required by dream]

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

11:20 <vsiles> does anyone knows why camlp4 is still < 4.15 ?

11:28 dhil has quit [Ping timeout: 268 seconds]

11:31 mro has joined #ocaml

11:32 Haudegen has quit [Quit: Bin weg.]

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

11:33 mro has joined #ocaml

12:17 azimut has joined #ocaml

12:18 trev_ has quit [Quit: trev_]

12:18 trev_ has joined #ocaml

12:18 trev_ is now known as trev

12:19 trev has quit [Changing host]

12:19 trev has joined #ocaml

12:40 Haudegen has joined #ocaml

12:44 jlrnick has quit [Ping timeout: 260 seconds]

13:16 troydm has quit [Ping timeout: 260 seconds]

14:25 chrisz has quit [Ping timeout: 260 seconds]

14:31 chrisz has joined #ocaml

14:38 count3rmeasure has joined #ocaml

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

14:49 amk has joined #ocaml

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

15:10 chrisz has quit [Ping timeout: 268 seconds]

15:11 chrisz has joined #ocaml

15:29 rgrinberg has joined #ocaml

15:31 spip has joined #ocaml

15:32 bobo has quit [Ping timeout: 260 seconds]

15:53 jao has joined #ocaml

16:03 hrberg has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

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

16:07 azimut has joined #ocaml

16:16 mro has joined #ocaml

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

16:24 mro has joined #ocaml

16:40 hrberg has joined #ocaml

16:40 troydm has joined #ocaml

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

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

17:02 mbuf has quit [Quit: Leaving]

17:02 mro has quit [Quit: Leaving...]

17:13 rgrinberg has joined #ocaml

17:49 count3rmeasure has quit [Ping timeout: 260 seconds]

17:50 olle has quit [Ping timeout: 246 seconds]

18:01 Haudegen has joined #ocaml

18:07 bartholin has joined #ocaml

18:16 count3rmeasure has joined #ocaml

18:24 olle has joined #ocaml

18:46 Tuplanolla has joined #ocaml

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

19:23 jlrnick has joined #ocaml

19:37 bobo has joined #ocaml

19:37 spip has quit [Ping timeout: 268 seconds]

19:46 rgrinberg has joined #ocaml

19:51 barak has joined #ocaml

19:58 barak_ has joined #ocaml

20:00 barak has quit [Ping timeout: 246 seconds]

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

20:12 tomku has quit [*.net *.split]

20:12 adrien has quit [*.net *.split]

20:13 adrien has joined #ocaml

20:13 tomku has joined #ocaml

20:21 Haudegen has quit [Quit: Bin weg.]

20:22 Haudegen has joined #ocaml

20:25 trev has quit [Remote host closed the connection]

20:28 gentauro has quit [Read error: Connection reset by peer]

20:31 Stumpfenstiel has joined #ocaml

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

20:35 gentauro has joined #ocaml

20:52 jlrnick has quit [Ping timeout: 265 seconds]

20:57 rgrinberg has joined #ocaml

21:13 bgs has quit [Remote host closed the connection]

21:18 cedric has joined #ocaml

21:19 jao has quit [Remote host closed the connection]

21:36 jao has joined #ocaml

22:03 count3rmeasure has quit [Quit: Leaving]

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

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

22:15 count3rmeasure has joined #ocaml

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

22:24 wingsorc__ has joined #ocaml

22:25 waleee has joined #ocaml

22:30 olle has quit [Ping timeout: 255 seconds]

22:41 azimut has joined #ocaml

22:42 troydm has quit [Ping timeout: 256 seconds]

22:44 count3rmeasure has quit [Quit: Leaving]

22:58 bgs has joined #ocaml

23:01 count3rmeasure has joined #ocaml

23:05 kakadu_ has joined #ocaml

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

23:11 bartholin has quit [Quit: Leaving]

23:12 Serpent7776 has quit [Ping timeout: 268 seconds]

23:29 Stumpfenstiel has quit [Ping timeout: 260 seconds]

23:38 rgrinberg has joined #ocaml

23:58 Haudegen has quit [Ping timeout: 246 seconds]