avsm changed the topic of #mirage to: mirage 2 released! party on!
ebagdasa_ has joined #mirage
brson has quit [Ping timeout: 256 seconds]
brson has joined #mirage
ebagdasa_ has quit [Remote host closed the connection]
smondet has joined #mirage
ebagdasa_ has joined #mirage
brson has quit [Quit: leaving]
smondet has quit [Remote host closed the connection]
ebagdasa_ has quit [Ping timeout: 265 seconds]
rgrinberg has joined #mirage
ebagdasa_ has joined #mirage
ebagdasa_ has quit [Ping timeout: 264 seconds]
copy` has quit [Quit: Connection closed for inactivity]
seangrove has quit [Ping timeout: 256 seconds]
seangrove has joined #mirage
rgrinberg has quit [Ping timeout: 244 seconds]
ebagdasa_ has joined #mirage
seangrove has quit [Ping timeout: 272 seconds]
mort___ has joined #mirage
seangrove has joined #mirage
seangrove has quit [Ping timeout: 244 seconds]
ebagdasa_ has quit [Ping timeout: 252 seconds]
jermar has quit [Ping timeout: 272 seconds]
andreas231 has quit [Quit: Leaving.]
seangrove has joined #mirage
seangrove has quit [Ping timeout: 252 seconds]
ebagdasa_ has joined #mirage
mort___ has quit [Ping timeout: 244 seconds]
ebagdasa_ has quit [Ping timeout: 264 seconds]
andreas23 has joined #mirage
mort___ has joined #mirage
jermar has joined #mirage
jermar has quit [Remote host closed the connection]
mort___ has quit [Quit: Leaving.]
ebagdasa_ has joined #mirage
ebagdasa_ has quit [Ping timeout: 252 seconds]
ebagdasa_ has joined #mirage
ebagdasa_ has quit [Ping timeout: 252 seconds]
srenatus[m] has quit [Remote host closed the connection]
ebagdasa_ has joined #mirage
copy` has joined #mirage
rgrinberg has joined #mirage
agarwal1975 has joined #mirage
sspi has quit [Ping timeout: 265 seconds]
pris has quit [Ping timeout: 272 seconds]
caw has quit [Write error: Connection reset by peer]
ebagdasa_ has quit [Remote host closed the connection]
andreas23 has quit [Quit: Leaving.]
caw has joined #mirage
sspi has joined #mirage
pris has joined #mirage
brson has joined #mirage
ebagdasa_ has joined #mirage
<hannes> anyone up for crazy ideas?
<Drup> I spend 3 hour debugging an out of order AST traversal for the eliom ppx, shoot me. x)
<hannes> Drup: where would you put pretty printers for types defined in mirage-types?
<hannes> I'd put them into some mirage-runtime, which we already have (mirage.runtime as part of the mirage package, but there's no need to depend on the mirage package) -- shouldn't we have a separate mirage-runtime package, and have mirage depend on that?
<Drup> how could it be in mirage, aren't the types in mirage-types abstract ?
<hannes> well, it could be in mirage-types, but that currently does not contain any actual code, only types..
<hannes> there are some non-abstract types, such as type error in network, ethernet, block, fs..
<Drup> I would still put them in the module directly, every type should have a pp function anyway (or sexp, if that's your thing)
smondet has joined #mirage
ebagdasa_ has quit [Remote host closed the connection]
_whitelogger_ has joined #mirage
_whitelogger has quit [Remote host closed the connection]
brson has quit [Ping timeout: 252 seconds]
brson has joined #mirage
ebagdasa_ has joined #mirage
ebagdasa_ has quit [Ping timeout: 244 seconds]
ebagdasa_ has joined #mirage
ebagdasa_ has quit [Remote host closed the connection]
dograt has quit [Quit: No Ping reply in 180 seconds.]
dograt has joined #mirage
_whitelogger has joined #mirage
_whitelogger_ has quit [Remote host closed the connection]
brson has quit [Quit: leaving]
ebagdasa_ has joined #mirage
andreas23 has joined #mirage
andreas231 has joined #mirage
ebagdasa_ has quit [Ping timeout: 256 seconds]
andreas23 has quit [Ping timeout: 256 seconds]
ebagdasa_ has joined #mirage
ebagdasa_ has quit [Ping timeout: 256 seconds]
ebagdasa_ has joined #mirage
ebagdasa_ has quit [Ping timeout: 265 seconds]
ebagdasa_ has joined #mirage
ebagdasa_ has quit [Ping timeout: 256 seconds]
smondet has quit [Ping timeout: 265 seconds]
agarwal1975 has quit [Quit: agarwal1975]
smondet has joined #mirage
ebagdasa_ has joined #mirage
ebagdasa_ has quit [Ping timeout: 264 seconds]
ebagdasa_ has joined #mirage
ebagdasa_ has quit [Ping timeout: 252 seconds]
agarwal1975 has joined #mirage