companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.11 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.11/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
Haudegen has quit [Quit: Bin weg.]
zebrag has quit [Remote host closed the connection]
inkbottle has joined #ocaml
ransom has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
spew has quit [Quit: Connection closed for inactivity]
ansiwen_ has joined #ocaml
ansiwen has quit [Quit: ZNC 1.7.1 - https://znc.in]
towel has quit [Quit: ZNC - https://znc.in]
towel has joined #ocaml
Haudegen has joined #ocaml
ransom has joined #ocaml
ransom has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Haudegen has quit [Ping timeout: 256 seconds]
mfp has quit [Ping timeout: 246 seconds]
kleisli_ has joined #ocaml
ransom has joined #ocaml
<d_bot> <Bluddy> Ugh to turn the server into a community server, I need to force everyone to verify their email
osa1 has joined #ocaml
<d_bot> <Bluddy> Or at least to have a verified email
<d_bot> <Bluddy> OK community mode is on! Unfortunately(?) it means you need to verify your email to post.
waleee-cl has quit [Quit: Connection closed for inactivity]
<d_bot> <Bluddy> Unfortunately we don't qualify for "server discovery" until we hit 10k members!!!! 😱
<d_bot> <Bluddy> But they're saying they'll lower it.
osa1_ has joined #ocaml
osa1 has quit [Ping timeout: 260 seconds]
reynir has quit [Ping timeout: 260 seconds]
reynir has joined #ocaml
borne has quit [Ping timeout: 240 seconds]
osa1_ has quit [Quit: osa1_]
osa1 has joined #ocaml
osa1 has quit [Ping timeout: 240 seconds]
osa1_ has joined #ocaml
vicfred has joined #ocaml
ransom has quit [Quit: Textual IRC Client: www.textualapp.com]
osa1_ has quit [Quit: osa1_]
osa1 has joined #ocaml
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
narimiran has joined #ocaml
kleisli__ has joined #ocaml
kleisli_ has quit [Ping timeout: 244 seconds]
narimiran has quit [Ping timeout: 264 seconds]
narimiran has joined #ocaml
<d_bot> <Et7f3> I don't think apart fake account some users here doesn't verified their email. I believe it was mandatory for connecting back, so not a huge deal.
osa1 has quit [Ping timeout: 260 seconds]
<d_bot> <Christophe> Yes 💪 How about changing #announcements to the more appropriate channel type @Bluddy ?
<d_bot> <Christophe> And we could follow the announcements in reasonml discord and hopefully vice versa
mbuf has joined #ocaml
<mbuf> Why does dune.2.7.1 throw an error, "No rule found for profiler.a" for the following dune file, https://pastebin.com/J9R1KzpB? It works fine with dune.2.6.0.
Serpent7776 has joined #ocaml
nullcone has joined #ocaml
<d_bot> <Et7f3> > Yes 💪 How about changing #announcements to the more appropriate channel type ?
<d_bot> <Et7f3> @Christophe
<d_bot> <Et7f3> > only available for Partner, Verified, HypeSquad Event Coordinator, Community and Developer servers
<d_bot> <Christophe> But Bluddy just said that Community server was on 🙂
<d_bot> <Et7f3> @mbuf what is the command you executed
<d_bot> <Et7f3> But dune shouldn't fail so maybe open a issue
vicfred has quit [Quit: Leaving]
<mbuf> d_bot, the .opam file has the following for the build step ["ocaml-update-c" "wait4.c"] {ocaml:update-c} and ["dune" "build" "-p" name]
chewbranca has quit [Ping timeout: 240 seconds]
robmyers has quit [Ping timeout: 244 seconds]
Boarders has quit [Ping timeout: 260 seconds]
rdivyanshu has quit [Ping timeout: 240 seconds]
conjunctive has quit [Ping timeout: 240 seconds]
jmct has quit [Ping timeout: 260 seconds]
Duns_Scrotus has quit [Ping timeout: 260 seconds]
ec has quit [Ping timeout: 260 seconds]
jeroud has quit [Ping timeout: 260 seconds]
cqc has quit [Ping timeout: 260 seconds]
sspi__ has quit [Ping timeout: 260 seconds]
mrallen1 has quit [Ping timeout: 260 seconds]
ipavlo has quit [Ping timeout: 260 seconds]
bytesighs has quit [Ping timeout: 240 seconds]
pgiarrusso has quit [Ping timeout: 240 seconds]
rfv has quit [Ping timeout: 240 seconds]
stephe has quit [Ping timeout: 240 seconds]
stylewarning has quit [Ping timeout: 244 seconds]
lopex has quit [Ping timeout: 260 seconds]
strmpnk has quit [Ping timeout: 244 seconds]
wildsebastian has quit [Ping timeout: 244 seconds]
alehander92 has quit [Ping timeout: 260 seconds]
rgrinberg has quit [Ping timeout: 260 seconds]
adi_________ has quit [Ping timeout: 260 seconds]
pgiarrusso has joined #ocaml
conjunctive has joined #ocaml
Boarders has joined #ocaml
lopex has joined #ocaml
alehander92 has joined #ocaml
robmyers has joined #ocaml
wildsebastian has joined #ocaml
adi_________ has joined #ocaml
rdivyanshu has joined #ocaml
ec has joined #ocaml
chewbranca has joined #ocaml
stephe has joined #ocaml
Duns_Scrotus has joined #ocaml
bytesighs has joined #ocaml
stylewarning has joined #ocaml
strmpnk has joined #ocaml
jeroud has joined #ocaml
rfv has joined #ocaml
cqc has joined #ocaml
jmct has joined #ocaml
octachron has quit [Quit: ZNC 1.7.5 - https://znc.in]
ipavlo has joined #ocaml
mrallen1 has joined #ocaml
octachron has joined #ocaml
rgrinberg has joined #ocaml
sspi__ has joined #ocaml
kleisli__ has quit [Ping timeout: 240 seconds]
osa1 has joined #ocaml
gjaldon_ has joined #ocaml
bartholin has joined #ocaml
mbuf has quit [Ping timeout: 260 seconds]
borne has joined #ocaml
borne has quit [Ping timeout: 244 seconds]
borne has joined #ocaml
Haudegen has joined #ocaml
olle has joined #ocaml
mbuf has joined #ocaml
labor[m] has quit [Quit: killed]
BitPuffin has quit [Quit: killed]
aspiwack[m] has quit [Quit: killed]
dash has quit [Quit: killed]
camlriot42 has quit [Quit: killed]
jimt[m] has quit [Quit: killed]
flux has quit [Quit: killed]
lnxw37d4 has quit [Quit: killed]
aecepoglu[m] has quit [Quit: killed]
Manis[m] has quit [Quit: killed]
sepp2k has quit [Quit: killed]
quizzop[m] has quit [Quit: killed]
talyian[m] has quit [Quit: killed]
ansiwen[m] has quit [Quit: killed]
peddie has quit [Quit: killed]
nkly has quit [Ping timeout: 264 seconds]
nkly has joined #ocaml
peddie has joined #ocaml
peddie has quit [Remote host closed the connection]
quizzop[m] has joined #ocaml
dash has joined #ocaml
BitPuffin has joined #ocaml
Manis[m] has joined #ocaml
jimt[m] has joined #ocaml
ansiwen[m] has joined #ocaml
peddie has joined #ocaml
lnxw37d4 has joined #ocaml
flux has joined #ocaml
labor[m] has joined #ocaml
aspiwack[m] has joined #ocaml
camlriot42 has joined #ocaml
sepp2k has joined #ocaml
aecepoglu[m] has joined #ocaml
talyian[m] has joined #ocaml
dckc has quit [Ping timeout: 246 seconds]
mfp has joined #ocaml
elge has joined #ocaml
<elge> Meow there. I am trying to build libguestfs on slackware linux current with hivex as dependency and while configuring I get
<elge> checking for OCaml findlib package hivex... not found
<elge> configure: error: the OCaml module 'hivex' is required
<elge> How to find OCaml modules? What is opam for? What is the difference between an OCaml module and a package?
dckc has joined #ocaml
<olle> elge: opam is the package manager
<olle> elge: to find packages, use e.g. ocamlfind
<olle> elge: OCaml module = data structure thingy
<olle> package = library
<octachron> Opam is for installing packages, that contains (ocamlfind) libraries, libraries are bundles of modules
<elge> Thank you both. It seems I am missing a module, not a package, so opam/ocamlfind won't help apparently.
<elge> How/where to find that missing hivex module? I did build and install hivex with OCaml enabled. I am not sure it hivex itself is supposed to provide it.
<olle> elge: it's help if you find the packages containing the module :)
<olle> it'll*
<olle> elge: you have to make sure to compile with the package incldued
<olle> ocamlfind opt -package hives bla bla bla
<octachron> missing a module from a package is a symptom of missing a package. Which build system libquestfs is using?
nkly has quit [Ping timeout: 272 seconds]
nullcone has quit [Quit: Connection closed for inactivity]
<elge> octachron, it's usual GNU autoconf and configure
<elge> thing is, when ever I try with ./configure --disable-ocaml -- it does not change anything, and I get the error anyhow.
malc_ has joined #ocaml
<elge> Ok the hivex build is supposed to deploy the appropriate module.
<elge> I can see `make install` deploys `/usr/lib64/ocaml/hivex/` and `/usr/lib64/ocaml/stublibs/dllmlhivex.so`
<elge> Do I need to reload something for OCaml to know about it's new third-parity package?
<elge> All I can find in config.log is that OCaml findlib does not find it
<elge> `ocamlfind list` does not show it indeed!
<mbuf> I have filed an issue regarding upgrading a dune 1.x project to dune 2.x at https://github.com/ocaml/dune/issues/3800. If anyone has any suggestions, please let me know, or leave a comment in the issue. Thanks!
mbuf has quit [Read error: Connection reset by peer]
malc_ has left #ocaml ["ERC (IRC client for Emacs 28.0.50)"]
mbuf has joined #ocaml
<d_bot> <psafont> In the first file you have libraries with `(modules )` that's weird, one the second these are missing. These are needed to let dune know which file belong to which library
<d_bot> <psafont> > By default dune will use all the .ml/.re files in the same directory as the dune file. This include ones that are present in the file system as well as ones generated by user rules. You can restrict this list by using a (modules <modules>) field.
<mbuf> d_bot, I see; will take a look; BRB
mbuf has quit [Quit: Leaving]
<octachron> elge, you can use "ocamlfind printconf" to check ocamlfind configuration (and paths)
kleisli__ has joined #ocaml
olle has left #ocaml [#ocaml]
waleee-cl has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
nkly has joined #ocaml
<elge> ok thanks - the problem was that hivex was installing into /usr/lib64/ocaml/ while the rest of the packages where in another default location, according to /etc/findlib.conf
<elge> namely /usr/lib64/ocaml/site-lib ...
narimiran has quit [Ping timeout: 272 seconds]
Haudegen has joined #ocaml
spew has joined #ocaml
cantstanya has quit [Remote host closed the connection]
<d_bot> <dj charlie> with utop, i ```#utop_prompt_dummy;
<d_bot> <dj charlie> UTop.set_show_box(false);```
<d_bot> <dj charlie> how can i totally disable any control codes/pretty printing?
<d_bot> <dj charlie> needing to run rtop 🙂
cantstanya has joined #ocaml
dckc has quit [Ping timeout: 272 seconds]
dckc has joined #ocaml
reynir1 has joined #ocaml
reynir has quit [Ping timeout: 260 seconds]
reynir1 is now known as reynir
cantstanya has quit [Remote host closed the connection]
cantstanya has joined #ocaml
<d_bot> <Et7f3> launch rtop ?
<d_bot> <Et7f3> or `#require "rtop"` ?
<brettgilio> Is there a way to get ocaml to print a string up to a terminating null character as in C?
brown121407 has joined #ocaml
<theblatte> brettgilio: I would think you should just roll your own function to do that
decentpenguin has joined #ocaml
ransom has joined #ocaml
vicfred has joined #ocaml
<d_bot> <hcarty> brettgilio: Agreed with theblatte. A combination of String.index_opt and String.sub should take care of selecting the substring
Haudegen has quit [Quit: Bin weg.]
narimiran has joined #ocaml
vicfred has quit [Quit: Leaving]
borne has quit [Ping timeout: 240 seconds]
ransom has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ransom has joined #ocaml
TC01_ has joined #ocaml
decentpenguin has quit [Quit: ZNC crashed or something]
TC01 has quit [Ping timeout: 260 seconds]
TC01_ has quit [Client Quit]
TC01 has joined #ocaml
wgytfr78 has joined #ocaml
wgytfr78 has left #ocaml [#ocaml]
Tuplanolla has joined #ocaml
vicfred has joined #ocaml
Haudegen has joined #ocaml
<inkbottle> In ocaml if you want to type annotate a function you have to `fun`-rewrite the definition, which is discouraging people to do so. So when reading code, you just have to rely on your editor to show you the inferred type
<inkbottle> It would be nice if we could intertwine the code with `val a : int`
<companion_cube> inkbottle: no you don't
<companion_cube> `let f (x:int) (y:string) : _ list = …`
<inkbottle> well, yes ;)
<companion_cube> best syntax :p
<companion_cube> (unless you have to do GADT stuff, then the `fun` form is the only possibility)
kleisli__ has quit [Ping timeout: 244 seconds]
<zozozo> companion_cube: even for gadts, you can "let f (type a) (x: a gadt) : a = ..." no ?
<companion_cube> not sure
<companion_cube> in my experience `f: type a. …` is not the same as `f (type a) …`
<companion_cube> (right ?!?!)
<zozozo> hm.. there might be a few differences, but I never recalls them
<d_bot> <craigfe> `type a.` is a combination of `(type a)` and `'a.`
<companion_cube> right. And generally with GADT you need the quantification…
<d_bot> <craigfe> i.e. introduce a locally abstract type and externally require it to be polymorphic
<zozozo> ok, so as companion_cube feared the (type a) notation is less powerfuel than the type a. one
<zozozo> i.e. the generalization of the (type a) if it occurs (i'm not yet sure) happens too late for the recursive use
<d_bot> <craigfe> ```
<d_bot> <craigfe> ᐅ let rec f (type a) (x : a) = f 42 (* [a = int] via [f = int -> _] *)
<d_bot> <craigfe>
<d_bot> <craigfe> val f : int -> 'a
<d_bot> <craigfe> ```
<d_bot> <craigfe> It does not occur
<d_bot> <craigfe> `(type a)` and recursive definitions are messy
osa1 has quit [Quit: osa1]
ransom has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ransom has joined #ocaml
kleisli__ has joined #ocaml
TC01 has quit [Ping timeout: 260 seconds]
TC01 has joined #ocaml
reynir is now known as [bang]
[bang] is now known as reynir
reynir is now known as [k[]yuken]
[k[]yuken] is now known as reynir
<cemerick> What could be going wrong with this `opam pin` operation and the associated installation? https://gist.github.com/cemerick/a449fc9f39a114d76646e379fe2e6790
<cemerick> I've run it with `-vvv`, but the emitted info is pretty unhelpful (just echoes some basic commands that are executed to get versions of e.g. the compiler)
tane has joined #ocaml
<d_bot> <craigfe> For some reason the `opam` file that you're trying to pin contains the constraint `"ppx_deriving" {>= "5.0"}`, but the most recent version of `ppx_deriving` is 4.5
<d_bot> <craigfe> On opam 2.7.0, I get a better output than the one you got:
<d_bot> <craigfe> ```
<d_bot> <craigfe> The following dependencies couldn't be met:
<d_bot> <craigfe> - ppx_deriving_yojson -> ppx_deriving >= 5.0
<d_bot> <craigfe> no matching version
<d_bot> <craigfe>
<d_bot> <craigfe> [NOTE] Pinning command successful, but your installed packages may be out of sync.
<d_bot> <craigfe> ```
<d_bot> <craigfe> Perhaps you should upgrade your `opam` version
<d_bot> <craigfe> `opam pin add --ignore-constraints-on ppx_deriving ...` works for me
ransom has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<d_bot> <cemerick> @craigfe I see, yeah, just the state of churn on the ppx stuff runs deep
<d_bot> <cemerick> adding another pin for ppx_deriving to my opam file fixes it, thanks!
<d_bot> <cemerick> I saw https://github.com/ocaml/opam/pull/4349 and installed opam from HEAD, that better error message would have been nice! 😛
osa1 has joined #ocaml
osa1 has quit [Quit: osa1]
zebrag has joined #ocaml
inkbottle has quit [Ping timeout: 260 seconds]
bartholin has quit [Quit: Leaving]
narimiran has quit [Ping timeout: 256 seconds]
reynir1 has joined #ocaml
reynir has quit [Disconnected by services]
reynir1 is now known as reynir
ransom has joined #ocaml
vicfred has quit [Quit: Leaving]
ransom has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ransom has joined #ocaml
vicfred has joined #ocaml
kleisli__ has quit [Ping timeout: 260 seconds]
ransom has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
tmhoang has quit [Remote host closed the connection]
tmhoang has joined #ocaml
amiloradovsky has joined #ocaml
tane has quit [Quit: Leaving]
brettgilio has quit [Quit: ZNC 1.7.2+deb3 - https://znc.in]
kleisli__ has joined #ocaml
brettgilio has joined #ocaml
amiloradovsky has quit [Ping timeout: 260 seconds]
zolk3ri has joined #ocaml
Tuplanolla has quit [Quit: Leaving.]
spew has quit [Quit: Connection closed for inactivity]
kanishka has joined #ocaml
<kanishka> It's really hard for me to come up with a final partial order over languages that I want to work in. Right now, I think am settling on: 1. Ocaml; 2. Haskell, Golang; 3. Rust; 4. Clojure, Scala - based on very narrow preferences. Curious to hear other peoples' partial orders.
Haudegen has quit [Ping timeout: 272 seconds]