#ocaml on 2023-07-22 — irc logs at libera.irclog.whitequark.org

2023-02-19 03:13 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.0 released(!!1!): https://ocaml.org/releases/5.0.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:12 mechap has quit [Quit: WeeChat 4.0.2]

00:24 szkl has quit [Quit: Connection closed for inactivity]

00:41 azimut has quit [Ping timeout: 240 seconds]

00:54 waleee has quit [Ping timeout: 264 seconds]

01:52 MarvelousWololo has joined #ocaml

02:18 chrisz has quit [Ping timeout: 244 seconds]

02:19 chrisz has joined #ocaml

02:26 MarvelousWololo has quit [Read error: Connection reset by peer]

02:31 MarvelousWololo has joined #ocaml

02:35 spip has quit [Quit: Konversation terminated!]

02:37 MarvelousWololo_ has joined #ocaml

02:40 MarvelousWololo has quit [Ping timeout: 264 seconds]

02:57 MarvelousWololo_ has quit [Read error: Connection reset by peer]

03:10 MarvelousWololo has joined #ocaml

03:18 MarvelousWololo has quit [Quit: MarvelousWololo]

05:32 ralu1 has quit [Remote host closed the connection]

05:33 ralu1 has joined #ocaml

05:34 ralu1 has quit [Remote host closed the connection]

05:34 ralu1 has joined #ocaml

05:36 ralu1 has quit [Remote host closed the connection]

05:36 ralu1 has joined #ocaml

05:38 ralu1 has quit [Remote host closed the connection]

05:38 ralu1 has joined #ocaml

05:40 ralu1 has quit [Remote host closed the connection]

05:40 ralu1 has joined #ocaml

05:41 neuroevolutus has joined #ocaml

05:41 ralu1 has quit [Remote host closed the connection]

05:42 ralu1 has joined #ocaml

05:43 ralu1 has quit [Remote host closed the connection]

05:44 ralu1 has joined #ocaml

05:45 aljazmc has joined #ocaml

05:45 ralu1 has quit [Remote host closed the connection]

05:45 ralu1 has joined #ocaml

05:47 ralu1 has quit [Remote host closed the connection]

05:47 ralu1 has joined #ocaml

05:48 ralu1 has quit [Remote host closed the connection]

05:49 ralu1 has joined #ocaml

05:50 ralu1 has quit [Remote host closed the connection]

05:51 ralu1 has joined #ocaml

05:52 ralu1 has quit [Remote host closed the connection]

05:53 ralu1 has joined #ocaml

05:54 ralu1 has quit [Remote host closed the connection]

05:54 ralu1 has joined #ocaml

05:56 ralu1 has quit [Remote host closed the connection]

05:56 ralu1 has joined #ocaml

05:58 ralu1 has quit [Remote host closed the connection]

05:58 ralu1 has joined #ocaml

06:00 ralu1 has quit [Remote host closed the connection]

06:00 ralu1 has joined #ocaml

06:01 ralu1 has quit [Remote host closed the connection]

06:02 ralu1 has joined #ocaml

06:03 ralu1 has quit [Remote host closed the connection]

06:04 ralu1 has joined #ocaml

06:05 ralu1 has quit [Remote host closed the connection]

06:05 ralu1 has joined #ocaml

06:07 ralu1 has quit [Remote host closed the connection]

06:07 ralu1 has joined #ocaml

06:08 ralu1 has quit [Remote host closed the connection]

06:09 ralu1 has joined #ocaml

06:10 ralu1 has quit [Remote host closed the connection]

06:11 ralu1 has joined #ocaml

06:12 ralu1 has quit [Remote host closed the connection]

06:12 ralu1 has joined #ocaml

06:14 ralu1 has quit [Remote host closed the connection]

06:14 ralu1 has joined #ocaml

06:16 ralu1 has quit [Remote host closed the connection]

06:16 ralu1 has joined #ocaml

06:18 ralu1 has quit [Remote host closed the connection]

06:18 ralu1 has joined #ocaml

06:19 ralu1 has quit [Remote host closed the connection]

06:20 ralu1 has joined #ocaml

06:20 bartholin has joined #ocaml

06:21 ralu1 has quit [Remote host closed the connection]

