#ocaml on 2021-11-14 — irc logs at libera.irclog.whitequark.org

2021-09-27 14:53 Leonidas changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.13.0 released: https://ocaml.org/releases/4.13.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

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

00:23 spip has joined #ocaml

00:24 bobo has quit [Ping timeout: 260 seconds]

01:52 b0o has joined #ocaml

02:28 Haudegen has quit [Ping timeout: 256 seconds]

02:54 xd1le has joined #ocaml

02:55 waleee has quit [Quit: WeeChat 3.3]

03:37 xiongxin has joined #ocaml

03:46 sleeping_papaya has joined #ocaml

04:25 ralu has quit [Ping timeout: 256 seconds]

04:32 sleeping_papaya has quit [Ping timeout: 256 seconds]

04:46 ralu has joined #ocaml

04:52 motherfsck has quit [Quit: quit]

04:52 motherfsck has joined #ocaml

04:54 motherfsck has quit [Client Quit]

04:55 motherfsck has joined #ocaml

05:06 xiongxin has quit [Quit: xiongxin]

05:06 xiongxin has joined #ocaml

05:19 xiongxin has quit [Remote host closed the connection]

05:20 xiongxin has joined #ocaml

05:29 zebrag has quit [Quit: Konversation terminated!]

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

05:53 vicfred has joined #ocaml

06:06 xiongxin has quit [Ping timeout: 260 seconds]

06:07 xiongxin has joined #ocaml

06:52 <d_bot> <Jektrix> Does anyone have access to "Reconciling Abstraction with High Performance: A MetaOCaml approach" ?

06:52 <d_bot> <Jektrix> I'm not at Uni anymore so can't seem to access papers and stuff. It seems to cost like $140 otherwise

07:05 mbuf has joined #ocaml

07:20 sleeping_papaya has joined #ocaml

07:24 sleeping_papaya has quit [Ping timeout: 245 seconds]

08:02 xiongxin1 has joined #ocaml

08:03 xiongxin has quit [Ping timeout: 260 seconds]

08:03 xiongxin1 is now known as xiongxin

08:40 <d_bot> <EduardoRFS> Scihub?

08:55 <d_bot> <Jektrix> Thanks. Didn't know of it until now.

09:20 <d_bot> <Kakadu> Folks, is it normal that native code program drastically close to Stackoverflow sometimes crashes, and sometimes works?

09:23 <d_bot> <Kakadu> https://gist.github.com/Kakadu/78ab250cdf83e56b207a3e97dafd2c97#file-a-ml-L169

09:38 <d_bot> <let Butanium = raise Not_found;;> Did you find what you wanted ?

09:50 Tuplanolla has joined #ocaml

09:51 bartholin has joined #ocaml

10:16 Guest2 has joined #ocaml

10:19 Guest2 has quit [Client Quit]

10:25 olle has joined #ocaml

10:46 <d_bot> <Jektrix> Yep

10:54 Guest2 has joined #ocaml

10:56 Guest2 has quit [Client Quit]

10:56 Guest2 has joined #ocaml

11:04 Haudegen has joined #ocaml

11:12 Guest2 has quit [Ping timeout: 256 seconds]

11:29 sleeping_papaya has joined #ocaml

11:32 xiongxin has quit [Ping timeout: 260 seconds]

11:33 xiongxin has joined #ocaml

11:33 sleeping_papaya has quit [Ping timeout: 256 seconds]

11:39 bartholin has quit [Ping timeout: 245 seconds]

11:40 cedric has joined #ocaml

11:44 <d_bot> <mseri> That seems quite surprising

11:47 <d_bot> <mseri> Which ocaml version? Maybe it has to do with https://github.com/ocaml/ocaml/issues/10698 ?

11:52 bartholin has joined #ocaml

11:56 <d_bot> <Kakadu> @mseri Both 4.12.1+flambda and 4.13+flambda are affected

11:59 <d_bot> <Kakadu> 4.10.1 is too

11:59 <d_bot> <Kakadu> maybe my code is wrong...

12:01 <d_bot> <Kakadu> I heard somewhere that it is not easy to distinguish stack overflow from crash in runtime

12:01 <d_bot> <Kakadu> so, maybe is is normal

12:05 <d_bot> <Kakadu> Yes, it is normal https://discuss.ocaml.org/t/stack-overflow-reported-as-segfault/8646/6

12:22 bobo has joined #ocaml

