15:54 <hannes> anyone up for crazy ideas?

15:55 <Drup> I spend 3 hour debugging an out of order AST traversal for the eliom ppx, shoot me. x)

15:56 <hannes> Drup: where would you put pretty printers for types defined in mirage-types?

15:57 <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?

15:58 <Drup> how could it be in mirage, aren't the types in mirage-types abstract ?

15:58 <hannes> well, it could be in mirage-types, but that currently does not contain any actual code, only types..

15:59 <hannes> there are some non-abstract types, such as type error in network, ethernet, block, fs..

16:00 <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)