<d_bot>
<cod1r> I would try and help out but I don't know anything about anything
<d_bot>
<cod1r> 😭
Anarchos has joined #ocaml
gravicappa has joined #ocaml
<d_bot>
<Bluddy> it's ok, this is a huge milestone and it's not expected to be done quickly
random-jellyfish has joined #ocaml
<imode>
anybody have any guidance on setting up OCaml's LSP with Kate?
kaph has quit [Ping timeout: 260 seconds]
<d_bot>
<Continuation Calculus> I'm trying to find where Unix.map_file is implemented, but in ocaml/lib, there is only a unix.mli, no .ml
<sim642>
Looks like it's in unix_unix.ml
<sim642>
Where it essentially just delegates to a C implementation
<sim642>
Which is in mmap_unix.c
<d_bot>
<Continuation Calculus> sim642: I don't see unix_unix.ml, in which folder do you have it? (I grepped the whole ocaml/lib)
<d_bot>
<Continuation Calculus> ye, I'm trying to find the ml to find the C implementation, and do map_anonymous
<sim642>
It's in otherlibs/unix/
<d_bot>
<Continuation Calculus> ae
<d_bot>
<Continuation Calculus> thanks
<d_bot>
<Continuation Calculus> i guess this doesn't use dune
<d_bot>
<Continuation Calculus> so hard to see where things are defined
<d_bot>
<Continuation Calculus> hmmm, i'm on version 4.14 and can't see an other libs. grepping for map_file
<d_bot>
<octachron> In 4.14 the function is in `otherlibs/unix/mmap.c`
<d_bot>
<Continuation Calculus> hmmm. let me dig deeper
<d_bot>
<Continuation Calculus> yup, i was not where i thought i was: esy's ocaml folder is not the ocaml repo (i thought it was like opam, where it clones the repo and then builds)
<d_bot>
<Continuation Calculus> @octachron simpler thing, not requiring me to dig into any C, would be to use /dev/zero, right?
Anarchos has quit [Remote host closed the connection]
<d_bot>
<NULL> What did you do in terms of kate setup ?
dextaa45 has joined #ocaml
dextaa4 has quit [Ping timeout: 250 seconds]
dextaa45 is now known as dextaa4
<d_bot>
<Asimov-IV> No special setup, but I am using version 22.04.0 of kate with the LSP Client plugin enabled.
bartholin has joined #ocaml
dextaa49 has joined #ocaml
<d_bot>
<NULL> I also have this version, but my LSP client settings file was empty for example
dextaa4 has quit [Ping timeout: 250 seconds]
dextaa49 is now known as dextaa4
mro has quit [Remote host closed the connection]
<d_bot>
<Asimov-IV> Yes, mine is empty as well. Does the `output` tab at the bottom say anything?
<d_bot>
<Asimov-IV> The LSP only works if you start kate from the command line that has access to ocamllsp.
<d_bot>
<NULL> If your opam is well setup, any command line should have access to it
<d_bot>
<NULL> Let me clear mine and look at this tab
<imode>
what about just starting it from a KDE runline?
<imode>
after logging out and logging in.
<d_bot>
<NULL> Ok it works if I launch it from a terminal, not from the start menu
Anarchos has joined #ocaml
waleee has joined #ocaml
TheLemonMan has quit [Quit: Lost terminal]
mro has joined #ocaml
mro has quit [Ping timeout: 256 seconds]
<d_bot>
<NULL> I imagine Kate uses the value for PATH Plasma got at startup and not the current value which opam has since updated
<d_bot>
<NULL> I wonder how to change this (besides hardcoding the address of ocamllsp in the config file)
<Anarchos>
eval $(opam env) ?
bartholin has quit [Ping timeout: 250 seconds]
<d_bot>
<Asimov-IV> Not sure exactly what the problem is but I just opened an issue in the Kate repo.
<Anarchos>
afrosenpa
<Anarchos>
Asimov-IV such a move is often wise.
<d_bot>
<Asimov-IV> If it gets resolved i'll post an update.
bartholin has joined #ocaml
gravicappa has quit [Ping timeout: 256 seconds]
<d_bot>
<NULL> Anarchos: This will add ocamllsp to the path if it wasn't already *in the current terminal session*. In my case at this point the lsp already is in the path and if I launch Kate from there it picks it up fine