avsm changed the topic of #mirage to: mirage 2 released! party on!
brson has quit [Quit: leaving]
yegods has joined #mirage
yegods has quit [Remote host closed the connection]
yegods has joined #mirage
_whitelogger has joined #mirage
yomimono has joined #mirage
mcclurmc has joined #mirage
yegods has quit [Remote host closed the connection]
yegods has joined #mirage
yegods has quit [Ping timeout: 260 seconds]
yomimono has quit [Ping timeout: 244 seconds]
mcclurmc has quit [Ping timeout: 268 seconds]
yegods has joined #mirage
yegods has quit [Ping timeout: 260 seconds]
andreas23 has quit [Quit: Leaving.]
<rixed> hannes: I will try to build a simple reproductible error
AltGr has joined #mirage
andreas23 has joined #mirage
yegods has joined #mirage
yegods has quit [Ping timeout: 252 seconds]
jermar has joined #mirage
<hannes> rixed: is allocating a huge string or cstruct sufficient?
lars_kurth has quit [Read error: Connection reset by peer]
<rixed> hannes: I have no time to look at this today. Will keep you posted here, hopefully sometime this week.
yegods has joined #mirage
jermar has quit [Read error: Connection reset by peer]
mort___ has joined #mirage
jermar has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mato1 has joined #mirage
mato1 has quit [Quit: WeeChat 1.6]
mato1 has joined #mirage
yomimono has joined #mirage
jermar has quit [Ping timeout: 256 seconds]
<yomimono> mato : 4.04 version of ppx_optcomp apparently landed over the weekend: https://github.com/ocaml/opam-repository/commit/faae7a97a5211ef6cb94218f2a8812dd40172a5e
<yomimono> I'm taking another run at building mirage with 4.04 ...
<mato1> oh, cool
<reynir> Is 4.04 in opam yet?
<yomimono> renyir: yep!
<yomimono> as of... 4 november, whatever day that was
<yomimono> there's a really cool group-edited changelog for 4.04 at https://github.com/gasche/ocaml-releases-change-explanation/wiki/4.04.0-changes-explanation
<yomimono> as a person who usually finds the compiler release changelogs extremely cryptic I'm very glad to see it
<reynir> cool!
<reynir> It seems only 4.04+beta{1,2} and 4.04+trunk are available as opam switches still(?)
<yomimono> hm, do you have https://github.com/ocaml/opam-repository.git in your opam repos
<yomimono> ?
<yomimono> I have a 4.04.0 from there
<reynir> hmm, no, I seem to have https://opam.ocaml.org as the only one
<yomimono> that'll probably do it (although I'm not sure why -- I'd expect that to be a mirror)
<reynir> What version of opam are you running?
<yomimono> 1.2.2
<reynir> OK same - just read that there are different repos for 1.2 and 2.0... or different formats anyway
<reynir> Thanks
<yomimono> aaaaaaah, I see
<yomimono> I should've thought to ask that :P (I also should be using opam2...)
<yomimono> `MODE=unix make` in mirage-skeleton works with 4.04, at least :D
<mato1> Solo5 should work with this change:
<mato1> (you may need to rebase that)
<yomimono> ah, there's the place I should've commented rather than bugging you in irc :P
gjaldon has joined #mirage
mcclurmc has joined #mirage
miragebot has joined #mirage
<miragebot> mirage/master c5b4281 Hannes Mehnert: Merge pull request #659 from hannesm/bootvar...
<miragebot> mirage/master bbc0ace Hannes Mehnert: mirage-bootvar-solo5 renamed
miragebot has left #mirage [#mirage]
<miragebot> [mirage] hannesm pushed 2 new commits to master: https://git.io/vXRnW
<hannes> my plan now is to do one topkg per day... to finally get rid of oasis...
<yomimono> have you done any where there was some use of pack files (.mlpack) yet?
<yomimono> I was trying to figure out how to do this nicely by looking at irmin (which removed them in a topkg conversion) but irmin has a lot of stuff in it
<hannes> no, I attempted https://github.com/mirleft/ocaml-tls/pull/337 by removing pack, but this PR was too big.. I should retry at some point
<hannes> I don't think pack is worth keeping --> but there's effort involved in removing it
<yomimono> yeah :/
<yomimono> there is one in mirage-tcpip as well, the tcp module, which definitely should be replaced with a better public interface
<yomimono> I wonder what avsm's done in his topkg branch for that
<yomimono> probably the right series of steps is to remove the pack in the _oasis universe, then port to topkg
<yomimono> otherwise the diff is too huge
<hannes> (instead of sleeping, I also remove bitrot from functoria with some success :)
tekacs has quit [Ping timeout: 245 seconds]
ahf has quit [Ping timeout: 245 seconds]
<yomimono> yes, I see that! always good to see PRs with net negative line counts :)
tekacs has joined #mirage
ahf has joined #mirage
<hannes> this is me, deleting your code... de-contributing... git blame is not my friend ;)
<yomimono> if git blame can't find you, nothing can be your fault :P
<yomimono> (but also git praise can't find you, so no cakes for you)
<hannes> \o/
<hannes> I pushed the astring dep on functoria directly to mirage-dev master... to avoid travis having issues
<reynir> hah is git praise a thing?
<yomimono> ah, thanks
<yomimono> reynir: hm, ISTR I used to have one, but it seems these days only git-blame
<yomimono> creeping negativity :(
caw has quit [Ping timeout: 250 seconds]
sspi has quit [Ping timeout: 250 seconds]
strmpnk has quit [Ping timeout: 250 seconds]
pris has quit [Ping timeout: 250 seconds]
<reynir> git config --global --add alias.praise blame
<reynir> :-)
<hannes> reynir: +1
<hannes> (I also dislike git calling its main branch master by default, it should rather be trunk, dev, or head...)
tekacs has quit [Ping timeout: 260 seconds]
<reynir> (or main heh)
<yomimono> yes, this is one of those things that I tried to change on my own projects, but is troublesome when you work with others who still use master
<hannes> (but that's me... who introduced an --ideslave option to some compiler which got renamed 2 years later (to --idemode I guess) -- highly appreciated)
strmpnk has joined #mirage
<hannes> no gods, no masters
<yomimono> +1
caw has joined #mirage
tekacs has joined #mirage
pris has joined #mirage
sspi has joined #mirage
AltGr has quit [Ping timeout: 260 seconds]
strmpnk has quit [Ping timeout: 260 seconds]
strmpnk has joined #mirage
<noddy> yomimono: check out nocrypto, it's packed and uses topkg.
<yomimono> noddy: oh sweet, thanks!
agarwal1975 has joined #mirage
jermar has joined #mirage
henrytill has joined #mirage
rgrinberg has joined #mirage
andreas23 has quit [Quit: Leaving.]
mato1 has quit [Quit: WeeChat 1.6]
mort___ has quit [Quit: Leaving.]
gjaldon has quit [Remote host closed the connection]
gjaldon has joined #mirage
brson has joined #mirage
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
<gjaldon> hannes: ping! may I DM you about Canopy?
<hannes> gjaldon: yes, but I'm on my way home to get some food.. will read later though
<gjaldon> hannes: ok
<hannes> (have an IRC bouncer, thus I will receive messages you sent me while I'm disconnected)
<gjaldon> hannes: great! I should get that too
mort___ has joined #mirage
<hannes> yomimono: the mirage-platform + 4.04 : your patch looks fine, pls try on an actual xen before merging :)
<yomimono> checked that console runs on my xen before PRing, so I guess since nobody's yelled I'll merge
<yomimono> thanks hannes :)
<hannes> yomimono: something with network etc. would be good to see
<yomimono> how did you know I was trying to weasel my way out of that? still hacking on my mirage-qubes patches, so close to being able to test on my normal laptop...
gjaldon has quit []
<hannes> :D
<hannes> in the end, do what you want
rgrinberg has quit [Ping timeout: 244 seconds]
yomimono has quit [Ping timeout: 256 seconds]
yomimono has joined #mirage
yomimono has quit [Ping timeout: 244 seconds]
mort___ has quit [Quit: Leaving.]
jermar has quit [Ping timeout: 260 seconds]
agarwal1975 has quit [Ping timeout: 268 seconds]