adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel
kurtis has joined #ocaml
xpika has joined #ocaml
AtumT has quit [Quit: AtumT]
kurtis has quit [Ping timeout: 246 seconds]
mfp has quit [Ping timeout: 250 seconds]
silver has quit [Quit: rakede]
<AnAverageHuman> Does anyone else get "No such file or directory" when running `dune installed-libraries` after compiling from source, not opam?
unyu has quit [Quit: unyu~?]
unyu has joined #ocaml
kurtis has joined #ocaml
kurtis has quit [Ping timeout: 250 seconds]
bartholin has quit [Ping timeout: 246 seconds]
ziyourenxiang has quit [Ping timeout: 250 seconds]
bartholin has joined #ocaml
caltelt_ has joined #ocaml
ygrek has quit [Ping timeout: 250 seconds]
gravicappa has joined #ocaml
tormen has joined #ocaml
tormen_ has quit [Ping timeout: 246 seconds]
Algebr has quit [Remote host closed the connection]
AnAverageHuman has quit [Ping timeout: 256 seconds]
caltelt_ has quit [Ping timeout: 250 seconds]
kurtis has joined #ocaml
kurtis has quit [Ping timeout: 250 seconds]
sonologico has quit [Remote host closed the connection]
xuib has quit [Ping timeout: 246 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 246 seconds]
kurtis has joined #ocaml
kurtis has quit [Ping timeout: 245 seconds]
freyr69 has joined #ocaml
rwmjones has joined #ocaml
rwmjones_ has quit [Ping timeout: 250 seconds]
Netsu has joined #ocaml
Netsu has quit [Client Quit]
Netsu has joined #ocaml
Netsu has quit [Client Quit]
Netsu has joined #ocaml
Netsu has quit [Client Quit]
Netsu has joined #ocaml
mildtaste has joined #ocaml
jnavila has joined #ocaml
Netsu has quit [Client Quit]
Netsu has joined #ocaml
<Netsu> Hello there. Can someone help with that erro? https://gist.github.com/Pitometsu/58deea76125ecd2ddbc5fbf4aee6aca6
<Netsu> How actually module A implementation and signature be constrained to module M there?
jnavila has quit [Ping timeout: 246 seconds]
<freyr69> Netsu: What are you trying to achieve?
<freyr69> you have a phantom type in M
<freyr69> type with no value
<freyr69> You can't include it in that way
<freyr69> I believe you wanted something like this:
barockobamo has joined #ocaml
<Netsu> freyr69: abstract interface for module with variant type
<freyr69> module type M = sig type t end
<freyr69> module A : M = struct type t = [`A] end
<Netsu> freyr69: actually there will be value of that type like val t : t;
themsay has quit [Ping timeout: 255 seconds]
<freyr69> Just use signatures for interfaces
amiloradovsky has joined #ocaml
<freyr69> Module language is dependently typed, so module types are also values
<freyr69> you also could use destructive substitution
<freyr69> module M = struct type t end
<freyr69> module A = struct type t = [`A] include (M : module type of M with type t := [`A]) end
<freyr69> But you want signatures, it seems
kurtis has joined #ocaml
kurtis has quit [Ping timeout: 246 seconds]
themsay has joined #ocaml
kakadu has joined #ocaml
mfp has joined #ocaml
silver has joined #ocaml
kurtis has joined #ocaml
kurtis has quit [Ping timeout: 255 seconds]
sagotch has joined #ocaml
pie_ has joined #ocaml
pie_ has quit [Ping timeout: 245 seconds]
kakekongen has joined #ocaml
<kakekongen> How can I force a Bos.OS.Cmd.run to execute in the background and return immediately with its PID?
<kakekongen> The reason is that the command will run for a long time, and I want to be able to programmatically kill it
<kakekongen> I might simply not be reading the documentation thoroughly enough, but I have thus far failed to see any references to this in the documentation
<hannes> kakekongen: AFAIU this is _not_ how Bos is designed, which is for blocking IO. I personally use Bos and Unix.create_process for that behaviour (and then use Lwt for waitpid since I'm interested when the process terminates)
<kakekongen> So there is currently not an OS-agnostic way of achieving this?
<kakekongen> So I should rather simply go for the Unix library to get that behavior?
sagotch has quit [Quit: Leaving.]
<kakekongen> The reason for doing it is sort-of like your albatross hannes, and I want to spawn a unikernel, as well as being able to stop it.
pie_ has joined #ocaml
<Fardale> kakekongen: you can do that with Lwt
<flux[m]> kakekongen: regardless of its name, Unix is implemented on Windows as well - well, I understand there are some parts that may not work quite as well (ie. fork?)
<kakekongen> Ahh, thanks for clarifying flux[m]
jnavila has joined #ocaml
Birdface has joined #ocaml
<Birdface> How can I create a label that also types the elements of a tuple? Like: ~(point:(x:int * y:int))
<Leonidas> Birdface: One possibility is `let foo : hest:(int * string) -> int * string = fun ~hest -> hest`
<theblatte> Birdface: or perhaps you want a record type `type point = {x:int; y:int}`?
<theblatte> records are basically named tuples :p
pie_ has left #ocaml ["Leaving"]
kurtis has joined #ocaml
ehirdoy1 has quit [Ping timeout: 258 seconds]
kurtis has quit [Ping timeout: 245 seconds]
ygrek has joined #ocaml
<def`> Or `let f ~point:((x : int), (y : int)) = x + y;;`
sagotch has joined #ocaml
q9929t has joined #ocaml
ollehar_ has joined #ocaml
zolk3ri has joined #ocaml
Guest4029 has joined #ocaml
ygrek has quit [Ping timeout: 250 seconds]
spew has joined #ocaml
Birdface has quit [Ping timeout: 244 seconds]
amiloradovsky has quit [Ping timeout: 246 seconds]
AnAverageHuman has joined #ocaml
amiloradovsky has joined #ocaml
Birdface has joined #ocaml
q9929t has quit [Quit: q9929t]
<AnAverageHuman> What is the difference between sexplib and sexplib0?
Guest4029 has quit [Remote host closed the connection]
ehirdoy1 has joined #ocaml
Haudegen has joined #ocaml
kurtis has joined #ocaml
freyr69 has quit [Read error: Connection reset by peer]
freyr69 has joined #ocaml
kurtis has quit [Ping timeout: 246 seconds]
Ulrar_ has quit [Quit: upgrade time]
jnavila has quit [Ping timeout: 246 seconds]
romildo has joined #ocaml
<romildo> I have an application which I can build with ocamlbuild or dune on the command line. I would like to try VSCode with it.
<romildo> So I have VSCode with the OCaml and Reason IDE extension installed.
<romildo> How should I use VSCode to continue development of my application? I have opened the folder containing the applications code and it looks good.
<romildo> But the VSCode is pointing errors that it should not. For instance, I use -unsafe-string to compile the code, and VSCode is not seeing this setting.
<romildo> I have a 'dune' file (for use by dune) and a '_tags' (for use by ocamlbuild) which set this kind of configuration.
<romildo> How can I get VSCode to see them?
<def`> you should build with dune.
<def`> check if you have a .merlin file in your folder
<def`> (find . -name .merlin should do)
<romildo> I have a '_tags' file and a 'src' subdir containing 'dune' and '_merlin'.
<romildo> On the command line I can build the application with 'ocamlbuild driver.native -use-ocamlfind' as well as with 'dune build src/driver.exe'
AnAverageHuman has quit [Ping timeout: 256 seconds]
<romildo> After rebuildind with dune in the command line VSCode stopped pointing the error.
freyr69 has quit [Remote host closed the connection]
romildo has quit [Quit: Leaving]
FreeBirdLjj has joined #ocaml
Birdface has quit [Ping timeout: 246 seconds]
Birdface has joined #ocaml
AnAverageHuman has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
zolk3ri has joined #ocaml
jaar has joined #ocaml
ygrek has joined #ocaml
AtumT has joined #ocaml
ollehar_ has quit [Ping timeout: 250 seconds]
jnavila has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
Haudegen has quit [Remote host closed the connection]
okuu has joined #ocaml
sagotch has quit [Quit: Leaving.]
Netsu has quit [Ping timeout: 256 seconds]
ygrek has quit [Ping timeout: 246 seconds]
zolk3ri has quit [Remote host closed the connection]
okuu has quit [Remote host closed the connection]
okuu has joined #ocaml
al-damiri has joined #ocaml
okuu has quit [Ping timeout: 250 seconds]
jaar has quit [Quit: Leaving]
AnAverageHuman has quit [Ping timeout: 256 seconds]
Haudegen has joined #ocaml
okuu has joined #ocaml
Serpent7776 has joined #ocaml
xuib has joined #ocaml
themsay has quit [Read error: Connection reset by peer]
themsay has joined #ocaml
themsay has quit [Ping timeout: 250 seconds]
themsay has joined #ocaml
barockobamo has quit [Remote host closed the connection]
silver_ has joined #ocaml
silver has quit [Read error: Connection reset by peer]
amiloradovsky has quit [Ping timeout: 272 seconds]
themsay has quit [Ping timeout: 246 seconds]
okuu has quit [Quit: ERC (IRC client for Emacs 26.1)]
gravicappa has quit [Ping timeout: 246 seconds]
kakadu_ has joined #ocaml
dimitarvp has joined #ocaml
themsay has joined #ocaml
dimitarvp has quit [Client Quit]
silver_ is now known as silver
kurtis has joined #ocaml
kurtis has quit [Ping timeout: 255 seconds]
jao has joined #ocaml
kurtis has joined #ocaml
Serpent7776 has quit [Quit: leaving]
kurtis has quit [Ping timeout: 246 seconds]
Haudegen has quit [Remote host closed the connection]
spew has quit [Quit: going home]
kurtis has joined #ocaml
kurtis has quit [Ping timeout: 245 seconds]
ygrek has joined #ocaml
Haudegen has joined #ocaml
ygrek has quit [Ping timeout: 255 seconds]
okuu has joined #ocaml
jnavila has quit [Remote host closed the connection]
AnAverageHuman has joined #ocaml
okuu has quit [Quit: ERC (IRC client for Emacs 26.1)]
assemblyman has joined #ocaml
kurtis has joined #ocaml
AnAverageHuman has quit [Ping timeout: 256 seconds]
Birdface has quit [Ping timeout: 245 seconds]
AnAverageHuman has joined #ocaml
kakadu_ has quit [Remote host closed the connection]
steenuil has joined #ocaml
steenuil has quit [Client Quit]
xuib has quit [Ping timeout: 255 seconds]
AtumT has quit [Quit: AtumT]
kvda has joined #ocaml
Haudegen has quit [Remote host closed the connection]