#ocaml on 2024-03-29 — irc logs at libera.irclog.whitequark.org

2023-12-18 15:47 Leonidas changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.1.1 released: https://ocaml.org/releases/5.1.1 | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:07 waleee has quit [Ping timeout: 240 seconds]

00:14 mizlan has quit [Ping timeout: 256 seconds]

00:26 <discocaml> <hockletock> `Lwt_unix.close` to close `Lwt_unix.file_descr` like the argument `~fd` to that function

00:29 mizlan has joined #ocaml

00:33 pi3ce has quit [Quit: No Ping reply in 180 seconds.]

00:34 pi3ce has joined #ocaml

00:40 <mizlan> Do i need to use a try-except

00:44 pi3ce has quit [Quit: No Ping reply in 180 seconds.]

00:46 pi3ce has joined #ocaml

00:51 pi3ce has quit [Quit: No Ping reply in 180 seconds.]

00:52 pi3ce has joined #ocaml

00:59 Tuplanolla has quit [Quit: Leaving.]

01:02 mizlan has quit [Ping timeout: 268 seconds]

01:14 mizlan has joined #ocaml

01:24 myrkraverk__ has joined #ocaml

01:27 myrkraverk_ has quit [Ping timeout: 264 seconds]

01:50 jabuxas has joined #ocaml

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

02:36 mizlan has quit [Ping timeout: 240 seconds]

03:51 zanetti has joined #ocaml

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

03:59 ursa-major has quit [Read error: Connection reset by peer]

03:59 patrick_ has joined #ocaml

03:59 ursa-major has joined #ocaml

04:00 Duns_Scrotus___ has quit [Ping timeout: 256 seconds]

04:02 zanetti has quit [Quit: zanetti]

04:03 Duns_Scrotus___ has joined #ocaml

04:03 cross has quit [Ping timeout: 256 seconds]

04:05 cross has joined #ocaml

06:31 bartholin has joined #ocaml

06:36 bartholin has quit [Ping timeout: 268 seconds]

06:41 <discocaml> <myrlhex> I'll try the closure compiler..

06:42 jabuxas has quit [Ping timeout: 268 seconds]

06:48 bartholin has joined #ocaml

07:48 bartholin has quit [Quit: Leaving]

08:55 Serpent7776 has joined #ocaml

09:02 waleee has joined #ocaml

09:24 <discocaml> <myrlhex> Oh wow

09:24 <discocaml> <myrlhex> That actually worked

09:32 <discocaml> <myrlhex> Still not the best but I'll take 20 KB

09:38 waleee has quit [Ping timeout: 252 seconds]

10:11 Tuplanolla has joined #ocaml

10:22 Serpent7776 has quit [Ping timeout: 252 seconds]

10:38 Anarchos has joined #ocaml

10:59 alexherbo2 has joined #ocaml

11:33 dnh has joined #ocaml

12:16 waleee has joined #ocaml

12:27 pi3ce has quit [Ping timeout: 255 seconds]

13:13 <discocaml> <regularspatula> Weird, I have not had good luck with running jsoo output through closure compiler

14:22 jabuxas has joined #ocaml

14:37 jabuxas has quit [Ping timeout: 256 seconds]

14:42 alexherbo2 has quit [Remote host closed the connection]

14:43 alexherbo2 has joined #ocaml

14:46 alexherbo2 has quit [Remote host closed the connection]

14:51 bibi_ has quit [Quit: Konversation terminated!]

15:12 bibi_ has joined #ocaml

15:33 waleee has quit [Ping timeout: 246 seconds]

15:37 jabuxas has joined #ocaml

16:14 fererrorocher has joined #ocaml

16:43 jusensei2 has quit [Ping timeout: 255 seconds]

16:44 jusensei2 has joined #ocaml

16:44 <Anarchos> Is (lang dune 3.6) in coq/dune-project the same that the version of dune to be used for building this version of coq ?

16:48 <discocaml> <hockletock> dune is supposed to be backwards compatible with itself, so any version of dune past 3.6 should support 3.6

16:51 raskol has joined #ocaml

16:51 <Anarchos> hockletock when i tried i got this error : https://bpa.st/7T3A

17:01 <discocaml> <hockletock> the deprecation seems unrelated to the failure

17:25 <discocaml> <myrlhex> Yeah... I had to change one part of JSOO to get it to work. Also, seems like it ~miscompiles sometimes also. Went back to terser for now sadly :/

17:29 <discocaml> <myrlhex> Surprisingly(but not really) JS promises are really ergonomic with OCaml and `let*` lol

17:29 raskol has quit [Quit: leaving]

18:49 bartholin has joined #ocaml

18:55 waleee has joined #ocaml

18:59 gentauro has quit [Read error: Connection reset by peer]

19:05 gentauro has joined #ocaml

19:28 jabuxas has quit [Ping timeout: 260 seconds]

20:35 dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

20:48 dnh has joined #ocaml

20:48 Anarchos has quit [Ping timeout: 252 seconds]

21:17 trillion_exabyte has quit [Ping timeout: 240 seconds]

21:29 trillion_exabyte has joined #ocaml

21:30 Anarchos has joined #ocaml

21:55 mizlan has joined #ocaml

22:00 mizlan has quit [Ping timeout: 260 seconds]

22:12 jabuxas has joined #ocaml

22:18 xd1le has joined #ocaml

22:45 mizlan has joined #ocaml

22:50 mizlan has quit [Ping timeout: 268 seconds]

23:14 Anarchos has quit [Quit: Vision[]: i've been blurred!]

23:23 bartholin has quit [Quit: Leaving]

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

23:41 waleee has quit [Quit: WeeChat 4.1.2]

23:42 waleee has joined #ocaml

23:51 sixfourtwelve has joined #ocaml

23:58 waleee has quit [Ping timeout: 260 seconds]