companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.14.0 released: https://ocaml.org/releases/4.14.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
count3rmeasure has quit [Ping timeout: 260 seconds]
<discocaml> <geoff> I can't remember, is it possible to get a module type and implementation in one go?
<discocaml> <NULL> In one go ? `module M : sig ... end = struct ... end` ?
<discocaml> <geoff> a module type and module so I can include some types in an intf but also use them in the implementation
<discocaml> <geoff> not just giving an interface to a coupled implentation
<discocaml> <geoff> not trying to do anything fancy, just wanted to avoid some type copy pasting
<discocaml> <NULL> The `_intf` trick ?
<discocaml> <geoff> in the context of that yes
<discocaml> <geoff> I just have some polymorphic variants that I would like to include aliases of in the signatures in my intf, but also I want to be able to include them/reference them in the ml
<discocaml> <geoff> (and where they are used in the various signatures as well)
<discocaml> <NULL> Isn't that just that trick ?
<discocaml> <geoff> it's close but not quite I don't think. I have a struct of the types in my intf.ml, which for I reference in one of the functor argument signatures as well as want to include into the implementation of the Make functors
<discocaml> <geoff> but I also would like to be able to include the same types into the Make output signatures (S) in the intf
<discocaml> <geoff> does that make sense?
<discocaml> <geoff> Oh I forgot about "module type of"... Not at the computer at the moment though
spip has quit [Quit: Konversation terminated!]
Stumpfenstiel has quit [Ping timeout: 248 seconds]
Haudegen has quit [Ping timeout: 255 seconds]
<discocaml> <darrenldl> Anarchos: re mtime, maybe `Span.to_uint64_ns`
trillion_exabyte has quit [Ping timeout: 260 seconds]
trillion_exabyte has joined #ocaml
<discocaml> <geoff> `module type of` did exactly what I wanted πŸ‘
tizoc has quit [Quit: Coyote finally caught me]
tizoc has joined #ocaml
count3rmeasure has joined #ocaml
jao has quit [Remote host closed the connection]
gentauro_ has quit [Read error: Connection reset by peer]
chrisz has quit [Ping timeout: 265 seconds]
chrisz has joined #ocaml
gentauro has joined #ocaml
jao has joined #ocaml
count3rmeasure has quit [Read error: Connection reset by peer]
azimut has joined #ocaml
chrisz has quit [Ping timeout: 260 seconds]
chrisz has joined #ocaml
keyboard has quit [Ping timeout: 248 seconds]
troydm1 has joined #ocaml
troydm1 has quit [Ping timeout: 260 seconds]
troydm has joined #ocaml
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
berberman has quit [Ping timeout: 260 seconds]
berberman has joined #ocaml
gwizon has quit [Quit: Lost terminal]
GreaseMonkey has quit [Remote host closed the connection]
trev has joined #ocaml
kakadu has joined #ocaml
Tuplanolla has joined #ocaml
bartholin has joined #ocaml
alexherbo2 has joined #ocaml
chrisz has quit [Ping timeout: 248 seconds]
chrisz has joined #ocaml
keyboard has joined #ocaml
Haudegen has joined #ocaml
olle has joined #ocaml
chrisz has quit [Ping timeout: 246 seconds]
troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
chrisz has joined #ocaml
bgs has joined #ocaml
Inst_ has joined #ocaml
Inst has quit [Ping timeout: 248 seconds]
spip has joined #ocaml
Serpent7776 has joined #ocaml
bartholin has quit [Quit: Leaving]
keyboard has quit [Quit: keyboard]
Inst__ has joined #ocaml
Inst_ has quit [Ping timeout: 252 seconds]
chrisz has quit [Ping timeout: 252 seconds]
chrisz has joined #ocaml
xd1le has joined #ocaml
xd1le has quit [Quit: xd1le]
Inst_ has joined #ocaml
Inst__ has quit [Ping timeout: 256 seconds]
dnh has joined #ocaml
Anarchos has joined #ocaml
bartholin has joined #ocaml
chrisz has quit [Ping timeout: 248 seconds]
Anarchos has quit [Remote host closed the connection]
Anarchos has joined #ocaml
chrisz has joined #ocaml
Anarchos has quit [Ping timeout: 260 seconds]
Anarchos has joined #ocaml
Anarchos has quit [Client Quit]
Anarchos has joined #ocaml
alexherbo2 has quit [Remote host closed the connection]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
mro has joined #ocaml
bartholin has quit [Quit: Leaving]
wingsorc has joined #ocaml
dnh has quit [Quit: Textual IRC Client: www.textualapp.com]
kakadu has quit [Remote host closed the connection]
count3rmeasure has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
Anarchos has joined #ocaml
TheRuralJuror has joined #ocaml
TheRuralJuror has quit [Quit: Bin weg.]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
waleee has joined #ocaml
mro has quit [Remote host closed the connection]
Stumpfenstiel has joined #ocaml
bartholin has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
count3rmeasure has quit [Ping timeout: 260 seconds]
mro has joined #ocaml
Inst has joined #ocaml
Inst has quit [Remote host closed the connection]
Inst has joined #ocaml
Inst_ has quit [Ping timeout: 248 seconds]
<discocaml> <RegularSpatula> Is it common to use custom opam repo for your own tiny helper/utility packages? Currently I’m using pinning for it, and it’s okay, but just exploring alternative
count3rmeasure has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
sparogy has quit [Remote host closed the connection]
sparogy has joined #ocaml
sparogy has quit [Remote host closed the connection]
sparogy has joined #ocaml
mro has quit [Remote host closed the connection]
sparogy has quit [Remote host closed the connection]
sparogy has joined #ocaml
sparogy has quit [Remote host closed the connection]
mro has joined #ocaml
sparogy has joined #ocaml
<discocaml> <dinosaure> Yes and you can experiment our `opam-mirror` unikernel which does the cache as https://opam.ocaml.org/ πŸ™‚
sparogy has quit [Remote host closed the connection]
sparogy has joined #ocaml
sparogy has quit [Remote host closed the connection]
sparogy has joined #ocaml
alexherbo2 has joined #ocaml
chrisz has quit [Ping timeout: 248 seconds]
trev has quit [Remote host closed the connection]
chrisz has joined #ocaml
oriba has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
gwizon has joined #ocaml
gwizon has quit [Client Quit]
jao has quit [Remote host closed the connection]
<discocaml> <RegularSpatula> Interesting, I will check it out thanks
greaser|q has joined #ocaml
jao has joined #ocaml
greaser|q has quit [Changing host]
greaser|q has joined #ocaml
greaser|q is now known as GreaseMonkey
John_Ivan has quit [Remote host closed the connection]
jao has quit [Remote host closed the connection]
John_Ivan has joined #ocaml
alexherbo2 has quit [Remote host closed the connection]
jao has joined #ocaml
Serpent7776 has quit [Ping timeout: 252 seconds]
bgs has quit [Remote host closed the connection]
bartholin has quit [Quit: Leaving]
olle has quit [Ping timeout: 264 seconds]
mro has quit [Quit: Leaving...]