<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]