06:21 ralu1 has joined #ocaml

06:23 ralu1 has quit [Remote host closed the connection]

06:23 ralu1 has joined #ocaml

06:24 ralu1 has quit [Read error: Connection reset by peer]

06:25 ralu1 has joined #ocaml

06:26 ralu1 has quit [Remote host closed the connection]

06:26 ralu1 has joined #ocaml

06:28 ralu1 has quit [Remote host closed the connection]

06:28 ralu1 has joined #ocaml

06:29 ralu1 has quit [Remote host closed the connection]

06:30 ralu1 has joined #ocaml

06:31 ralu1 has quit [Remote host closed the connection]

06:31 ralu1 has joined #ocaml

06:33 ralu1 has quit [Remote host closed the connection]

06:33 ralu1 has joined #ocaml

06:34 ralu1 has quit [Remote host closed the connection]

06:35 ralu1 has joined #ocaml

06:36 ralu1 has quit [Remote host closed the connection]

06:37 ralu1 has joined #ocaml

06:38 ralu1 has quit [Remote host closed the connection]

06:38 ralu1 has joined #ocaml

06:39 ralu1 has quit [Remote host closed the connection]

06:40 ralu1 has joined #ocaml

06:41 ralu1 has quit [Remote host closed the connection]

06:42 ralu1 has joined #ocaml

06:43 ralu1 has quit [Remote host closed the connection]

06:43 ralu1 has joined #ocaml

06:45 ralu1 has quit [Remote host closed the connection]

06:45 ralu1 has joined #ocaml

06:46 ralu1 has quit [Remote host closed the connection]

06:47 ralu1 has joined #ocaml

06:48 ralu1 has quit [Remote host closed the connection]

06:48 ralu1 has joined #ocaml

06:50 ralu1 has quit [Remote host closed the connection]

06:50 ralu1 has joined #ocaml

06:51 ralu1 has quit [Remote host closed the connection]

06:52 ralu1 has joined #ocaml

06:53 ralu1 has quit [Remote host closed the connection]

06:53 ralu1 has joined #ocaml

06:55 ralu1 has quit [Remote host closed the connection]

06:55 ralu1 has joined #ocaml

06:56 ralu1 has quit [Remote host closed the connection]

06:57 ralu1 has joined #ocaml

06:58 ralu1 has quit [Remote host closed the connection]

06:58 ralu1 has joined #ocaml

07:00 ralu1 has quit [Remote host closed the connection]

07:00 ralu1 has joined #ocaml

07:01 ralu1 has quit [Remote host closed the connection]

07:02 ralu1 has joined #ocaml

07:03 ralu1 has quit [Remote host closed the connection]

07:03 ralu1 has joined #ocaml

07:05 ralu1 has quit [Remote host closed the connection]

07:05 ralu1 has joined #ocaml

07:05 energizer_ is now known as energizer

07:07 ralu1 has quit [Remote host closed the connection]

07:07 ralu1 has joined #ocaml

07:08 ralu1 has quit [Remote host closed the connection]

07:09 ralu1 has joined #ocaml

07:09 Serpent7776 has joined #ocaml

07:10 ralu1 has quit [Remote host closed the connection]

07:10 ralu1 has joined #ocaml

07:12 ralu1 has quit [Remote host closed the connection]

07:12 ralu1 has joined #ocaml

07:13 ralu1 has quit [Remote host closed the connection]

07:14 ralu1 has joined #ocaml

07:15 ralu1 has quit [Remote host closed the connection]

07:16 ralu1 has joined #ocaml

07:17 ralu1 has quit [Remote host closed the connection]

07:17 ralu1 has joined #ocaml

07:19 ralu1 has quit [Remote host closed the connection]

07:19 ralu1 has joined #ocaml

07:20 ralu1 has quit [Remote host closed the connection]

07:21 ralu1 has joined #ocaml

07:22 ralu1 has quit [Remote host closed the connection]

07:23 ralu1 has joined #ocaml

07:24 ralu1 has quit [Remote host closed the connection]

07:24 ralu1 has joined #ocaml

07:26 ralu1 has quit [Remote host closed the connection]

07:26 ralu1 has joined #ocaml

