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/
neiluj has quit [Quit: WeeChat 3.8]
Groumf has quit [Quit: Client closed]
Tuplanolla has quit [Ping timeout: 264 seconds]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
masterbuilder has quit [Quit: Connection closed for inactivity]
Groumf has joined #ocaml
edr has quit [Quit: Leaving]
Groumf has quit [Ping timeout: 250 seconds]
Groumf has joined #ocaml
chrisz has quit [Ping timeout: 255 seconds]
chrisz has joined #ocaml
Groumf has quit [Quit: Client closed]
waleee has quit [Ping timeout: 264 seconds]
steenuil has quit [Server closed connection]
steenuil has joined #ocaml
h0rror has quit [Server closed connection]
h0rror has joined #ocaml
euouae has joined #ocaml
CO2 has quit [Ping timeout: 245 seconds]
bartholin has joined #ocaml
bartholin has quit [Remote host closed the connection]
bartholin has joined #ocaml
bartholin has quit [Remote host closed the connection]
bartholin has joined #ocaml
bartholin has quit [Remote host closed the connection]
bartholin has joined #ocaml
mro has joined #ocaml
<euouae> Hello
tomku has quit [Ping timeout: 240 seconds]
tomku has joined #ocaml
Serpent7776 has joined #ocaml
mro has quit [Ping timeout: 255 seconds]
rwmjones has quit [Ping timeout: 260 seconds]
rwmjones has joined #ocaml
jusensei2 has quit [Server closed connection]
jusensei2 has joined #ocaml
euouae has quit []
mro has joined #ocaml
leonardus has quit [Server closed connection]
leonardus has joined #ocaml
dstein64 has quit [Server closed connection]
dstein64 has joined #ocaml
mro has quit [Ping timeout: 255 seconds]
bartholin has quit [Remote host closed the connection]
troydm has quit [Ping timeout: 255 seconds]
troydm has joined #ocaml
xd1le has joined #ocaml
mro has joined #ocaml
quernd80 has quit [Server closed connection]
quernd80 has joined #ocaml
dnh has joined #ocaml
CO2 has joined #ocaml
edr has joined #ocaml
noonien81 has joined #ocaml
noonien8 has quit [Ping timeout: 258 seconds]
noonien81 is now known as noonien8
euouae has joined #ocaml
<euouae> Hello
<euouae> In dune, I am using coq.theory to compile a Coq project
<euouae> it generates the foo.ml and foo.mli files. How can I have an OCaml library depend on these files (and include them?)
<euouae> just like a normal dependency?
* euouae reads the dune docs
<euouae> sounds like I can't get around that :P
mro has quit [Ping timeout: 246 seconds]
cbarrett has quit [Server closed connection]
cbarrett has joined #ocaml
mro has joined #ocaml
mro has quit [Client Quit]
nd__ has joined #ocaml
nd__ has quit [Client Quit]
<discocaml> <contextfreebeer> euouae: it should be possible, did you read this? https://dune.readthedocs.io/en/latest/coq.html#coq-extraction note that Dune+Coq is still a bit experimental I think, but it should be usable
<discocaml> <contextfreebeer> or what did you mean "can't get around that"?
<euouae> I can't get around reading the docs, i.e. I should read the dune docs
<euouae> I was trying to do what I wanted by just glancing at the docs
<discocaml> <contextfreebeer> oh, right 😛 yeah, this is dragon territory, think you're on your own tbh
<euouae> lol
<discocaml> <contextfreebeer> I've been meaning to play around with this stuff but haven't tried yet
<discocaml> <contextfreebeer> please share any surprises you encounter 🙂
<euouae> oh sure!
<euouae> I'll look into coq.extraction. I think you've given me the right thing to look at.
<discocaml> <contextfreebeer> I also found this https://github.com/coq-community/coq-plugin-template but it's for writing Coq plugins it seems, still, might be helpful
<euouae> yeah it's a bit different I think, that's about using OCaml in Coq
<euouae> not 100% sure
<discocaml> <contextfreebeer> correct, but, it's still an example of using Coq with Dune, so it might be helpful as a reference
<euouae> yeah
waleee has joined #ocaml
<euouae> yes coq.extraction was the right thing to use! thank you
<euouae> I'll continue with the thing but I'll post the project skeleton when it's done
Anarchos has joined #ocaml
bartholin has joined #ocaml
waleee has quit [Ping timeout: 252 seconds]
Anarchos has quit [Read error: Connection reset by peer]
Anarchos has joined #ocaml
<euouae> I succeeded finally, it wasn't too bad. I'll write up the tutorial now and post it. I'll keep you updated contextfreeber. Probably later or tomorrow.
Serpent7776 has quit [Ping timeout: 258 seconds]
<discocaml> <contextfreebeer> very cool, respect for doing that
dmbaturin has quit [Server closed connection]
Serpent7776 has joined #ocaml
dmbaturin has joined #ocaml
Anarchos has quit [Ping timeout: 272 seconds]
Anarchos has joined #ocaml
Anarchos has quit [Ping timeout: 255 seconds]
CO2 has quit [Quit: WeeChat 4.1.1]
bartholin has quit [Quit: Leaving]
bartholin has joined #ocaml
Anarchos has joined #ocaml
Tuplanolla has joined #ocaml
<euouae> On Debian 12, why does opam install odoc fail? <https://termbin.com/bwnf>
<euouae> ah nevermind there is a legible error message. yesterday I missed it
Anarchos has quit [Ping timeout: 252 seconds]
waleee has joined #ocaml
octachron has quit [Server closed connection]
octachron has joined #ocaml
Serpent7776 has quit [Ping timeout: 255 seconds]
bartholin has quit [Quit: Leaving]
euouae has quit [Ping timeout: 246 seconds]