#ocaml on 2025-01-04 — irc logs at libera.irclog.whitequark.org

2024-05-29 14:49 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.2.0 released: https://ocaml.org/releases/5.2.0 | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:01 rgrinberg has joined #ocaml

00:05 accordve1om has joined #ocaml

00:09 accordve1om has quit [Read error: Connection reset by peer]

00:15 accordve1om has joined #ocaml

00:19 accordve1om has quit [Read error: Connection reset by peer]

00:24 accordve1om has joined #ocaml

00:27 rgrinberg has quit [Ping timeout: 252 seconds]

00:29 accordve1om has quit [Read error: Connection reset by peer]

00:29 rgrinberg has joined #ocaml

00:35 accordve1om has joined #ocaml

00:39 accordve1om has quit [Read error: Connection reset by peer]

00:45 accordvenom has joined #ocaml

00:59 accordvenom has quit [Read error: Connection reset by peer]

00:59 accordvenom has joined #ocaml

01:09 accordvenom has quit [Read error: Connection reset by peer]

01:09 tenai has joined #ocaml

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

01:15 accordve1om has joined #ocaml

01:15 <tenai> Hi all, I have a bit of a conundrum, I have a function called "eval_bool_expr" which returns a bool, but if I try to apply the contents of a list to it, I get a list of "<fun>"

01:16 <tenai> https://hst.sh/qiberesegi.rust here's a link to the function that tries to apply it, and the function it self (don't mind the .rust extension)

01:16 <tenai> and sorry if this isn't the right place to ask

01:19 accordve1om has quit [Read error: Connection reset by peer]

01:25 accordvenom has joined #ocaml

01:31 <discocaml_> <anmonteiro> @rezwanarefin01 @functionalprogramming I just emailed the maintainer to offer my help. hopefully I'll get a reply. I'd tried before via discord but wasn't so successful.

01:34 <discocaml_> <._null._> tenai: Look at the types of the elements in your list. It should be `bool_expr -> bool`

01:35 Tuplanolla has quit [Quit: Leaving.]

01:39 accordvenom has quit [Read error: Connection reset by peer]

01:39 <tenai> discocaml_: yeah I noticed that, is there a way to force it to evaluate to bool?

01:40 <discocaml_> <._null._> You're simply missing an argument in your function call

01:41 <tenai> oh my lord

01:41 <tenai> thank you

01:42 <tenai> that was the issue lol

01:44 accordvenom has joined #ocaml

01:49 accordvenom has quit [Read error: Connection reset by peer]

01:55 accordve1om has joined #ocaml

01:58 <discocaml_> <yawaramin> it's a good candidate for moving to ocaml-community

01:59 <discocaml_> <anmonteiro> I disagree. I don't think it's used community-wide

01:59 accordve1om has quit [Read error: Connection reset by peer]

