#ocaml on 2023-09-19 — 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:04 dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

02:07 chrisz has quit [Ping timeout: 252 seconds]

02:09 chrisz has joined #ocaml

02:34 azimut has quit [Ping timeout: 246 seconds]

03:14 waleee has quit [Ping timeout: 252 seconds]

03:16 chrisz has quit [Ping timeout: 260 seconds]

03:17 chrisz has joined #ocaml

03:30 bibi_ has quit [Quit: Konversation terminated!]

03:33 bartholin has joined #ocaml

04:00 Hammdist has quit [Quit: Client closed]

04:02 Hammdist has joined #ocaml

04:55 Hammdist has quit [Quit: Client closed]

05:11 Hammdist has joined #ocaml

05:41 peony has joined #ocaml

05:41 <peony> hello

05:43 <peony> the docs for the In_channel module say that input_lines and fold_lines were introduced in ocaml 5.1 ie like 4 days ago

05:44 <peony> and yet, here it is being used in a SO answer from 2016 https://stackoverflow.com/a/40773867/4125819

05:45 <peony> as a noob to ocaml, this is confusing

05:46 <discocaml> <sim642> The answer uses the core library

05:51 myrkraverk has joined #ocaml

05:52 <peony> I see. so it was adopted into the stdlib partially, and just recently the rest of it landed?

05:53 <peony> does it still exist in core?

05:57 rgrinberg has joined #ocaml

06:20 myrkraverk has quit [Ping timeout: 245 seconds]

06:28 myrkraverk has joined #ocaml

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

06:37 rgrinberg has joined #ocaml

06:49 Serpent7776 has joined #ocaml

06:58 ursa-major has joined #ocaml

07:04 rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

07:07 wingsorc has quit [Ping timeout: 245 seconds]

07:15 bartholin has quit [Quit: Leaving]

07:17 rgrinberg has joined #ocaml

07:19 rgrinberg has quit [Client Quit]

07:30 conjunctive has quit [Server closed connection]

07:30 conjunctive has joined #ocaml

07:36 cbarrett has quit [Server closed connection]

07:36 cbarrett has joined #ocaml

07:38 dnh has joined #ocaml

07:56 yziquel has joined #ocaml

08:01 uncomfy has joined #ocaml

08:31 yziquel has quit [Ping timeout: 245 seconds]

08:48 Duns_Scrotus___ has quit [Server closed connection]

08:48 Duns_Scrotus___ has joined #ocaml

08:59 yziquel has joined #ocaml

09:36 uncomfy has quit [Remote host closed the connection]

09:38 bibi_ has joined #ocaml

10:09 bibi_ has quit [Ping timeout: 240 seconds]

10:18 yziquel has quit [Ping timeout: 245 seconds]

11:09 <discocaml> <leviroth> Yes, it’s still in core

11:10 bibi_ has joined #ocaml

11:11 <discocaml> <leviroth> Core is generally meant to replace the standard library where it’s used, so functions aren’t going to be removed just because they’re in the standard library now.

11:30 azimut has joined #ocaml

11:59 uncomfy has joined #ocaml

12:01 yziquel has joined #ocaml

12:46 rwmjones has quit [Ping timeout: 246 seconds]

12:47 rwmjones has joined #ocaml

13:18 yziquel has quit [Quit: Ping timeout (120 seconds)]

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

14:02 rgrinberg has joined #ocaml

14:07 bibi_ has joined #ocaml

14:17 rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

14:19 tizoc has quit [Quit: Coyote finally caught me]

14:19 tizoc has joined #ocaml

14:19 tizoc has quit [Client Quit]

14:19 tizoc has joined #ocaml

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

15:43 aljazmc has joined #ocaml

16:21 Hammdist has quit [Quit: Client closed]

16:28 bartholin has joined #ocaml

17:18 rgrinberg has joined #ocaml

17:20 bibi_ has quit [Ping timeout: 264 seconds]

17:21 yziquel has joined #ocaml

17:27 waleee has joined #ocaml

18:03 bibi_ has joined #ocaml

18:41 xmachina has quit [Quit: WeeChat 4.0.4]

18:44 xmachina has joined #ocaml

18:56 bibi_ has quit [Quit: Konversation terminated!]

18:59 xmachina has quit [Quit: WeeChat 4.0.4]

19:06 bibi_ has joined #ocaml

19:09 TrillionEuroNote has quit [Ping timeout: 240 seconds]

19:24 wingsorc has joined #ocaml

19:32 bibi_ has quit [Ping timeout: 260 seconds]

19:35 xmachina has joined #ocaml

19:51 infinity0 has quit [Remote host closed the connection]

19:53 infinity0 has joined #ocaml

20:01 infinity0 has quit [Remote host closed the connection]

20:03 infinity0 has joined #ocaml

20:05 bartholin has quit [Quit: Leaving]

20:08 bibi_ has joined #ocaml

20:10 yziquel has quit [Quit: Client closed]

20:18 azimut has quit [Ping timeout: 246 seconds]

20:23 azimut has joined #ocaml

20:34 azimut has quit [Ping timeout: 246 seconds]

20:46 azimut has joined #ocaml

20:51 bibi_ has quit [Ping timeout: 260 seconds]

20:59 Tuplanolla has joined #ocaml

20:59 yziquel has joined #ocaml

21:00 yziquel has quit [Client Quit]

21:15 bibi_ has joined #ocaml

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

21:27 Serpent7776 has quit [Ping timeout: 260 seconds]

21:31 yziquel has joined #ocaml

22:01 kurfen has quit [Ping timeout: 258 seconds]

22:04 kurfen has joined #ocaml

22:30 yziquel has quit [Ping timeout: 245 seconds]

22:34 aljazmc has quit [Quit: Leaving]

22:46 Tuplanolla has quit [Ping timeout: 244 seconds]

22:54 yziquel has joined #ocaml

22:58 yziquel has quit [Ping timeout: 245 seconds]

23:28 <discocaml> <elliottcable> hm. Anybody know if there's a way to build something like a "matcher" in Alcotest? might be untenable at the type-system level …

23:28 TrillionEuroNote has joined #ocaml

23:29 <discocaml> <elliottcable> i.e. if I want to check that an `option opaque_type` is `Some _` with a matcher, when there's no `testable` construction for `opaque_type`

23:36 <discocaml> <darrenldl> doesnt read like something that would type check

23:37 <discocaml> <darrenldl> where is this `opaque_type` from?

23:57 azimut has quit [Ping timeout: 246 seconds]