07:27 ralu1 has quit [Remote host closed the connection]

07:28 ralu1 has joined #ocaml

07:29 ralu1 has quit [Remote host closed the connection]

07:29 ralu1 has joined #ocaml

07:31 ralu1 has quit [Remote host closed the connection]

07:31 ralu1 has joined #ocaml

07:33 ralu1 has quit [Remote host closed the connection]

07:33 ralu1 has joined #ocaml

07:34 ralu1 has quit [Remote host closed the connection]

07:35 ralu1 has joined #ocaml

07:36 ralu1 has quit [Remote host closed the connection]

07:36 ralu1 has joined #ocaml

07:37 neuroevolutus has quit [Quit: Client closed]

07:38 ralu1 has quit [Remote host closed the connection]

07:58 Serpent7776 has quit [Ping timeout: 244 seconds]

08:47 Tuplanolla has joined #ocaml

09:35 azimut has joined #ocaml

09:43 amk has quit [Ping timeout: 252 seconds]

09:48 spip has joined #ocaml

10:00 Serpent7776 has joined #ocaml

10:02 azimut has quit [Remote host closed the connection]

10:02 azimut has joined #ocaml

10:08 <discocaml> <gantsev.denis> I believe there is a way to define the "{}" access for arrays, but i don't remember the exact syntax?

10:08 <discocaml> <gantsev.denis> I checked stdlib, but couldn't find it neither

10:11 amk has joined #ocaml

10:44 gareppa has joined #ocaml

10:51 <discocaml> <Kali> yes, https://v2.ocaml.org/manual/indexops.html

10:51 <discocaml> <gantsev.denis> Ah yes thank you

10:52 micro has quit [Remote host closed the connection]

11:06 micro has joined #ocaml

11:31 infinity0 has quit [Remote host closed the connection]

11:33 infinity0 has joined #ocaml

11:51 aljazmc_ has joined #ocaml

11:54 aljazmc_ has quit [Remote host closed the connection]

11:59 aljazmc_ has joined #ocaml

12:02 MarvelousWololo has joined #ocaml

12:05 aljazmc_ has quit [Quit: Leaving]

12:05 aljazmc has quit [Quit: Leaving]

12:13 aljazmc has joined #ocaml

12:15 TrillionEuroNote has quit [Ping timeout: 252 seconds]

12:16 TrillionEuroNote has joined #ocaml

12:22 aljazmc has quit [Quit: Leaving]

12:33 szkl has joined #ocaml

12:41 aljazmc has joined #ocaml

12:42 aljazmc has quit [Remote host closed the connection]

12:45 aljazmc has joined #ocaml

12:47 aljazmc has quit [Client Quit]

12:50 aljazmc has joined #ocaml

13:44 <discocaml> <xavierm02_> Is there a standard way of showing ppx_expect tests in the documentation?

13:55 aljazmc_ has joined #ocaml

14:00 aljazmc has quit [Quit: Leaving]

14:00 aljazmc_ has quit [Remote host closed the connection]

14:00 aljazmc has joined #ocaml

14:06 aljazmc has quit [Quit: Leaving]

14:06 aljazmc has joined #ocaml

14:07 waleee has joined #ocaml

14:10 aljazmc has quit [Remote host closed the connection]

14:11 aljazmc has joined #ocaml

14:13 aljazmc has quit [Remote host closed the connection]

14:13 aljazmc has joined #ocaml

14:14 aljazmc has quit [Remote host closed the connection]

14:15 aljazmc has joined #ocaml

14:17 aljazmc has quit [Remote host closed the connection]

14:17 aljazmc has joined #ocaml

14:21 aljazmc has quit [Remote host closed the connection]

14:21 aljazmc has joined #ocaml

14:29 aljazmc has quit [Quit: Leaving]

14:31 aljazmc has joined #ocaml

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

14:42 aljazmc has joined #ocaml

14:45 Soni has quit [Remote host closed the connection]

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

14:47 Soni has joined #ocaml

15:06 <discocaml> <sim642> Maybe mdx?

15:16 uncomfy has joined #ocaml

15:16 perrierjouet has quit [Quit: WeeChat 4.0.2]

