avsm changed the topic of #mirage to: mirage 2 released! party on!
smondet has quit [Ping timeout: 272 seconds]
copy` has quit [Quit: Connection closed for inactivity]
brson has quit [Quit: leaving]
mcclurmc has joined #mirage
mcclurmc has quit [Ping timeout: 272 seconds]
rgrinberg has quit [Ping timeout: 276 seconds]
jermar has joined #mirage
pmiess has quit [Ping timeout: 244 seconds]
pris has quit [Ping timeout: 272 seconds]
pris has joined #mirage
copy` has joined #mirage
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
smondet has joined #mirage
mort___ has joined #mirage
copy` has quit [Quit: Connection closed for inactivity]
rgrinberg has joined #mirage
rgrinberg has quit [Client Quit]
rgrinberg has joined #mirage
copy` has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
jermar has quit [Quit: Leaving]
mcclurmc has joined #mirage
rgrinberg has quit [Ping timeout: 272 seconds]
mcclurmc has quit [Quit: Leaving]
mcclurmc has joined #mirage
mcclurmc has quit [Client Quit]
agarwal1975 has joined #mirage
mort___1 has joined #mirage
mort___1 has quit [Client Quit]
mort___ has quit [Ping timeout: 272 seconds]
brson has joined #mirage
rgrinberg has joined #mirage
rgrinberg has quit [Ping timeout: 272 seconds]
<Drup> hannes: I kinda like the fact that functoria was forcing you to have some strategy about error handling :/
<hannes> Drup: but if the only valid strategy is: kill me, there's no need for overengineering
<Drup> my long term idea was that each module would expose a pp_error, and then we would have Error x -> fail (Failure (Device.pp_errror x)
<hannes> sure. but as said, the startup stuff should fail hard imho.
<Drup> Apparently, that was more complicated that I expected, since various people tried to do that since without much succes
<Drup> but yes, you are probably right in the end
<Drup> might as well Lwt.fail and drop everything on the floor
<hannes> yes. well, send it to the logs maybe..
<Drup> sure :p
<hannes> and yes, I've seen several attempts at fixing this with result types, it seems to be non-trivial
<hannes> (and yes, there might be a chance that in some future we might want to have proper programmatic error handling in startup, but I doubt so)
<Drup> (in any cases, since Lwt has a baked in result type, we could still pursue error recovery startegies later on)
<hannes> and I read through basically all the devices (this is the wrong name) I could find on my hard disk..
<hannes> anyways, need beer...
<Drup> Anyway, in the end, I think you are right
<hannes> Drup: good to know, thanks for reading and telling me :)
rgrinberg has joined #mirage
rgrinberg has quit [Client Quit]
rgrinberg has joined #mirage
agarwal1975 has quit [Read error: Connection reset by peer]
agarwal1975 has joined #mirage
dograt has quit [Quit: No Ping reply in 210 seconds.]
dograt has joined #mirage
rgrinberg has quit [Ping timeout: 244 seconds]
smondet has quit [Ping timeout: 272 seconds]
rgrinberg has joined #mirage
smondet has joined #mirage
agarwal1975_ has joined #mirage
agarwal1975 has quit [Ping timeout: 272 seconds]
agarwal1975_ is now known as agarwal1975
agarwal1975 has quit [Quit: agarwal1975]
smondet has quit [Ping timeout: 272 seconds]
rgrinberg has quit [Ping timeout: 244 seconds]
smondet has joined #mirage