02:04 <discocaml_> <yawaramin> that's not the criterion. it's 'a place to host open source OCaml packages that benefit from collective maintenance.' ( https://github.com/ocaml-community/meta )

02:04 accordvenom has joined #ocaml

02:09 accordvenom has quit [Read error: Connection reset by peer]

02:15 accordve1om has joined #ocaml

02:19 accordve1om has quit [Read error: Connection reset by peer]

02:25 accordve1om has joined #ocaml

02:29 accordve1om has quit [Read error: Connection reset by peer]

02:34 accordvenom has joined #ocaml

02:39 accordvenom has quit [Read error: Connection reset by peer]

02:45 accordve1om has joined #ocaml

02:46 chrisz has quit [Ping timeout: 264 seconds]

02:48 chrisz has joined #ocaml

02:49 accordve1om has quit [Read error: Connection reset by peer]

02:54 accordvenom has joined #ocaml

02:57 ygrek has joined #ocaml

02:59 accordvenom has quit [Read error: Connection reset by peer]

03:04 accordvenom has joined #ocaml

03:09 accordvenom has quit [Read error: Connection reset by peer]

03:15 accordvenom has joined #ocaml

03:19 accordvenom has quit [Read error: Connection reset by peer]

03:19 remexre has quit [Ping timeout: 276 seconds]

03:22 ygrek has quit [Remote host closed the connection]

03:24 <discocaml_> <anmonteiro> still disagree, personally. I could maintain it individually without the burden on the "collective"

03:24 accordvenom has joined #ocaml

03:25 YuGiOhJCJ has joined #ocaml

03:29 accordvenom has quit [Read error: Connection reset by peer]

03:35 accordvenom has joined #ocaml

03:44 <discocaml_> <yawaramin> i think there has been a misunderstanding. ocaml-community doesn't work that way. 'the collective' isn't force to maintain all the projects in the org. each maintainer can choose which project(s) they want to maintain. they just want to establish a common namespace that's easy to find. at least this is my understanding. but of course, i am not suggesting that you should do it, i'm just saying it would be a good place for it

03:45 <discocaml_> <yawaramin> i think there has been a misunderstanding. ocaml-community doesn't work that way. 'the collective' isn't forced to maintain all the projects in the org. each maintainer can choose which project(s) they want to maintain. they just want to establish a common namespace that's easy to find. at least this is my understanding. but of course, i am not suggesting that you should do it, i'm just saying it would be a good place for it

03:49 accordvenom has quit [Read error: Connection reset by peer]

03:55 accordve1om has joined #ocaml

04:09 accordve1om has quit [Read error: Connection reset by peer]

04:14 accordvenom has joined #ocaml

04:19 accordvenom has quit [Read error: Connection reset by peer]

04:25 accordvenom has joined #ocaml

04:29 accordvenom has quit [Read error: Connection reset by peer]

04:30 accordvenom has joined #ocaml

04:39 accordvenom has quit [Read error: Connection reset by peer]

04:45 accordvenom has joined #ocaml

04:59 accordvenom has quit [Read error: Connection reset by peer]

05:04 accordvenom has joined #ocaml

05:09 accordvenom has quit [Read error: Connection reset by peer]

05:15 accordvenom has joined #ocaml

05:19 accordvenom has quit [Read error: Connection reset by peer]

05:20 accordvenom has joined #ocaml

05:29 accordvenom has quit [Read error: Connection reset by peer]

05:34 accordvenom has joined #ocaml

05:39 accordvenom has quit [Read error: Connection reset by peer]

05:45 accordvenom has joined #ocaml

05:49 accordvenom has quit [Read error: Connection reset by peer]

05:55 accordve1om has joined #ocaml

05:59 accordve1om has quit [Read error: Connection reset by peer]

06:00 accordvenom has joined #ocaml

06:29 accordvenom has quit [Read error: Connection reset by peer]

06:35 068AAZCWX has joined #ocaml

06:40 euphores has quit [Quit: Leaving.]

06:49 068AAZCWX has quit [Read error: Connection reset by peer]

06:53 euphores has joined #ocaml

06:54 accordve1om has joined #ocaml

06:59 accordve1om has quit [Read error: Connection reset by peer]

07:04 euphores has quit [Quit: Leaving.]

07:05 euphores has joined #ocaml

07:05 accordve1om has joined #ocaml

07:09 accordve1om has quit [Read error: Connection reset by peer]

07:15 accordve1om has joined #ocaml

07:19 accordve1om has quit [Read error: Connection reset by peer]

07:24 accordvenom has joined #ocaml

07:26 tenai has quit [Quit: WeeChat 4.4.2]

07:29 accordvenom has quit [Read error: Connection reset by peer]

07:32 bartholin has joined #ocaml

07:35 accordve1om has joined #ocaml

07:39 accordve1om has quit [Read error: Connection reset by peer]

07:44 accordvenom has joined #ocaml

07:49 accordvenom has quit [Read error: Connection reset by peer]

07:55 accordvenom has joined #ocaml

07:59 accordvenom has quit [Read error: Connection reset by peer]

08:01 euphores has quit [Quit: Leaving.]

08:02 euphores has joined #ocaml

08:05 accordve1om has joined #ocaml

08:17 YuGiOhJCJ has quit [Quit: YuGiOhJCJ]

08:19 accordve1om has quit [Read error: Connection reset by peer]

08:20 euphores has quit [Quit: Leaving.]

08:24 accordve1om has joined #ocaml

08:25 euphores has joined #ocaml

08:29 bibi_ has quit [Quit: Konversation terminated!]

08:29 accordve1om has quit [Read error: Connection reset by peer]

08:30 bartholin has quit [Quit: Leaving]

08:35 accordve1om has joined #ocaml

08:39 accordve1om has quit [Read error: Connection reset by peer]

08:45 accordvenom has joined #ocaml

08:49 accordvenom has quit [Read error: Connection reset by peer]

08:50 accordvenom has joined #ocaml

08:59 accordvenom has quit [Read error: Connection reset by peer]

09:01 euphores has quit [Quit: Leaving.]

09:03 euphores has joined #ocaml

09:04 accordvenom has joined #ocaml

09:09 accordvenom has quit [Read error: Connection reset by peer]

09:10 euphores has quit [Quit: Leaving.]

09:11 euphores has joined #ocaml

09:15 accordvenom has joined #ocaml

09:19 accordvenom has quit [Read error: Connection reset by peer]

09:20 accordvenom has joined #ocaml

09:29 accordvenom has quit [Read error: Connection reset by peer]

09:29 Serpent7776 has joined #ocaml

09:34 accordvenom has joined #ocaml

09:39 accordvenom has quit [Read error: Connection reset by peer]

09:45 accordvenom has joined #ocaml

09:49 accordvenom has quit [Read error: Connection reset by peer]

09:55 accordve1om has joined #ocaml

09:57 sroso has joined #ocaml

09:59 accordve1om has quit [Read error: Connection reset by peer]

10:00 accordvenom has joined #ocaml

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

10:19 accordvenom has quit [Read error: Connection reset by peer]

10:24 accordvenom has joined #ocaml

10:29 accordvenom has quit [Read error: Connection reset by peer]

10:35 accordvenom has joined #ocaml

10:36 Tuplanolla has joined #ocaml

10:39 accordvenom has quit [Read error: Connection reset by peer]

10:44 accordve1om has joined #ocaml

10:55 rgrinberg has joined #ocaml

10:55 remexre has joined #ocaml

10:59 accordve1om has quit [Read error: Connection reset by peer]

10:59 accordvenom has joined #ocaml

11:03 remexre has quit [Ping timeout: 265 seconds]

11:09 accordvenom has quit [Read error: Connection reset by peer]

11:15 accordve1om has joined #ocaml

11:19 accordve1om has quit [Read error: Connection reset by peer]

11:25 accordvenom has joined #ocaml

11:27 rgrinberg has quit [Quit: My Unrecognized Mac has gone to sleep. ZZZzzz…]

11:35 Everything has joined #ocaml

11:37 rgrinberg has joined #ocaml

11:38 rgrinberg has quit [Client Quit]

11:49 accordvenom has quit [Read error: Connection reset by peer]

11:52 euphores has quit [Ping timeout: 276 seconds]

11:54 accordve1om has joined #ocaml

11:59 euphores has joined #ocaml

11:59 accordve1om has quit [Read error: Connection reset by peer]

12:04 sroso has quit [Quit: Leaving :)]