12:22 spip has quit [Ping timeout: 260 seconds]

12:24 wwilly has quit [Quit: Leaving]

12:47 bartholin has quit [Ping timeout: 268 seconds]

13:01 bartholin has joined #ocaml

13:12 bartholin has quit [Ping timeout: 256 seconds]

13:17 <p4bl0> hi there, is there a way to have a global .merlin file rather than having one in each project? All my .merlin file have the same exact two lines

13:21 Guest2 has joined #ocaml

13:21 <d_bot> <NULL> I can't answer, but you shouldn't need .merlin files if you use dune

13:26 Guest2 has quit [Client Quit]

13:27 bartholin has joined #ocaml

13:30 <p4bl0> I use ocamlbuild

13:31 <d_bot> <NULL> The old-fashioned way; it works I guess

13:35 Everything has joined #ocaml

13:39 bartholin has quit [Ping timeout: 245 seconds]

13:51 bartholin has joined #ocaml

14:14 <d_bot> <NULL> Also, you can emulate a global file by just symlinking it in every project

14:24 <p4bl0> mh, ok, so it doesn't exist I guess

14:24 <p4bl0> thx

14:25 <d_bot> <NULL> I don't know, hence why I can only suggest roundabout ways

14:51 Haudegen has quit [Ping timeout: 268 seconds]

15:04 jlrnick has joined #ocaml

15:06 Guest2 has joined #ocaml

15:22 Guest2 has quit [Quit: Client closed]

15:33 xd1le has quit [Quit: xd1le]

15:39 bartholin has quit [Ping timeout: 256 seconds]

15:49 xiongxin has quit [Ping timeout: 256 seconds]

15:50 xiongxin has joined #ocaml

15:56 bartholin has joined #ocaml

15:58 <d_bot> <mseri> @Kakadu thanks, I had completely missed that thread

16:02 rgrinberg has joined #ocaml

16:04 xiongxin has quit [Quit: xiongxin]

16:05 <d_bot> <undu> @mseri could you check again the rpclib PR?

16:12 waleee has joined #ocaml

16:27 Haudegen has joined #ocaml

17:22 jlrnick has quit [Ping timeout: 245 seconds]

17:31 waleee has quit [Ping timeout: 268 seconds]

17:32 waleee has joined #ocaml

17:39 bartholin has quit [Ping timeout: 245 seconds]

17:51 bartholin has joined #ocaml

18:09 olle has quit [Ping timeout: 256 seconds]

18:25 Everything has quit [Quit: leaving]

18:35 mbuf has quit [Quit: Leaving]

18:36 bartholin has quit [Ping timeout: 265 seconds]

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

18:42 rgrinberg has joined #ocaml

18:49 bartholin has joined #ocaml

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

18:54 <d_bot> <mseri> done, and submitted a new release

18:56 sleeping_papaya has joined #ocaml

19:06 <d_bot> <Et7f3> @mseri or @mseri that is the question

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

19:52 bartholin has joined #ocaml

20:12 bartholin has quit [Ping timeout: 260 seconds]

20:15 olle has joined #ocaml

20:26 rgrinberg has joined #ocaml

20:26 sleeping_papaya has quit [Ping timeout: 260 seconds]

20:27 bartholin has joined #ocaml

20:38 zebrag has joined #ocaml

20:40 bartholin has quit [Ping timeout: 245 seconds]

20:47 shawnw has quit [Ping timeout: 240 seconds]

21:07 jlrnick has joined #ocaml

21:47 bartholin has joined #ocaml

21:48 <d_bot> <mseri> Lol. I never realised that I have 2 accounts. Is there a way to merge them?

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

21:50 <d_bot> <undu> huh, never saw you before with the orange one

21:52 <d_bot> <undu> I don't think you can merge accounts yet: https://support.discord.com/hc/en-us/community/posts/360057832011-Multiple-Discord-Accounts

21:59 jlrnick has quit [Ping timeout: 268 seconds]

22:16 rgrinberg has joined #ocaml

22:50 olle has quit [Ping timeout: 260 seconds]

23:01 cedric has quit [Quit: Konversation terminated!]

23:02 xd1le has joined #ocaml

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

23:16 rgrinberg has joined #ocaml

23:19 bartholin has quit [Quit: Leaving]

23:35 primosoma has quit [Quit: https://quassel-irc.org - La chat diventa comoda. Ovunque.]

23:49 Tuplanolla has quit [Quit: Leaving.]

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