companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.12 released: https://ocaml.org/releases/4.12.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
zodeishi has quit [Ping timeout: 244 seconds]
waleee has quit [Ping timeout: 272 seconds]
oriba has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
zodeishi has joined #ocaml
hex0punk has joined #ocaml
salkin has quit [Ping timeout: 245 seconds]
hex0punk has quit [Ping timeout: 245 seconds]
Haudegen has quit [Ping timeout: 245 seconds]
unyu has joined #ocaml
<d_bot> <mimoo> I'm a bit confused by the field `targets` in a dune file
<d_bot> <mimoo> it doesn't seem useful, at least for a number of usecases, yet it seems mandatory?
<d_bot> <mimoo> (in a `(rule`)
<d_bot> <mimoo> you'd think `dune build` would take care of installing dependencies for you, but for some reason it doesnt 😐
hex0punk has joined #ocaml
shawnw has joined #ocaml
zebrag has quit [Remote host closed the connection]
hex0punk has quit [Ping timeout: 272 seconds]
zodeishi has quit [Ping timeout: 272 seconds]
<d_bot> <mimoo> any idea what that error could be?
<d_bot> <mimoo>
<d_bot> <mimoo> ```
<d_bot> <mimoo> Undefined symbols for architecture x86_64:
<d_bot> <mimoo> "_caml_startup", referenced from:
<d_bot> <mimoo> std::sync::once::Once::call_once::_$u7b$$u7b$closure$u7d$$u7d$::h90304a8759fb12e3 (.llvm.14433646130140889871) in librust_thing.a(ocaml_interop-07099bb348900dff.ocaml_interop.42icvaiy-cgu.12.rcgu.o)
<d_bot> <mimoo> core::ops::function::FnOnce::call_once$u7b$$u7b$vtable.shim$u7d$$u7d$::ha8e1ce97a6835316 (.llvm.14433646130140889871) in librust_thing.a(ocaml_interop-07099bb348900dff.ocaml_interop.42icvaiy-cgu.12.rcgu.o)
<d_bot> <mimoo> (maybe you meant: _caml_startup_code_exn, _caml_startup_aux , _caml_startup_code )
<d_bot> <mimoo> ```
<d_bot> <mimoo>
<d_bot> <mimoo> here librust_thing.a is a rust library
<d_bot> <mimoo> ok I got it, `rules` behave like a Makefile inside of a `dune` file: a rule will cache result unless a file in `(deps` has changed. And `(target(s)` is supposed to be the result of the rule
manicennui has left #ocaml [#ocaml]
<d_bot> <mimoo> looks like I can't open a library that uses external functions (in my case rust, not C) in utop (using `dune utop .`)
berberman has joined #ocaml
berberman_ has quit [Ping timeout: 244 seconds]
mbuf has joined #ocaml
<d_bot> <rgrinberg> Yeah, dune utop has some problems loading stubs.
<d_bot> <rgrinberg> Are you trying to use a rust lib in OCaml?
shawnw has quit [Ping timeout: 252 seconds]
<fluxm> hmm, just looked up on the topic and this exists: https://docs.rs/ocaml/0.22.0/ocaml/ . how safe that is, surely safer than the direct C interface?
<fluxm> I mean I guess you can just use wrong parametes/types, but if you don't do that level mistakes, how hard does it hold your hand.. :)
favonia has quit [Ping timeout: 244 seconds]
favonia has joined #ocaml
kluk has joined #ocaml
<kluk> Hi, I am using OCaml version 4.12.0+multicore, I saw a presentation ( https://www.youtube.com/watch?v=z8SI7WBtlcA ) where the effects appear in the type signature, but that is not the case for me; do I have to enable something, or was it just a trick during the presentation?
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
<octachron> The presentation is for a prototype of a typed effect system which is not part of the multicore branch.
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
<kluk> octachron thank you!
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
Serpent7776 has joined #ocaml
salkin has joined #ocaml
mbuf has quit [Quit: Leaving]
wonko has joined #ocaml
<adrien> heh : ##ocaml on freenode (to which people were redirected until a few minutes ago) is solely administred by staffers
<adrien> the access list has not been copied from #ocaml
<adrien> talk about doing things nicely
kluk has quit [Read error: Connection reset by peer]
<adrien> I just fixed my IRC bot so (well, derived from calculon, itself derived from irc-client) so it builds and soon it'll randomly spam people until they leave freenode
kluk has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
bartholin has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
dhil has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
Haudegen has joined #ocaml
kluk has joined #ocaml
favonia has quit [Ping timeout: 252 seconds]
favonia has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
labor[m] has quit [Ping timeout: 244 seconds]
Sumera[m] has quit [Ping timeout: 244 seconds]
smondet[m] has quit [Ping timeout: 268 seconds]
radiopotin[m] has quit [Ping timeout: 268 seconds]
fluxm has quit [Ping timeout: 272 seconds]
noisy-bot has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
salkin has quit [Ping timeout: 264 seconds]
dreadedfrog has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
favonia has quit [Ping timeout: 252 seconds]
kluk has joined #ocaml
favonia has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
noisy-bot has quit [Remote host closed the connection]
kluk has joined #ocaml
motherfsck has quit [*.net *.split]
Guest4242 has quit [*.net *.split]
krnkktz has quit [*.net *.split]
dwt_ has quit [*.net *.split]
lisq has quit [*.net *.split]
gahr has quit [*.net *.split]
rak has quit [*.net *.split]
ccx has quit [*.net *.split]
dinosaure has quit [*.net *.split]
zozozo has quit [*.net *.split]
ski has quit [*.net *.split]
EmoSpice has quit [*.net *.split]
labor[m] has joined #ocaml
Guest4242 has joined #ocaml
motherfsck has joined #ocaml
krnkktz has joined #ocaml
dwt_ has joined #ocaml
gahr has joined #ocaml
ccx has joined #ocaml
dinosaure has joined #ocaml
ski has joined #ocaml
rak has joined #ocaml
lisq has joined #ocaml
EmoSpice has joined #ocaml
zozozo has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
favonia has quit [Ping timeout: 268 seconds]
spip has joined #ocaml
Guest4242 has quit [Ping timeout: 265 seconds]
favonia has joined #ocaml
spip is now known as Guest74
ccx has quit [Ping timeout: 265 seconds]
dinosaure has quit [Ping timeout: 265 seconds]
dinosaure has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
ccx has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
vicfred has quit [Quit: Leaving]
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
kluk has quit [Ping timeout: 272 seconds]
mbuf has joined #ocaml
favonia has quit [Ping timeout: 268 seconds]
favonia has joined #ocaml
favonia has quit [Ping timeout: 244 seconds]
favonia has joined #ocaml
zebrag has joined #ocaml
wonko has quit [Quit: See You Space Cowboy..]
wonko has joined #ocaml
Sumera[m] has joined #ocaml
waleee has joined #ocaml
noisy-bot has joined #ocaml
favonia has quit [Ping timeout: 268 seconds]
favonia has joined #ocaml
salkin has joined #ocaml
<companion_cube> :D
<companion_cube> there's a patch for SASL btw
<companion_cube> if you want to connect it here
waleee has quit [Ping timeout: 265 seconds]
waleee has joined #ocaml
zodeishi has joined #ocaml
radiopotin[m] has joined #ocaml
smondet[m] has joined #ocaml
favonia has quit [Ping timeout: 272 seconds]
cross has joined #ocaml
favonia has joined #ocaml
cross has quit [Client Quit]
cross has joined #ocaml
cross has quit [Client Quit]
cross has joined #ocaml
<adrien> I don't need it since my server is at home ;-)
<adrien> but I'll update soon-ish anyway ;-)
<adrien> first thing I've done so far is to make the bot detect the current wave of spam that occurs on some channels/networks
<companion_cube> oh nice
<companion_cube> my bots are on a DO VPS, so I needed SASL even for connecting
favonia has quit [Ping timeout: 272 seconds]
favonia has joined #ocaml
krnkktz has quit [Quit: node-irc says goodbye]
labor[m] has quit [Quit: node-irc says goodbye]
Sumera[m] has quit [Quit: node-irc says goodbye]
radiopotin[m] has quit [Quit: node-irc says goodbye]
smondet[m] has quit [Quit: node-irc says goodbye]
labor[m] has joined #ocaml
krnkktz has joined #ocaml
fluxm has joined #ocaml
Sumera[m] has joined #ocaml
smondet[m] has joined #ocaml
radiopotin[m] has joined #ocaml
<d_bot> <Boris Povolotsky> Hello everyone, I'm sorry if that's not appropriate to ask here...
<d_bot> <Boris Povolotsky> Can you build auto-clicker style scripts/apps with OCaml?
<companion_cube> what's that? :p
<adrien> I guess, GUI automation stuff
<adrien> I'm not aware of anything cross-platform for that so that would be the first topic
waleee has quit [Ping timeout: 244 seconds]
waleee has joined #ocaml
vb has joined #ocaml
vb has quit [Quit: leaving]
vb has joined #ocaml
vb has quit [Client Quit]
vb has joined #ocaml
<reynir> I think I saw a browser automation thing somewhat recently
<reynir> yes, brr
<reynir> ok I might have misunderstood what that package is about..
superherointj has joined #ocaml
<superherointj> Is there some consensus from where distributions should download OCaml compiler package? From github releases or caml.inria.fr? Where is the ideal place to download it?
salkin has quit [Ping timeout: 245 seconds]
<superherointj> octachron ^
<octachron> superherointj, github is the far more reliable source. If this is an issue, don't hesitate to bring it up on the issue tracker.
<octachron> The caml.inria.fr site is hosted on the Gallium/Cambium's team server at Inria Paris.
<octachron> And there is no one on call to ensure that it is always available. (there was at 12 hours outage last week for example)
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
julien has joined #ocaml
<superherointj> The problem with GitHub is it doesn't have the older releases.
julien is now known as neiluj
<neiluj> Hello! If an 'include A' is used in a module B, do I have to copy the signature of A into B's signature?
<neiluj> In the mli file.
<Fardale> You can do "include module type of A" in the mli file for B
<neiluj> Thank you very much Fardale, exactly what I needed!
<vsiles> I have a macro for that now :D Best thing I learned this year
<superherointj> I was considering to update the ocaml Nix(OS) package and on the meta.downloadPage I wasn't sure what to set. As you said, GitHub offers better infrastructure. Would be desirable if OCaml project could reach some decision on this (however that works), better defining on what distributions should rely on.
<superherointj> *on what single source of truth distributions should rely on.
<superherointj> Btw, thanks for clarifying the situation.
<superherointj> I will open an issue on this.
vb has quit [Quit: leaving]
favonia has quit [Ping timeout: 264 seconds]
vb has joined #ocaml
favonia has joined #ocaml
<octachron> superherointj, the github's release archives go back to Caml Special Light 1.06. Surely, you don't release older than that?
<superherointj> octachron, I have looked wrong then. Sorry.
<octachron> The current decision is clearly github.
<companion_cube> opam needs a mechanism to cache all the archives in a reliable places
dreadedfrog has quit [Quit: Client closed]
<companion_cube> github isn't especially reliable, archives can have their checksums change, etc.
<superherointj> Thanks. That is what I wanted to know. I'm considering migrating NixOS package to download from github.
<Armael> companion_cube: that's not true for releases, is it?
<companion_cube> it can be
<companion_cube> if you rename your repo for example
<companion_cube> (it does a forward, but the checksums change)
<companion_cube> (ask me how I know…)
<superherointj> octachron, should I open the issue or not to better define where it should be downloaded from?
<dstolfa> github's also a proprietary platform that has previously been forced to ban entire countries from participating in projects, so maybe it isn't the best idea
vb has quit [Quit: leaving]
vb has joined #ocaml
<octachron> superherointj, if you only wish to know what should be the default download, it is not necessary : github + caml.inria.fr as fallback if possible (for people that might be banned from github) is the current pragmatic choice.
<superherointj> Right.
vb has quit [Quit: leaving]
vb has joined #ocaml
<superherointj> I'll open the issue to document this so I can reference it on upstream issue. It might be relevant to others too.
<superherointj> The pragmatic solution you offered is fine.
vb has quit [Client Quit]
vb has joined #ocaml
vb has quit [Client Quit]
vb has joined #ocaml
darktenaibre has quit [Remote host closed the connection]
mbuf has quit [Quit: Leaving]
Tuplanolla has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
<neiluj> I've got the following problem: given some record R, I apply a function which returns an Lwt.result out of it, that is then passed to an other function with a bind.
<neiluj> But I'd like to pass the record R to the next function too.
<neiluj> Is there a monadic operator that kind of does that ?
<octachron> It sounds simpler to name the intermediary record and use `f r >>= g r`
Anarchos has joined #ocaml
<neiluj> Thanks, how to name the record? Here is the relevant bit of code: https://tpaste.us/jn7e
<neiluj> the record is conn here
<neiluj> huh it seems that conn is still in scope? After the >>=? bind I mean.
mro has quit [Remote host closed the connection]
<octachron> Yes, conn is in scope in the whole lambda.
<neiluj> great, thanks!
favonia has quit [Ping timeout: 244 seconds]
favonia has joined #ocaml
bartholin has quit [Quit: Leaving]
mro has joined #ocaml
favonia has quit [Ping timeout: 272 seconds]
favonia has joined #ocaml
noisy-bot has quit [Remote host closed the connection]
mro has quit [Ping timeout: 272 seconds]
favonia has quit [Ping timeout: 272 seconds]
favonia has joined #ocaml
shawnw has joined #ocaml
berberman_ has joined #ocaml
berberman has quit [Ping timeout: 272 seconds]
mro has joined #ocaml
mro has quit [Ping timeout: 264 seconds]
vicfred has joined #ocaml
crabbedhaloablut has joined #ocaml
<crabbedhaloablut> https://ocaml.org/community/mailing_lists.html still points at freenode, but that channel is dead
neiluj has quit [Ping timeout: 252 seconds]
<crabbedhaloablut> Thanks, good to see :-)
mro has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
mro has quit [Ping timeout: 244 seconds]
Haudegen has joined #ocaml
Anarchos has quit [Read error: Connection reset by peer]
Anarchos has joined #ocaml
favonia has quit [Ping timeout: 272 seconds]
favonia has joined #ocaml
olle has joined #ocaml
mikess has joined #ocaml
favonia has quit [Ping timeout: 272 seconds]
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
mro has joined #ocaml
favonia has joined #ocaml
mro has quit [Ping timeout: 272 seconds]
mikess has quit [Ping timeout: 264 seconds]
favonia has quit [Ping timeout: 244 seconds]
favonia has joined #ocaml
<superherointj> octachron, by release I meant a GitHub release and not having a branch for a certain version. What did you mean? In GitHub interfaces I can only find latest releases.
<superherointj> By latest. I meant, recent.
favonia has quit [Ping timeout: 244 seconds]
favonia has joined #ocaml
<d_bot> <Anurag> https://github.com/ocaml/ocaml/releases Is this the link you checked? I can see the old releases of the compiler there.
<superherointj> How does it list?
<superherointj> Is it 'Releases' or 'Tags' tab?
<superherointj> 'Previous' button is disabled for me.
<superherointj> I see my mistake.
<superherointj> I was having a problem with button because of extensions.
<superherointj> Sorry.
mro has joined #ocaml
favonia has quit [Ping timeout: 252 seconds]
favonia has joined #ocaml
mikess has joined #ocaml
mro has quit [Ping timeout: 244 seconds]
favonia has quit [Ping timeout: 244 seconds]
favonia has joined #ocaml
mro has joined #ocaml
Anarchos has joined #ocaml
mro has quit [Ping timeout: 265 seconds]
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
favonia has quit [Ping timeout: 252 seconds]
Anarchos has joined #ocaml
Anarchos has quit [Client Quit]
Anarchos has joined #ocaml
Anarchos has quit [Client Quit]
favonia has joined #ocaml
kluk has joined #ocaml
wonko has quit [Ping timeout: 244 seconds]
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
favonia has quit [Ping timeout: 272 seconds]
favonia has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
superherointj has quit [Quit: Leaving]
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
waleee has quit [Quit: WeeChat 3.1]
favonia has quit [Ping timeout: 272 seconds]
waleee has joined #ocaml
favonia has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
favonia has quit [Ping timeout: 272 seconds]
favonia has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
favonia has quit [Ping timeout: 252 seconds]
favonia has joined #ocaml
mikess has quit [Ping timeout: 272 seconds]
mikess has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
p4bl0 has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
unyu has quit [Quit: WeeChat 3.1]
Tuplanolla has quit [Quit: Leaving.]
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
favonia has quit [Ping timeout: 244 seconds]
favonia has joined #ocaml
waleee has quit [Ping timeout: 265 seconds]
waleee has joined #ocaml
kluk has quit [Read error: Connection reset by peer]
kluk has joined #ocaml
kluk has quit [Client Quit]
mikess has quit [Quit: Lost terminal]
Haudegen has quit [Ping timeout: 265 seconds]
favonia has quit [Ping timeout: 272 seconds]
favonia has joined #ocaml
vicfred has quit [Quit: Leaving]
favonia has quit [Ping timeout: 244 seconds]
vicfred has joined #ocaml
favonia has joined #ocaml
favonia has quit [Ping timeout: 272 seconds]
favonia has joined #ocaml
mikess has joined #ocaml