[itchyjunk] has quit [Remote host closed the connection]
favonia has joined #ocaml
mbuf has joined #ocaml
average has joined #ocaml
hendursaga has quit [Ping timeout: 276 seconds]
shawnw has quit [Ping timeout: 265 seconds]
spip has quit [Remote host closed the connection]
spip has joined #ocaml
<d_bot>
<mseri> The discussion about ocaml<->rust made me remember about a recent issue on the opam-repository. Do some of you, by chance, know how to fix this linking issue: https://github.com/ocaml/opam-repository/pull/19057 ?
<reynir>
Leonidas: utop # module type T = sig type t module I : sig type t type t' val oops : t -> t' end with type t' := t end;;
<reynir>
module type T = sig type t module I : sig type t val oops : t/1 -> t/2 end end
<reynir>
(it was unclear which of the ts were meant to be t/1 or t/2)
<octachron>
Another option is to use a local type substitution: module type T = sig type t module I : sig type t' := t type t val oops : t -> t' end end
olle has joined #ocaml
<Leonidas>
octachron: thanks, that's exactly what leviroth suggested and it seems to work fine, so far.
<d_bot>
<Lupus> what's the right channel to seek help on ocaml lsp / vscode plugin issues? it keeps highlighting ppxlib.metaquot extension points as unknown although projects builds just fine with dune, dune clean && dune build with restart of lsp server does not seem to help....
rwmjones is now known as rwmjones|kvmforu
rwmjones|kvmforu is now known as rwmjones|kvmform
rwmjones|kvmform is now known as rwmjones|kvmfrm
<olle>
This channel is fine
waleee has joined #ocaml
dextaa2 has joined #ocaml
dextaa2 has quit [Client Quit]
<d_bot>
<Lupus> right... so how can one debug this? where to look at etc?
<olle>
You'd have to wait until someone who knows comes by :)
<olle>
Or ask on the OCaml forum
<olle>
Is there a Dune forum too, perhaps?
<d_bot>
<Lupus> I'm not sure it question to Dune per se
daachi has quit [Read error: Connection reset by peer]
daachi has joined #ocaml
infinity0 has quit [Ping timeout: 268 seconds]
infinity0 has joined #ocaml
<d_bot>
<wombat> I have a function `external trap_Print : string -> unit = "trap_Print"` which I'd like to use with the string formatter just like printf. I defined a helper function `let ui_print = Printf.ksprintf trap_Print` which seems to work as intended.
<d_bot>
<wombat>
<d_bot>
<wombat> however, when I call ui_print twice with different number of arguments, I get this error:
<d_bot>
<wombat> ```
<d_bot>
<wombat> Error: This function has type (unit, unit, string, unit) format4 -> unit
<d_bot>
<wombat> It is applied to too many arguments; maybe you forgot a `;'.
<d_bot>
<wombat> ```
<d_bot>
<wombat>
<d_bot>
<wombat> how would I do this correctly?
<d_bot>
<wombat> oh never mind, I have to define it with an argument for some reason: `let ui_print fmt = Printf.ksprintf trap_Print fmt`
daachi has quit [Read error: Connection reset by peer]
kakadu has joined #ocaml
yoctocell has joined #ocaml
bartholin has joined #ocaml
hendursaga has joined #ocaml
Everything has joined #ocaml
daachi has joined #ocaml
adanwan has quit [Ping timeout: 276 seconds]
<d_bot>
<NULL> You can check the type of your first `ui_print` and you will see that it has weakly polymorphic type arguments
<d_bot>
<NULL> Eta-expansion allows fully polymorphic arguments when this happens
<Leonidas>
octachron: ah, I see, that only works starting with 4.08. Guess I'll switch to 4.08 as minimum version soon
bastienleonard has quit [Ping timeout: 252 seconds]
adanwan has joined #ocaml
[itchyjunk] has joined #ocaml
[itchyjunk] has quit [Remote host closed the connection]
[itchyjunk] has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
glassofethanol has joined #ocaml
adanwan has quit [Ping timeout: 276 seconds]
Haudegen has joined #ocaml
bastienleonard has joined #ocaml
adanwan has joined #ocaml
adanwan has quit [Ping timeout: 276 seconds]
[itchyjunk] has quit [Remote host closed the connection]
nd__ has joined #ocaml
gravicappa has joined #ocaml
adanwan has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
nd__ has quit [Quit: leaving]
kakadu has quit [Quit: Konversation terminated!]
olle has quit [Ping timeout: 252 seconds]
Haudegen has quit [Quit: Bin weg.]
glassofethanol has quit [Quit: leaving]
bartholin has quit [Quit: Leaving]
favonia has quit [Ping timeout: 252 seconds]
vb has quit [Ping timeout: 260 seconds]
vb has joined #ocaml
reynir has quit [Read error: Connection reset by peer]
reynir has joined #ocaml
mbuf has quit [Quit: Leaving]
favonia has joined #ocaml
Haudegen has joined #ocaml
zebrag has joined #ocaml
Anarchos has joined #ocaml
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
Anarchos has quit [Ping timeout: 240 seconds]
mro has joined #ocaml
<d_bot>
<crackcomm> I'm having the same problem except with deriving sexp
<d_bot>
<crackcomm> ```The value `sexp_of_t' is required but not provided ocamllsp``` probably related
<d_bot>
<crackcomm> @Lupus is this also in a functor?
mro has quit [Remote host closed the connection]
rwmjones|kvmfrm has quit [Ping timeout: 245 seconds]
mro has joined #ocaml
<d_bot>
<Lupus> No functors in my code that has this problem
Anarchos has joined #ocaml
Tuplanolla has joined #ocaml
gravicappa has quit [Ping timeout: 260 seconds]
Stumpfenstiel has joined #ocaml
Stumpfenstiel has quit [Ping timeout: 260 seconds]
Stumpfenstiel has joined #ocaml
shawnw has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
Serpent7776 has quit [Quit: leaving]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
bastienleonard has quit [Quit: WeeChat 3.2]
spip has quit [Ping timeout: 265 seconds]
olle has joined #ocaml
daachi has quit [Ping timeout: 265 seconds]
mro has quit [Quit: Leaving...]
Stumpfenstiel has quit [Quit: No Ping reply in 180 seconds.]
rwmjones has joined #ocaml
Stumpfenstiel has joined #ocaml
average has quit [Quit: Connection closed for inactivity]
favonia has quit [Ping timeout: 240 seconds]
olle has quit [Ping timeout: 265 seconds]
adanwan has quit [Ping timeout: 276 seconds]
yoctocell has quit [Ping timeout: 265 seconds]
Tuplanolla has quit [Quit: Leaving.]
Haudegen has quit [Ping timeout: 268 seconds]
Stumpfenstiel has quit [Ping timeout: 252 seconds]