12:04 accordvenom has joined #ocaml

12:09 accordvenom has quit [Read error: Connection reset by peer]

12:11 Serpent7776 has joined #ocaml

12:15 accordve1om has joined #ocaml

12:18 Haudegen has joined #ocaml

12:19 accordve1om has quit [Read error: Connection reset by peer]

12:20 accordvenom has joined #ocaml

12:29 accordvenom has quit [Read error: Connection reset by peer]

12:29 accordvenom has joined #ocaml

12:39 accordvenom has quit [Read error: Connection reset by peer]

12:45 accordvenom has joined #ocaml

12:59 accordvenom has quit [Read error: Connection reset by peer]

13:05 accordvenom has joined #ocaml

13:09 accordvenom has quit [Read error: Connection reset by peer]

13:14 accordvenom has joined #ocaml

13:19 accordvenom has quit [Read error: Connection reset by peer]

13:25 accordvenom has joined #ocaml

13:39 accordvenom has quit [Read error: Connection reset by peer]

13:44 accordvenom has joined #ocaml

13:49 accordvenom has quit [Read error: Connection reset by peer]

13:51 pi3ce has quit [Ping timeout: 252 seconds]

13:53 pi3ce has joined #ocaml

13:55 accordvenom has joined #ocaml

13:59 accordvenom has quit [Read error: Connection reset by peer]

