#ocaml on 2022-07-15 — irc logs at libera.irclog.whitequark.org

2022-03-30 13:11 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.14.0 released: https://ocaml.org/releases/4.14.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:15 jpds has quit [Read error: Connection reset by peer]

00:15 adanwan has quit [Read error: Connection reset by peer]

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

00:15 jpds has joined #ocaml

00:52 adanwan has joined #ocaml

01:15 rgrinberg has joined #ocaml

01:28 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

01:37 waleee has quit [Ping timeout: 272 seconds]

02:05 rgrinberg has joined #ocaml

02:05 raskol has joined #ocaml

02:16 gentauro has quit [Ping timeout: 240 seconds]

02:23 gentauro has joined #ocaml

02:56 gopiandcode has quit [Quit: WeeChat 3.0]

02:57 gopiandcode has joined #ocaml

03:05 raskol has quit [Ping timeout: 240 seconds]

03:38 bobo_ has joined #ocaml

03:38 spip has quit [Ping timeout: 255 seconds]

04:25 trev has joined #ocaml

04:34 xd1le has joined #ocaml

04:42 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

05:12 mbuf has joined #ocaml

05:15 mro has joined #ocaml

05:20 mro has quit [Remote host closed the connection]

05:22 mro has joined #ocaml

05:23 mro has quit [Remote host closed the connection]

05:27 cedric has joined #ocaml

05:39 gopiandcode has quit [Ping timeout: 240 seconds]

05:40 gopiandcode has joined #ocaml

05:47 gopiandcode has quit [Ping timeout: 272 seconds]

05:48 gopiandcode has joined #ocaml

06:22 mro has joined #ocaml

06:23 zebrag has quit [Quit: Konversation terminated!]

06:34 dextaa has quit [Read error: Connection reset by peer]

06:36 dextaa has joined #ocaml

06:40 Haudegen has joined #ocaml

06:53 Serpent7776 has joined #ocaml

06:55 Tuplanolla has joined #ocaml

07:44 cedric has quit [Quit: Konversation terminated!]

08:11 azimut has quit [Ping timeout: 268 seconds]

08:20 <theblatte> can you check what compiler a given opam switch is using? it seems ocaml/setup-ocaml@v2 names my switch /Users/runner/work/infer/infer on mac for some reason instead of 4.14.0+flambda

08:20 <theblatte> oh I'm dumb, it shows the compiler by default but I was running with --short

08:22 Sankalp has quit [Ping timeout: 244 seconds]

08:22 Sankalp has joined #ocaml

08:44 tomku has quit [Ping timeout: 272 seconds]

08:48 adanwan has quit [Read error: Connection reset by peer]

08:48 jpds has quit [Remote host closed the connection]

08:49 adanwan has joined #ocaml

08:49 jpds has joined #ocaml

08:51 <theblatte> strangely trying to install an opam switch myself (not via the setup-ocaml action) on macOs on GitHub fails with sh: /Users/runner/.opam/4.14.0+flambda/bin/ocamlc: cannot execute binary file # Exception: Failure "Bad return from 'ocamlc -where'".

08:54 <theblatte> eg https://github.com/facebook/infer/runs/7347542329?check_suite_focus=true

08:58 <sim642> That workflow still has the setup-ocaml step though

09:00 tomku has joined #ocaml

09:02 <sim642> And that build-infer.sh says something about initializing opam and looks for a local switch instead

09:03 <sim642> Maybe that messes something up

09:05 tomku has quit [Ping timeout: 240 seconds]

09:19 wingsorc__ has quit [Ping timeout: 272 seconds]

09:32 tomku has joined #ocaml

09:42 bartholin has joined #ocaml

10:16 waleee has joined #ocaml

10:22 <theblatte> sim642: I also get this error from setup-ocaml itself: https://github.com/jvillard/infer/runs/7354947630?check_suite_focus=true

10:34 mro has quit [Read error: Connection reset by peer]

10:34 mro_ has joined #ocaml

10:39 <sim642> What's the difference between those two runs? Because setup-ocaml passed in the first one

10:39 <sim642> Or is it somehow non-deterministic?

10:49 <sim642> Oh, the first one didn't actually install the compiler there, but just got it from a cache or something, because it skips the "Install OCaml" substep

11:06 <theblatte> yes, not sure if that's the only reason

11:07 <sim642> What's the custom caching for though? setup-ocaml already does some opam caching. Maybe there's something screwed up in that cache

11:07 <theblatte> one of the repos (the one in facebook/) has it in cache but the jvillard/ fork doesn't

11:07 Serpent7776 has quit [Ping timeout: 272 seconds]

11:08 <sim642> But the ubuntu build on the jvillard run link has setup-ocaml getting the compiler from some cache, because it's not building it at that step at all

11:08 <theblatte> sim642: ah, right! the custom caching predates the action doing its own caching I think

11:08 <theblatte> d'oh! I didn't spot that custom caching, that's probably it, you're right

11:10 <theblatte> nuking that part and retrying

11:12 adanwan has quit [Remote host closed the connection]

