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/
waleee has quit [Ping timeout: 240 seconds]
waleee has joined #ocaml
waleee has quit [Ping timeout: 258 seconds]
<discocaml> <leviroth> Does anyone understand where the text "This package provides the following libraries (via ocamlobjinfo):" on https://www.ocaml.org/p/eio/0.11/doc/index.html comes from? I was trying to understand precisely where it gets its notion of library, since what it calls "eio_mock" appears to be called "eio.mock" by both dune and findlib.
<discocaml> <Kali> Eio_* are the actual module, while eio.* are dune libraries, which are modules/bundles of modules
<discocaml> <Kali> or, opam libraries, idk
<discocaml> <Kali> both opam and dune support them i think
<discocaml> <leviroth> Yeah, I get that, but the page I linked uses the term "library," so I'm trying to understand what it means by that.
<discocaml> <Kali> wait, oops, wrong documentation
<discocaml> <Kali> this is about libraries for dune itself
<discocaml> <leviroth> I don't need documentation about what a dune library is.
<discocaml> <leviroth> The page I linked *isn't* talking about dune libraries.
<discocaml> <Kali> is it not? a library is a collection of modules
<discocaml> <leviroth> If you try to use this library in dune and you call it "eio_mock", dune will tell you "wtf are you talking about?"
<discocaml> <leviroth> You have to call it "eio.mock"
<discocaml> <Kali> that's its public name
TrillionEuroNote has quit [Ping timeout: 240 seconds]
<discocaml> <leviroth> Right. So what's the "eio_mock" business about?
TrillionEuroNote has joined #ocaml
<discocaml> <Kali> the library's name is `eio_mock`, the public_name is `eio.mock`
<companion_cube> One name is for ocaml itself (it maps to a module name)
<companion_cube> The other is for ocamlfind, which is concerned with libraries and sub libraries
<discocaml> <leviroth> Thanks
<discocaml> <leviroth> I would have thought it would be more helpful for that page to list things by their ocamlfind names (since that's how most users will invoke them, via dune), but I guess not everything is an ocamlfind package?
Everything has quit [Quit: leaving]
Everything has joined #ocaml
pieguy128 has quit [Quit: ZNC 1.8.2 - https://znc.in]
pieguy128 has joined #ocaml
terrorjack has quit [Quit: The Lounge - https://thelounge.chat]
terrorjack has joined #ocaml
chrisz has quit [Ping timeout: 244 seconds]
chrisz has joined #ocaml
<companion_cube> I don't know how the page was generated, but, yeah
dh` has quit [Changing host]
dh` has joined #ocaml
bartholin has joined #ocaml
myrkraverk_ has joined #ocaml
myrkraverk has quit [Read error: Connection reset by peer]
parataxis has quit [Remote host closed the connection]
parataxis has joined #ocaml
parataxis has quit [Remote host closed the connection]
TrillionEuroNote has quit [Ping timeout: 264 seconds]
TrillionEuroNote has joined #ocaml
Serpent7776 has joined #ocaml
bartholin has quit [Quit: Leaving]
<reynir> Hmm, there's no Int.unsigned_compare
<reynir> nor Int64.unsigned_of_int
bibi_ has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 255 seconds]
dhil has joined #ocaml
<discocaml> <muqiuhan> hello everyone, when i tried to install the `ocaml-compiler-libs` , this strange error problem occurred, and i tried compiling it from source and got the same result:
<discocaml> <muqiuhan> I did not find the answer in the issues of `ocaml-compiler-libs` repo 😦
tizoc has quit [Quit: Coyote finally caught me]
tizoc has joined #ocaml
rgrinberg has joined #ocaml
bibi_ has quit [Ping timeout: 264 seconds]
Hammdist has quit [Quit: Client closed]
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
<discocaml> <octachron> You need to install the compilerlibs with OS packager since you have an OS managed OCaml compiler.
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
dme2 has quit [Server closed connection]
dme2 has joined #ocaml
bibi_ has joined #ocaml
rgrinberg has joined #ocaml
<discocaml> <muqiuhan> thank you very much for your answer! this worked for me!
dhil has quit [Ping timeout: 264 seconds]
leonardus has joined #ocaml
TrillionEuroNote has quit [Ping timeout: 240 seconds]
TrillionEuroNote has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
xmachina has quit [Quit: WeeChat 4.0.4]
rgrinberg has joined #ocaml
rgrinberg has quit [Client Quit]
waleee has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
dhil has joined #ocaml
<hannes> I'm curious with dune-configurator, anyone has an example that looks for the output of "cc -dumpversion" to take a decision? I'd love to do that, but find the documentation rather sparse and unclear what to be done there...
Hammdist has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Serpent7776 has quit [Ping timeout: 240 seconds]
rgrinberg has joined #ocaml
Hammdist has quit [Quit: Client closed]
Hammdist has joined #ocaml
xmachina has joined #ocaml
yosik has joined #ocaml
yosik has quit [Changing host]
yosik has joined #ocaml
hannes has quit [Ping timeout: 248 seconds]
waleee has quit [Ping timeout: 240 seconds]
hannes has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<discocaml> <anmonteiro> The configurator workflow is pretty much always:
<discocaml> <anmonteiro> - run some command
<discocaml> <anmonteiro> - parse the output
<discocaml> <anmonteiro> - emit some sexp file with flags
<discocaml> <anmonteiro>
<discocaml> <anmonteiro> Assuming you know how to do the first 2, do you need help with the last one?
bibi_ has quit [Ping timeout: 240 seconds]
<hannes> thanks a lot :)
dnh has joined #ocaml
<discocaml> <anmonteiro> Nice!
<discocaml> <anmonteiro> Also a bit sad that’s the fix, but oh well
<discocaml> <anmonteiro> I can’t think of anything better
<hannes> anmonteiro: well, my fix would be 'available: os != "macos"' -- why should I support a system with known-broken-compiler where the company doesn't care to fix it (there are patches upstream at llvm available). but I guess I'm in the minority here ;)
<hannes> anmonteiro: and the performance degredation of not doing the instcombine is marginal AFAICT
<discocaml> <anmonteiro> lol. it still works on other versions other than clang 14.0.3
<discocaml> <anmonteiro> I'm personally on clang 11 and never reproed that issue
bibi_ has joined #ocaml
<discocaml> <anmonteiro> hannes: could you link one or two of those upstream patches so that I can follow them?
chrisz has quit [Ping timeout: 240 seconds]
chrisz has joined #ocaml
bartholin has joined #ocaml
<hannes> anmonteiro: from https://patchew.org/QEMU/20230622130823.1631719-1-peter.maydell@linaro.org/ I read https://github.com/llvm/llvm-project/commit/fffb6e6afdbaba563189c1f715058ed401fbc88d may be some fix -- but tbh I haven't followed up which patches could/should fix that behaviour (full disclosure: I don't own a mac)
<hannes> anmonteiro: https://github.com/mit-plv/fiat-crypto/issues/1606#issuecomment-1574989387 was what gave me confidence that the next version would fix that ;)
dhil has quit [Ping timeout: 255 seconds]
rgrinberg has joined #ocaml
<discocaml> <anmonteiro> thank you!
ursa-major has joined #ocaml
ursa-major has quit [Max SendQ exceeded]
ursa-major has joined #ocaml
bibi_ has quit [Ping timeout: 264 seconds]
ursa-major has quit [Quit: WeeChat 4.0.4]
waleee has joined #ocaml
Serpent7776 has joined #ocaml
bibi_ has joined #ocaml
yziquel has joined #ocaml
TrillionEuroNote has quit [Ping timeout: 240 seconds]
TrillionEuroNote has joined #ocaml
azimut has joined #ocaml
yziquel has quit [Ping timeout: 245 seconds]
myrkraverk_ has quit [Ping timeout: 240 seconds]
xmachina1 has joined #ocaml
xmachina has quit [Ping timeout: 248 seconds]
xmachina1 is now known as xmachina
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
xmachina has quit [Ping timeout: 240 seconds]
rgrinberg has joined #ocaml
bibi_ has quit [Ping timeout: 264 seconds]
xmachina has joined #ocaml
xmachina has quit [Quit: WeeChat 4.0.4]
Serpent7776 has quit [Ping timeout: 260 seconds]
xmachina has joined #ocaml
bibi_ has joined #ocaml
Tuplanolla has joined #ocaml
bartholin has quit [Quit: Leaving]
yosik has quit [Ping timeout: 240 seconds]
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Tuplanolla has quit [Quit: Leaving.]