<d_bot>
<froyo> zakkor: that pic is taken from windows terminal. if you're curious about the font it's jetbrains mono
<d_bot>
<froyo> the theme is custom
<d_bot>
<froyo> I picked the colours for ease of reading
<d_bot>
<froyo> (replies don't show on irc so you may want to give people context about what you're replying to)
nfc_ has quit [Ping timeout: 250 seconds]
vicfred has quit [Quit: Leaving]
EmmaBonestell has joined #ocaml
EmmaBonestell has quit [Quit: Connection closed]
EmmaBonestell has joined #ocaml
rgrinberg has joined #ocaml
spip has quit [Ping timeout: 256 seconds]
bobo_ has joined #ocaml
olle has quit [Ping timeout: 256 seconds]
rgrinberg has quit [Ping timeout: 260 seconds]
waleee has quit [Ping timeout: 240 seconds]
waleee has joined #ocaml
waleee has quit [Ping timeout: 240 seconds]
<EmmaBonestell>
I am fairly new to using OCaml, so apologies if any assumptions I make seem off/are wrong.
<EmmaBonestell>
Additionally, I'm not sure if one would consider the following to be a bug, feature request, etc, so I wasn't sure it was appropriate to submit a bug report on GitHub.
<EmmaBonestell>
I'm working on BAP to get it to work properly on Windoss. It makes extensive use of Dynlink plugins in a manner like this : pack plugins & metadata in zip files -> at runtime, unzip to OS's tmpdir -> Dynlink.fileload the cmxs (or cma) -> delete the unzipped files. This works just fine on Unices and Linux, whereas Windows errors out for attempting to delete an open file.
<EmmaBonestell>
I presumed setting O_SHARE_DELETE and/or O_CLOEXEC on the file descriptor used by Dynlink.loadfile would fix this issue on Windows.
<EmmaBonestell>
The Dynlink API doesn't appear to expose a file descriptor or other way to do this, so I thought I would shadow it; however, with a quick perusal of Dynlink's source code, I'm guessing this part of its code is handled in the C based (wrapper/implementation?) of libdl that, likewise, does not expose file descriptors.
<EmmaBonestell>
So... Ultimately, any suggestions on how I may fix this issue?
waleee has joined #ocaml
mbuf has joined #ocaml
chrisz has quit [Ping timeout: 256 seconds]
chrisz has joined #ocaml
humasect has quit [Remote host closed the connection]
humasect has joined #ocaml
nfc_ has joined #ocaml
humasect has quit [Remote host closed the connection]
humasect has joined #ocaml
humasect has quit [Remote host closed the connection]
humasect has joined #ocaml
LACampbell has quit [Read error: Connection reset by peer]
<d_bot>
<cemerick> This feels worthy of a post on discuss.ocaml.org fwiw.
humasect has quit [Read error: Connection reset by peer]
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml
humasect has joined #ocaml
humasect has quit [Remote host closed the connection]
shawnw has quit [Ping timeout: 250 seconds]
zebrag has quit [Quit: Konversation terminated!]
gravicappa has joined #ocaml
gentauro has quit [Read error: Connection reset by peer]
gentauro has joined #ocaml
Serpent7776 has joined #ocaml
shawnw has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mro has joined #ocaml
EmmaBonestell has quit [Ping timeout: 240 seconds]
haesbaert has joined #ocaml
Tuplanolla has joined #ocaml
olle has joined #ocaml
Anarchos has joined #ocaml
<Anarchos>
how to use ocamloptp in the following situation : i have a.ml and b.ml (no mli files) ; a.ml contains "include B". ocamloptp complains that files a.p.cmx and b.p.cmx make inconsistent assumptions over interface B'
<octachron>
I would propose to side-step the issue and use ppx_bisect rather than ocamloptp.
<Anarchos>
octachron i try to reactivate the profiling in dypgen. anyway i can try to change the include for open ?
<octachron>
ppx_bisect is essentially a better version of ocamloptp (aka a version that doesn't require a separate executable, nor end up printing source file)
<octachron>
If you really want to use ocamloptp you should probably write down the missing mli files.
<Anarchos>
i tried but i have to erase and recreate them with Profiling module :/
<octachron>
No? The mli files should not refer to `Profiling` at all?
<Anarchos>
ok, let me build the .mli files wiht ocamlc -i or ocamloptp -i ?
<d_bot>
<Drup> @octachron thanks for the fix in https://github.com/ocaml/ocaml/pull/10952 ! I completely droped the ball on that one (some difficulties to follow github emails lately ...)
<octachron>
Anarchos, with ocamlc: you don't want to include the counters introduced by ocamlprof in the interfance.
<d_bot>
<octachron> @Drup no problem, that was mostly fixing code that I had written anyway. And which is only here as groundwork for printing signature difference.
<d_bot>
<Drup> yes, but still, it was a bit too radio-silence from my part ^^'
Tuplanolla has quit [Ping timeout: 240 seconds]
olle has quit [Remote host closed the connection]
bobo_ has quit [Quit: Konversation terminated!]
spip has joined #ocaml
<Anarchos>
octachron even with the .mli i still have the problems
Tuplanolla has joined #ocaml
<octachron>
That sounds like an erroneous build process: if you have an explicit interface, you should not have issue with inconsistent interfaces.
Anarchos has quit [Ping timeout: 256 seconds]
Anarchos has joined #ocaml
bartholin has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
wyrd has quit [Remote host closed the connection]
wyrd has joined #ocaml
mro has quit [Remote host closed the connection]
EmmaBonestell has joined #ocaml
EmmaBonestell has quit [Ping timeout: 256 seconds]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
<Anarchos>
is there a mean to see the state of a source file once all the 'include' are expanded ?
mro has joined #ocaml
<octachron>
You could print the cmt file.
mro has quit [Read error: Connection reset by peer]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
<Anarchos>
how to print it ?
<octachron>
Hm, it is in fact better to print the type with `-i`.
spip has quit [Ping timeout: 240 seconds]
spip has joined #ocaml
mro has joined #ocaml
jonasbits has quit [Ping timeout: 240 seconds]
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml
jonasbits has joined #ocaml
shawnw has quit [Ping timeout: 240 seconds]
waleee has joined #ocaml
<d_bot>
<darrenldl> what's the goto TUI library these days?
bartholin has quit [Ping timeout: 256 seconds]
bartholin has joined #ocaml
wyrd has quit [Ping timeout: 276 seconds]
<companion_cube>
is there one?
<companion_cube>
notty is a good foundation but I only know of lwt/nottui on top of it, and that's still kind of experimental (but cool)
mro has quit [Remote host closed the connection]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
<d_bot>
<darrenldl> hm, should one stick to lambda term then i wonder
<companion_cube>
ah maybe
rgrinberg has joined #ocaml
<d_bot>
<soilih> Hi guys,
<d_bot>
<soilih> I hope you are well !
<d_bot>
<soilih> I have a big problem here on a project I'm working on. a performance issue that arose after recent changes I made. Does anyone know how to find where it came from?
<d_bot>
<soilih> I have many functions written. I have Ocaml version 4.13.1 and I am using Dune version 2.9.2 to compile
<companion_cube>
you could use landmarks or perf to profile and find where the time is spent
<zozozo>
you can also try to isolate each of the changes you made, to see which one affected the performances
<sleepydog>
last time I tried to use landmarks, I wasn't able to build the viewer
<companion_cube>
I think they should export catapult…
<sleepydog>
is that some internal viewer?
mro has joined #ocaml
<companion_cube>
it's a json-based format that can be viewed in https://perfetto.dev/ or chrome://tracing (in chromium)
<companion_cube>
however it's more a tracing format than profiling
<companion_cube>
anyway.
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
bartholin has quit [Ping timeout: 256 seconds]
bartholin has joined #ocaml
mbuf has quit [Quit: Leaving]
bartholin has quit [Quit: Leaving]
mro has quit [Remote host closed the connection]
zebrag has joined #ocaml
waleee has quit [Ping timeout: 245 seconds]
Serpent7776 has quit [Read error: Connection reset by peer]
Serpent7776 has joined #ocaml
humasect has joined #ocaml
<d_bot>
<Butanium (@me on answer)> Are you on Linux ?
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
waleee has joined #ocaml
vicfred has joined #ocaml
xgqt has quit [Ping timeout: 256 seconds]
xgqt has joined #ocaml
<d_bot>
<soilih> Yes, I'm in Ubuntu
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<d_bot>
<soilih> Thank you, landmarks works, I have now to interpret the datas
mro has joined #ocaml
mro has quit [Quit: Leaving...]
motherfsck has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
<d_bot>
<Butanium (@me on answer)> perf works well too
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Anarchos has joined #ocaml
wyrd has joined #ocaml
rgrinberg has joined #ocaml
gravicappa has quit [Ping timeout: 240 seconds]
Serpent7776 has quit [Quit: leaving]
bobo_ has joined #ocaml
spip has quit [Ping timeout: 256 seconds]
motherfsck has joined #ocaml
hyphen has quit [Ping timeout: 256 seconds]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
wyrd has quit [Ping timeout: 276 seconds]
hyphen has joined #ocaml
humasect has quit [Read error: Connection reset by peer]
humasect has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
humasect has quit [Remote host closed the connection]