11:12 <sim642> In one of the logs it looked like build-infer.sh is still creating a global switch even though setup-ocaml did create a local one

11:12 <sim642> And then that custom caching of .opam would cache the global switch I guess

11:13 adanwan has joined #ocaml

11:13 <theblatte> yes, I've changed that part to tell ./build-infer.sh to use the current switch instead

11:13 <theblatte> thanks!

11:14 <sim642> Although I'm not sure how having some global switch could break the compilation of the compiler into a new local switch by setup-ocaml

11:14 <theblatte> yes the error is pretty mysterious

11:15 <theblatte> only on mac for some reason (maybe cache-related reasons)

11:17 mro_ has quit [Remote host closed the connection]

11:27 <vsiles> blame M1

11:36 Haudegen has quit [Quit: Bin weg.]

11:45 Sankalp has quit [Ping timeout: 240 seconds]

11:46 Sankalp has joined #ocaml

11:48 mro has joined #ocaml

11:50 mro has quit [Client Quit]

11:50 <d_bot> <Pluton> Cats

11:51 <sim642> But GitHub Actions standard runners don't offer M1, do they?

11:55 raskol has joined #ocaml

12:01 jpds has quit [Remote host closed the connection]

12:02 jpds has joined #ocaml

12:28 mro has joined #ocaml

12:35 Haudegen has joined #ocaml

12:36 <vsiles> dunno, I just wanted to troll on Mac :D

12:50 mro has quit [Remote host closed the connection]

12:50 mro has joined #ocaml

12:55 Everything has joined #ocaml

13:19 xd1le has quit [Quit: xd1le]

13:20 Everything has quit [Quit: leaving]

14:08 <theblatte> it's working now :'D thanks for the help sim642

14:14 waleee has quit [Ping timeout: 264 seconds]

14:28 ns12 has joined #ocaml

14:39 rgrinberg has joined #ocaml

14:39 mro has quit [Remote host closed the connection]

14:41 mro has joined #ocaml

15:09 mro has quit [Remote host closed the connection]

15:16 mro has joined #ocaml

15:34 Haudegen has quit [Quit: Bin weg.]

15:38 bobo_ has quit [Ping timeout: 244 seconds]

15:38 bobo_ has joined #ocaml

15:55 mro has quit [Remote host closed the connection]

15:57 zebrag has joined #ocaml

15:58 mro has joined #ocaml

16:23 szkl has joined #ocaml

16:31 dnh has joined #ocaml

16:56 adanwan_ has joined #ocaml

16:57 adanwan has quit [Ping timeout: 268 seconds]

17:02 azimut has joined #ocaml

17:12 kakadu has quit [Remote host closed the connection]

17:15 adanwan_ has quit [Remote host closed the connection]

17:20 raskol has quit [Ping timeout: 276 seconds]

17:29 mbuf has quit [Quit: Leaving]

17:30 mro has quit [Remote host closed the connection]

17:32 mro has joined #ocaml

17:33 mro has quit [Remote host closed the connection]

17:38 adanwan has joined #ocaml

17:41 mro has joined #ocaml

17:46 adanwan has quit [Remote host closed the connection]

17:47 adanwan has joined #ocaml

18:02 mro has quit [Read error: Connection reset by peer]

18:02 mro_ has joined #ocaml

18:03 mro_ has quit [Remote host closed the connection]

18:05 bartholin has quit [Quit: Leaving]

18:13 trev has quit [Remote host closed the connection]

18:22 raskol has joined #ocaml

18:41 raskol has quit [Ping timeout: 240 seconds]

18:50 mro has joined #ocaml

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

19:07 adanwan has joined #ocaml

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

19:18 mro has quit [Ping timeout: 244 seconds]

19:19 mro has joined #ocaml

19:29 azimut has quit [Remote host closed the connection]

19:30 azimut has joined #ocaml

19:32 mro has quit [Remote host closed the connection]

19:33 waleee has joined #ocaml

19:42 raskol has joined #ocaml

19:45 adanwan has quit [Remote host closed the connection]

19:45 azimut has quit [Remote host closed the connection]

19:45 adanwan has joined #ocaml

19:45 azimut has joined #ocaml

19:46 azimut_ has joined #ocaml

19:50 azimut has quit [Ping timeout: 268 seconds]

19:53 mro has joined #ocaml

19:56 raskol has quit [Ping timeout: 260 seconds]

19:56 lobo has quit [Quit: lobo]

20:00 mro has quit [Quit: Leaving...]

20:01 lobo has joined #ocaml

20:07 rgrinberg has joined #ocaml

20:42 jmiven has joined #ocaml

21:29 zebrag has quit [Ping timeout: 260 seconds]

21:30 raskol has joined #ocaml

21:33 wingsorc__ has joined #ocaml

21:42 wingsorc__ has quit [Quit: Leaving]

21:45 wingsorc has joined #ocaml

21:49 raskol has quit [Ping timeout: 240 seconds]

21:59 zebrag has joined #ocaml

22:58 TakinOver has joined #ocaml

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

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