15:16 <discocaml> <xavierm02_> That should work. Thanks!

15:17 perrierjouet has joined #ocaml

15:17 perrierjouet has quit [Client Quit]

15:17 perrierjouet has joined #ocaml

15:22 perrierjouet has quit [Quit: WeeChat 4.0.2]

15:23 uncomfy has quit [Remote host closed the connection]

15:25 perrierjouet has joined #ocaml

15:45 waleee has quit [Ping timeout: 260 seconds]

15:49 aljazmc has joined #ocaml

15:52 aljazmc has quit [Remote host closed the connection]

15:52 aljazmc has joined #ocaml

16:00 aljazmc has quit [Remote host closed the connection]

16:01 aljazmc has joined #ocaml

16:03 aljazmc has quit [Client Quit]

16:05 aljazmc has joined #ocaml

16:25 aljazmc has quit [Quit: Leaving]

16:52 <discocaml> <chrde> what's the correct syntax to destructure a type in a let statement? e.g: ```

16:52 <discocaml> <chrde> type t = Point * Float * Float

16:52 <discocaml> <chrde>

16:52 <discocaml> <chrde> let do_something t =

16:52 <discocaml> <chrde> let (origin, width, height) = t in

16:52 <discocaml> <chrde> ...

16:52 <discocaml> <chrde> ```

16:56 <discocaml> <hockletock> you can use shorthand: let do_something (origin, width, height) =

16:58 <discocaml> <chrde> is it only supported when t is a function parameter?

17:00 <discocaml> <._null._> As opposed to what?

17:04 <discocaml> <Kali> no, you can do it in any let binding

17:04 <discocaml> <Kali> `let (a,b,c) = (1,2,3)`

17:09 <discocaml> <chrde> A library Foo defines

17:09 <discocaml> <chrde>

17:09 <discocaml> <chrde> ```

17:09 <discocaml> <chrde> type t = Point * float * float

17:09 <discocaml> <chrde> let create () = (* return a t *)

17:09 <discocaml> <chrde> ```

17:09 <discocaml> <chrde>

17:09 <discocaml> <chrde> and the caller does

17:09 <discocaml> <chrde> ```

17:09 <discocaml> <chrde> let do_something () =

17:09 <discocaml> <chrde> let origin, width, height = Foo.create() in

17:09 <discocaml> <chrde> ...

17:09 <discocaml> <chrde> ```

17:16 <discocaml> <Kali> parenthesis are not necessary for tuples

17:16 <discocaml> <Kali> parentheses*

17:16 <discocaml> <Kali> this is why lists use ; and not ,

17:22 <discocaml> <chrde> ah, the library defines `t` as private... 🤦‍♂️ I guess that's why

17:34 <discocaml> <._null._> That would indeed explain why you can't

17:46 wingsorc has joined #ocaml

17:54 <discocaml> <froyo> you can destruct with private

17:55 <discocaml> <froyo> do you mean abstract?

17:55 <discocaml> <._null._> Oh right, sorry

19:01 szkl has quit [Quit: Connection closed for inactivity]

19:26 waleee has joined #ocaml

19:33 bartholin has quit [Ping timeout: 260 seconds]

19:33 bartholin has joined #ocaml

20:48 szkl has joined #ocaml

21:07 bartholin has quit [Quit: Leaving]

21:23 Serpent7776 has quit [Ping timeout: 244 seconds]

22:46 gareppa has quit [Quit: WeeChat 3.8]

23:03 anpad has quit [Ping timeout: 246 seconds]

23:08 anpad has joined #ocaml

23:22 anpad has quit [Ping timeout: 260 seconds]

23:22 pandeyan has joined #ocaml

23:32 Tuplanolla has quit [Ping timeout: 260 seconds]

23:48 aljazmc has joined #ocaml

23:50 aljazmc has quit [Remote host closed the connection]

23:50 aljazmc has joined #ocaml

23:53 aljazmc has quit [Remote host closed the connection]

23:53 aljazmc has joined #ocaml

23:54 aljazmc has quit [Remote host closed the connection]

23:55 aljazmc has joined #ocaml

23:55 aljazmc has quit [Remote host closed the connection]

23:56 aljazmc has joined #ocaml