14:04 <discocaml> <amaro_amaro> Hi, I'm having some issues in Cygwin, and I'd like to try running an OCaml program that loads `nums.cmxs`. I tried using opam to look for packages using `num`, (`opam search --depends-on=num --installable`), and found a few such as `lem`, but after installing and running it, it nevers loads that file. (I'm running `strace` and grepping the calls to `openat` to check it).

14:04 <discocaml> <amaro_amaro>

14:04 <discocaml> <amaro_amaro> Is there a way to find out which opam packages use a given .cmxs file?

14:11 <olle> Anyone knows why Hacklang changed from OCaml to Rust in their type checker code?

14:27 <discocaml> <JM> Unless somebody has inside knowledge (and given that they was not much publicity around it, even the release notes don't say why) I would put most of the blame on RIIR (https://github.com/ansuz/RIIR)

14:29 <discocaml> <regularspatula> Not about Hack, but a reason to rust story I found: https://gal.hagever.com/posts/why-fnm-was-rewritten-in-rust. TLDR seems to be traits, deriving, windows support, docs, big community made it worth the switch

14:30 <discocaml> <regularspatula> The ocaml to rust RIIR is kinda interesting to read about

14:36 <discocaml> <JM> > deriving

14:36 <discocaml> <JM> The one feature on that list we have more or less, but we insist on making ppx weird to use 😢

14:36 <discocaml> <regularspatula> It seems that one pops up in every such discussion

15:20 <octachron> olle, was there more part of HHVM rewritten in Rust recently beyond the initial Rust parser?

15:21 <olle> octachron: No, not that I know of.

15:21 <olle> I only saw their OCaml code was gone some months ago when I wanted to check it for my PHP parser.

15:22 <olle> JM: Hehe

16:13 <discocaml> <Alistair> I've heard the reason was primarily the removal of niche languages from Meta repos and performance issues with the type checker

16:17 <olle> Hm

16:17 <olle> Sad

16:27 <theblatte> the damage has been contained to the parser for now :)

16:30 <discocaml> <JM> Alistair, does it mean the same would happen to their other ocaml projects? (e.g. Infer)

16:33 <discocaml> <Alistair> I'm not too sure, perhaps. I only have inside info on Hack and not the other OCaml projects Meta have

16:42 <adrien> amaro_amaro: is your intent to create a program that runs outside of cygwin?

19:59 <discocaml> <garythisside> hello