14:05 accordve1om has joined #ocaml

14:21 euphores has quit [Quit: Leaving.]

14:22 euphores has joined #ocaml

14:29 accordve1om has quit [Read error: Connection reset by peer]

14:35 accordve1om has joined #ocaml

14:39 accordve1om has quit [Read error: Connection reset by peer]

14:44 accordvenom has joined #ocaml

14:49 accordvenom has quit [Read error: Connection reset by peer]

14:55 accordve1om has joined #ocaml

14:59 accordve1om has quit [Read error: Connection reset by peer]

15:04 accordve1om has joined #ocaml

15:19 accordve1om has quit [Read error: Connection reset by peer]

15:24 accordvenom has joined #ocaml

15:29 accordvenom has quit [Read error: Connection reset by peer]

15:35 accordve1om has joined #ocaml

15:39 accordve1om has quit [Read error: Connection reset by peer]

15:44 accordve1om has joined #ocaml

15:49 chrisz has quit [Ping timeout: 248 seconds]

15:50 chrisz has joined #ocaml

15:59 accordve1om has quit [Read error: Connection reset by peer]

15:59 accordvenom has joined #ocaml

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

16:09 accordvenom has quit [Read error: Connection reset by peer]

16:10 chrisz has joined #ocaml

16:15 accordve1om has joined #ocaml

16:29 accordve1om has quit [Read error: Connection reset by peer]

16:34 Everything has quit [Quit: leaving]

16:34 accordvenom has joined #ocaml

16:39 accordvenom has quit [Read error: Connection reset by peer]

16:45 accordvenom has joined #ocaml

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

16:49 accordvenom has quit [Read error: Connection reset by peer]

16:49 chrisz has quit [Ping timeout: 252 seconds]

16:54 accordve1om has joined #ocaml

16:56 chrisz has joined #ocaml

16:59 accordve1om has quit [Read error: Connection reset by peer]

16:59 accordvenom has joined #ocaml

17:10 rgrinberg has joined #ocaml

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

17:19 accordvenom has joined #ocaml

17:29 accordvenom has quit [Read error: Connection reset by peer]

17:35 accordvenom has joined #ocaml

17:37 bibi_ has joined #ocaml

17:39 accordvenom has quit [Read error: Connection reset by peer]

17:42 chiselfuse has quit [Remote host closed the connection]

17:44 accordve1om has joined #ocaml

17:47 chiselfuse has joined #ocaml

17:49 accordve1om has quit [Read error: Connection reset by peer]

17:49 accordvenom has joined #ocaml

17:59 accordvenom has quit [Read error: Connection reset by peer]

18:04 pie_ has quit []

18:04 accordvenom has joined #ocaml

18:09 pie_ has joined #ocaml

18:09 accordvenom has quit [Read error: Connection reset by peer]

18:15 accordvenom has joined #ocaml

18:29 accordvenom has quit [Read error: Connection reset by peer]

18:30 turbofish has joined #ocaml

18:34 accordvenom has joined #ocaml

18:39 accordvenom has quit [Read error: Connection reset by peer]

18:42 Anarchos has joined #ocaml

18:45 accordvenom has joined #ocaml

18:45 ygrek has joined #ocaml

18:49 accordvenom has quit [Read error: Connection reset by peer]

18:54 accordve1om has joined #ocaml

19:07 turbofish has quit [Quit: turbofish]

19:09 accordve1om has quit [Read error: Connection reset by peer]

19:14 accordvenom has joined #ocaml

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

19:25 accordve1om has joined #ocaml

19:25 rgrinberg has quit [Ping timeout: 244 seconds]

19:29 accordve1om has quit [Read error: Connection reset by peer]

19:29 rgrinberg has joined #ocaml

19:34 accordvenom has joined #ocaml

19:39 accordvenom has quit [Read error: Connection reset by peer]

