adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.08 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.08/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
klntsky has quit [Remote host closed the connection]
klntsky has joined #ocaml
malina has quit [Remote host closed the connection]
malina has joined #ocaml
AtumT has quit [Quit: AtumT]
spew has quit [Quit: Connection closed for inactivity]
zolk3ri has quit [Remote host closed the connection]
malina has quit [Remote host closed the connection]
malina has joined #ocaml
malina has quit [Remote host closed the connection]
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 245 seconds]
mfp has quit [Ping timeout: 240 seconds]
kvda has joined #ocaml
silver has quit [Read error: Connection reset by peer]
crichoux has joined #ocaml
crichoux has quit [Ping timeout: 265 seconds]
iovec has quit [Quit: Connection closed for inactivity]
analogue has joined #ocaml
jao has quit [Remote host closed the connection]
lopex has quit [Quit: Connection closed for inactivity]
malina has joined #ocaml
jao has joined #ocaml
malina has quit [Remote host closed the connection]
malina has joined #ocaml
tormen has joined #ocaml
tormen_ has quit [Ping timeout: 240 seconds]
kakadu has joined #ocaml
kakadu_ has quit [Ping timeout: 240 seconds]
analogue has quit [Quit: Leaving]
ziyourenxiang has quit [Remote host closed the connection]
ziyourenxiang has joined #ocaml
vicfred has quit [Quit: Leaving]
gravicappa has joined #ocaml
jao has quit [Remote host closed the connection]
jao has joined #ocaml
Haudegen has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
_whitelogger has joined #ocaml
_whitelogger has joined #ocaml
ravenous_ has joined #ocaml
ravenous_ has quit [Ping timeout: 276 seconds]
narimiran has joined #ocaml
bitwinery has quit [Quit: Leaving]
jnavila has joined #ocaml
user___ has joined #ocaml
jnavila has quit [Ping timeout: 246 seconds]
crichoux has joined #ocaml
crichoux has quit [Changing host]
crichoux has joined #ocaml
crichoux has quit [Ping timeout: 276 seconds]
crowley95 has quit [Quit: Bye bye ✋]
crowley95 has joined #ocaml
bitwinery has joined #ocaml
unyu has quit [Quit: unyu~?]
toppler has joined #ocaml
unyu has joined #ocaml
barockobamo has joined #ocaml
barockobamo2 has joined #ocaml
kvda has quit [Read error: Connection reset by peer]
barockobamo has quit [Ping timeout: 276 seconds]
kvda has joined #ocaml
Nikkel has quit [Ping timeout: 264 seconds]
Nikkel has joined #ocaml
ggole has joined #ocaml
j9m has joined #ocaml
vyorkin has joined #ocaml
infinity0 has quit [Ping timeout: 252 seconds]
bitwinery has quit [Quit: Leaving]
infinity0 has joined #ocaml
bartholin has quit [Remote host closed the connection]
j9m has quit [Quit: ZNC 1.7.1 - https://znc.in]
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]
ziyourenxiang has joined #ocaml