cartwright has quit [Remote host closed the connection]
cartwright has joined #ocaml
j9m has joined #ocaml
jaar has joined #ocaml
malina has quit [Remote host closed the connection]
iovec has joined #ocaml
vyorkin has quit [Quit: WeeChat 2.5]
mfp has joined #ocaml
gahr has quit [Read error: Connection reset by peer]
gahr has joined #ocaml
profan has quit [Ping timeout: 268 seconds]
profan has joined #ocaml
zolk3ri has joined #ocaml
kakadu has quit [Ping timeout: 240 seconds]
kakadu_ has joined #ocaml
kakadu_ has quit [Ping timeout: 240 seconds]
kakadu has joined #ocaml
AtumT has joined #ocaml
lopex has joined #ocaml
sagax has quit [Quit: Konversation terminated!]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
nullifidian_ is now known as nullifidian
analogue has joined #ocaml
malina has joined #ocaml
iovec has quit [Quit: Connection closed for inactivity]
jaar has quit [Ping timeout: 276 seconds]
Haudegen has quit [Quit: Bin weg.]
analogue_ has joined #ocaml
ravenousmoose has joined #ocaml
pino|work has quit [Quit: brb]
AtumT has quit [Quit: AtumT]
pino|work has joined #ocaml
AtumT has joined #ocaml
analogue has quit [Ping timeout: 276 seconds]
AtumT_ has joined #ocaml
AtumT has quit [Ping timeout: 276 seconds]
sagax has joined #ocaml
high_shoes has joined #ocaml
user___ has quit [Ping timeout: 276 seconds]
analogue_ has quit [Quit: Leaving]
iovec has joined #ocaml
andreas303 has quit [Remote host closed the connection]
andreas303 has joined #ocaml
zolk3ri has quit [Ping timeout: 260 seconds]
narimiran has quit [Ping timeout: 246 seconds]
ravenousmoose has quit [Ping timeout: 246 seconds]
mk__ has joined #ocaml
Haudegen has joined #ocaml
<mk__>
I have several .ml files in lib/, and would like all to use (follow) a specific interface. How is it possible to do instead of defining the same .mli for all?
crichoux has joined #ocaml
crichoux has quit [Changing host]
crichoux has joined #ocaml
laudecay has joined #ocaml
<laudecay>
haskell
<laudecay>
oof sorry
<toppler>
mk__: Is it horrible to just have each mli file be a one line include?
jao has joined #ocaml
<mk__>
toppler: that could be an option, but I was wondering if I can get rid of having too many .mli s, which are actually the same
spew has joined #ocaml
<high_shoes>
laudecay what about haskell?
<laudecay>
i was tryna /join #haskell
<laudecay>
but i am bad at keyboard
TheLemonMan has joined #ocaml
<notnotdan>
mk__: dependeing on what you are doing, i would have one separate .ml/.mli that contains only a module signature, and have all the other .ml files implement it
<high_shoes>
is there a good way to deal with the unbound monomorphism of Fmt or Format?
<octachron>
high_shoes, unbound monomorphism? You sould not have any polymorphism problem with Format (in most cases). Chances are that you are just hitting the value restriction. What is the precise issue?
<high_shoes>
I want something like `let pp_list_sp = Fmt.list ~sep:(fun out () -> pf out " ");;` when I use this with `fun out -> pf out "%s"`, I can't use it later again with `fun x -> pf out "%d"`.
<high_shoes>
Thank you
<octachron>
You need to eta-expand due to the value restriction.
<mk__>
notnotdan: would you please explain it a bit more?
<mk__>
How can I make an .ml to implement an .mli with different name?
<high_shoes>
Ahh, I just learnt about the value restriction today. I hadn't bumped into this in Haskell so I thought it was a library bug thank you.
<octachron>
Haskell doesn't need the value restriction due to the lack of mutable values, so you could not have bumped into it.
<high_shoes>
that clears up a lot, I suppose there is no fix then
<high_shoes>
take care
high_shoes has quit [Remote host closed the connection]
tobiasBora has joined #ocaml
zolk3ri has joined #ocaml
freyr69 has joined #ocaml
gareppa has joined #ocaml
freyr69 has quit [Ping timeout: 276 seconds]
pino|work has quit [Quit: brb]
pino|work has joined #ocaml
unyu has quit [Ping timeout: 246 seconds]
gareppa has quit [Quit: Leaving]
gareppa has joined #ocaml
<laudecay>
do yall have a suggestion for how to just run an async deferred
<laudecay>
i have a unit tests and the functions in it return async deferred because i'm using async things as mutexes
<laudecay>
id just like it to wait and then return unit
mk__ has quit [Remote host closed the connection]
iovec has quit []
tane has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
barockobamo2 has quit [Remote host closed the connection]
laudecay has quit [Ping timeout: 245 seconds]
crichoux has quit [Ping timeout: 265 seconds]
ziyourenxiang has quit [Ping timeout: 265 seconds]
gravicappa has quit [Ping timeout: 276 seconds]
zolk3ri has joined #ocaml
gareppa has quit [Quit: Leaving]
gareppa has joined #ocaml
crichoux has joined #ocaml
crichoux has joined #ocaml
crichoux has quit [Changing host]
laudecay has joined #ocaml
crowley95 has quit [Quit: Bye bye ✋]
crowley95 has joined #ocaml
appleclusters has joined #ocaml
narimiran has joined #ocaml
Serpent7776 has joined #ocaml
crichoux has quit [Ping timeout: 245 seconds]
laudecay has quit [Ping timeout: 246 seconds]
assemblyman has joined #ocaml
gravicappa has joined #ocaml
rosterok has joined #ocaml
crichoux has joined #ocaml
crichoux has quit [Changing host]
crichoux has joined #ocaml
laudecay has joined #ocaml
laudecay has quit [Changing host]
laudecay has joined #ocaml
<Leonidas>
laudecay: well you can't really return an unit, you can return a unit Deferred.t
<laudecay>
yeah never mind sorry i figured out how to bind it into the expect test and be okay
analogue has joined #ocaml
<Leonidas>
yeah, if you open Async then in binds some magic for ppx_expect to work with async.
laudecay has quit [Client Quit]
laudecay has joined #ocaml
gareppa has quit [Quit: Leaving]
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
malina has quit [Remote host closed the connection]
jnavila has joined #ocaml
gareppa has joined #ocaml
bartholin has joined #ocaml
assemblyman has quit [Quit: ™]
gravicappa has quit [Ping timeout: 246 seconds]
mk__ has joined #ocaml
mk__ has quit [Remote host closed the connection]
analogue has quit [Remote host closed the connection]
ggole has quit [Quit: Leaving]
mk__ has joined #ocaml
<mk__>
For the ones familiar with Mirage, is it possible to use Mirage with libraries with c/dynamic library dependencies?
_y has quit [Quit: Brèche du réacteur.]
liberiga has joined #ocaml
kakadu_ has joined #ocaml
<Kitambi>
well, I can't say for certain, but probably not
iovec has joined #ocaml
kakadu_ has quit [Read error: Connection reset by peer]
kakadu_ has joined #ocaml
<Kitambi>
I'm assuming you're wanting to run a unikernel on xen, of course
<Kitambi>
if you build for a unix target, you can (and I have) used C libraries
gareppa has quit [Quit: Leaving]
<mk__>
Kitambi: yes, I would prefer to run it as xen unikernel
<Kitambi>
that's likely impossible. there's no standard C library so you'd have to implement one, and probably some kind of VM to run this mess in :)
unyu has joined #ocaml
cheesy has joined #ocaml
slice has quit [Ping timeout: 276 seconds]
mk__ has quit [Ping timeout: 260 seconds]
narimiran has quit [Ping timeout: 245 seconds]
kakadu__ has joined #ocaml
kakadu_ has quit [Ping timeout: 240 seconds]
crichoux has quit [Ping timeout: 240 seconds]
laudecay has quit [Ping timeout: 276 seconds]
<dinosaure>
arf, mk__ left :d
<dinosaure>
currently, some MirageOS projects use C code but as you said Kitambi, we don't have a full stdlib
Serpent7776 has quit [Read error: Connection reset by peer]
Serpent7776 has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
liberiga has quit [Ping timeout: 260 seconds]
jnavila has quit [Ping timeout: 276 seconds]
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
lorozic has joined #ocaml
<lorozic>
hi all, I don't seem to be able to install the latest Menhir version from opam. It constantly installs a 2018 version. Anything I can do to force it?
tane has quit [Quit: Leaving]
crichoux has joined #ocaml
crichoux has quit [Changing host]
crichoux has joined #ocaml
crichoux has quit [Ping timeout: 276 seconds]
kakadu__ has quit [Remote host closed the connection]
vicfred has joined #ocaml
lorozic has quit [Quit: Leaving]
appleclusters has quit [Quit: Connection closed for inactivity]
spew has quit [Quit: Connection closed for inactivity]
Serpent7776 has quit [Quit: leaving]
iovec has quit [Quit: Connection closed for inactivity]
rosterok has quit [Quit: Connection closed for inactivity]