19:45 accordve1om has joined #ocaml

19:46 remexre has joined #ocaml

19:49 accordve1om has quit [Read error: Connection reset by peer]

19:51 bartholin has joined #ocaml

19:52 remexre has quit [Ping timeout: 276 seconds]

19:55 accordvenom has joined #ocaml

19:55 rgrinberg has quit [Quit: My Unrecognized Mac has gone to sleep. ZZZzzz…]

19:59 accordvenom has quit [Read error: Connection reset by peer]

20:00 accordvenom has joined #ocaml

20:05 welterde1 is now known as welterde

20:06 welterde has quit [Quit: WeeChat 3.8]

20:06 welterde has joined #ocaml

20:17 germ has quit [Read error: Connection reset by peer]

20:19 accordvenom has quit [Read error: Connection reset by peer]

20:20 turbofish has joined #ocaml

20:24 accordve1om has joined #ocaml

20:30 Everything has joined #ocaml

20:32 germ has joined #ocaml

20:33 turbofish_ has joined #ocaml

20:33 turbofish has quit [Killed (erbium.libera.chat (Nickname regained by services))]

20:33 turbofish_ is now known as turbofish

20:39 accordve1om has quit [Read error: Connection reset by peer]

20:43 turbofish has quit [Ping timeout: 260 seconds]

20:44 accordvenom has joined #ocaml

20:49 accordvenom has quit [Read error: Connection reset by peer]

20:51 eilvelia has quit [Quit: eilvelia]

20:55 accordve1om has joined #ocaml

20:59 casastortaAway has quit [Quit: ZNC 1.9.1 - https://znc.in]

20:59 accordve1om has quit [Read error: Connection reset by peer]

21:01 casastorta has joined #ocaml

21:04 bartholin has quit [Quit: Leaving]

21:04 bartholin has joined #ocaml

21:04 accordvenom has joined #ocaml

21:06 turbofish has joined #ocaml

21:09 accordvenom has quit [Read error: Connection reset by peer]

21:13 agentcasey has quit [Quit: ZNC 1.10.x-git-27-bfd731cf - https://znc.in]

21:13 agentcasey has joined #ocaml

21:15 accordve1om has joined #ocaml

21:19 accordve1om has quit [Read error: Connection reset by peer]

21:19 rgrinberg has joined #ocaml

21:25 accordvenom has joined #ocaml

21:29 accordvenom has quit [Read error: Connection reset by peer]

21:30 accordvenom has joined #ocaml

21:39 accordvenom has quit [Read error: Connection reset by peer]

21:44 accordvenom has joined #ocaml

21:49 accordvenom has quit [Read error: Connection reset by peer]

22:00 accordve1om has joined #ocaml

22:09 accordve1om has quit [Read error: Connection reset by peer]

22:09 bartholin has quit [Quit: Leaving]

22:15 accordvenom has joined #ocaml

22:26 rgrinberg has quit [Quit: My Unrecognized Mac has gone to sleep. ZZZzzz…]

22:29 accordvenom has quit [Read error: Connection reset by peer]

22:29 accordvenom has joined #ocaml

22:39 accordvenom has quit [Read error: Connection reset by peer]

22:45 accordve1om has joined #ocaml

22:49 accordve1om has quit [Read error: Connection reset by peer]

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

22:55 accordvenom has joined #ocaml

22:57 rgrinberg has joined #ocaml

23:09 accordvenom has quit [Read error: Connection reset by peer]

23:11 Everything has quit [Quit: leaving]

23:14 accordvenom has joined #ocaml

23:19 accordvenom has quit [Read error: Connection reset by peer]

23:25 accordvenom has joined #ocaml

23:29 accordvenom has quit [Read error: Connection reset by peer]

23:34 accordvenom has joined #ocaml

23:39 accordvenom has quit [Read error: Connection reset by peer]

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

23:45 accordve1om has joined #ocaml

23:49 accordve1om has quit [Read error: Connection reset by peer]

23:53 YuGiOhJCJ has joined #ocaml

23:55 accordvenom has joined #ocaml

23:59 accordvenom has quit [Read error: Connection reset by peer]