avsm changed the topic of #mirage to: mirage 2 released! party on!
yomimono has joined #mirage
yomimono has quit [Ping timeout: 244 seconds]
yomimono has joined #mirage
andreas23 has joined #mirage
andreas231 has quit [Ping timeout: 260 seconds]
brson has quit [Quit: leaving]
brson has joined #mirage
yomimono has quit [Ping timeout: 244 seconds]
yomimono has joined #mirage
yomimono has quit [Ping timeout: 244 seconds]
yomimono has joined #mirage
yomimono has quit [Quit: Leaving]
brson has quit [Quit: leaving]
seangrove has joined #mirage
noddy has quit [Ping timeout: 246 seconds]
noddy has joined #mirage
gjaldon has joined #mirage
copy` has quit [Quit: Connection closed for inactivity]
insitu has joined #mirage
gjaldon has quit [Remote host closed the connection]
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
gjaldon has joined #mirage
insitu has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
o_pax has joined #mirage
insitu has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
linuxcoders has joined #mirage
linuxcoders has quit [Remote host closed the connection]
linuxcoders has joined #mirage
linuxcoders has quit [K-Lined]
reactnative has joined #mirage
reactnative has quit [Remote host closed the connection]
copy` has joined #mirage
gjaldon has quit [Remote host closed the connection]
twopoint718 has joined #mirage
twopoint718 has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
yomimono has joined #mirage
<yomimono> hannes: I'm going to take your "hooray" emoji reaction ot https://github.com/mirage/mirage/pull/690 as an LGTM
<yomimono> having not heard any "your PR is bad and you should feel bad"
<hannes> yomimono: I haven't yet brained too much over it
<yomimono> hannes: yes, you've been busy solving problems :D
<hannes> but I guess if it compiles, it is good to go. the new interface looked like an improvement (whereas there are likely minor nits)
<yomimono> hannes: OK, that's what I was about to ask you, pretty much
<yomimono> hannes: it's one of those big changesets I really don't want to let bitrot :(
<yomimono> (also it will break tls.mirage as I have no set of patches for that, and I don't have enough of an idea of what I'm doing to make one quickly)
<hannes> but due to other things, I can't tell you when I'll have time to review. please just go ahead and merge if it compiles
<yomimono> thx :)
<hannes> there's also mirage-console-solo5, mirage-net-xen, mirage-net-solo5, mirage-net-macosx, ...
miragebot has joined #mirage
<miragebot> mirage/master 3dc3e73 Mindy Preston: add result types for most `write`-like functions, but not `input`.
<miragebot> mirage/master 51a2d6c Mindy Preston: change `Unknown to `Msg in error type, for easier use with rresult
<miragebot> mirage/master 43c32f7 Mindy Preston: Merge pull request #690 from yomimono/higherlevel-error...
<miragebot> [mirage] yomimono pushed 3 new commits to master: https://git.io/vXbDb
miragebot has left #mirage [#mirage]
<yomimono> hannes: ah, indeed, I'll fix those up
<hannes> which i haven't seen addressed in that list of PRs, but it's fine...
<yomimono> and also need to put a few more things in mirage-dev
<hannes> (+remove the mirage-runtime dep from console*, as remarked on the mirage-console PR)
<yomimono> you'd think I would've incorporated the only feedback I got, but you'd be wrong :P
<hannes> my brain is just spinning here, manually executing travis jobs and looking for potential trouble
yomimono has quit [Ping timeout: 256 seconds]
yomimono has joined #mirage
ahf has quit [Ping timeout: 250 seconds]
seangrov` has joined #mirage
seangrove has quit [Read error: Connection reset by peer]
engil has quit [Ping timeout: 250 seconds]
engil has joined #mirage
engil has joined #mirage
engil has quit [Changing host]
ahf has joined #mirage
noddy has quit [Ping timeout: 256 seconds]
gjaldon has joined #mirage
noddy has joined #mirage
yomimono has quit [Quit: Leaving]
gjaldon has quit []
twopoint718 has joined #mirage
seangrov` has quit [Remote host closed the connection]
agarwal1975 has quit [Quit: agarwal1975]
yomimono has joined #mirage
agarwal1975 has joined #mirage
jermar has quit [Ping timeout: 265 seconds]