hannes changed the topic of #mirage to: https://mirage.io - bug cleaning day every first friday in month (14:00 UTC - late, next: Aug 3rd) - next call August 8th 16:00 BST https://github.com/mirage/mirage-www/wiki/Call-Agenda - retreat 3rd-10th October http://retreat.mirage.io - this channel is logged at http://irclog.whitequark.org/mirage/ - MirageOS 3.1 is released - happy hacking!
o_pax has quit [Quit: o_pax]
mort___ has joined #mirage
mort___ has quit [Client Quit]
Haudegen has quit [Read error: Connection reset by peer]
pagurus has joined #mirage
pagurus` has quit [Ping timeout: 272 seconds]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Ping timeout: 260 seconds]
o_pax has joined #mirage
Haudegen has joined #mirage
mort___ has joined #mirage
mort___ has left #mirage [#mirage]
jnavila has joined #mirage
demonimin has quit [Quit: bye]
jnavila has quit [Ping timeout: 252 seconds]
demonimin has joined #mirage
jnavila has joined #mirage
mort___ has joined #mirage
Haudegen has quit [Remote host closed the connection]
ozzymcduff has joined #mirage
ozzymcduff has quit [Client Quit]
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
<ansiwen> If I use a client.ml[i] module in my project, and also the Cohhtp_mirage.Client module, I get a warning, and the interface definitions collide: findlib: [WARNING] Interface client.cmi occurs in several directories: ., /home/svanders/.opam/4.07.1/lib/cohttp-mirage
<ansiwen> It bails out with "Signature mismatch"
<ansiwen> That shouldn't happen, should it? I mean, same module names as submodules in different modules shouldn't be a problem, right?
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Client Quit]
mort___ has joined #mirage
pagurus has quit [Ping timeout: 272 seconds]
pagurus has joined #mirage
mort___ has quit [Quit: Leaving.]
pagurus has quit [Ping timeout: 272 seconds]
jnavila has quit [Remote host closed the connection]