01:41 <yomimono> drup: if I'm always getting strange results when I nest if_impl's three deep, what's the best way to try troubleshooting this?

01:49 <Drup> strange as in ?

01:51 <yomimono> I'll assemble a gist, which will also help me discover whatever silly mistake I'm undoubtedly making

01:52 <yomimono> in the meantime the nested expression is at https://github.com/yomimono/mirage/blob/qubes-target-ipv4-integrated/lib/mirage.ml#L977 , just in case you glance at it and see something wrong immediately

01:55 <Drup> I do not

01:55 <Drup> what kind of issue do you get ?

01:59 <yomimono> when I build with mirage configure -t unix --dhcp true, I get invocations of Qubes_ipv4.Make

01:59 <yomimono> if I rearrange the order of the if_impl's, it's the other way around with functoria trying to feed a Dhcp module to Qubes_ipv4.Make

02:00 <Drup> huho

02:00 <yomimono> maybe there's some equivalence there that I accidentally implied? trying to state this more clearly it's definitely some relation between the dhcp stuff and qubes stuff, not the level of nesting, sorry

02:00 <yomimono> (I knew that was a bit too wild to be true)

02:00 <Drup> I'll look at it tomorrow

02:01 <Drup> "mirage --dot --eval" can help you

02:01 <yomimono> sure, I'll try to state it a bit more clearly and maybe file an issue if I succeed in that

02:01 <Drup> (in the meantime)

02:01 <yomimono> yeah, I've been squiinting at that

02:02 <yomimono> that does indeed say "yes, I'm building you a nice ipv4 with Qubes_ipv4", which... I did know that

02:03 <yomimono> and that this depends on Dhcp_client_mirage, which I knew and am also mystified by

02:03 <yomimono> anyway, thanks and I'll try to reduce this to something easier to deal with

02:06 <Drup> if you have qubes by itself, does it has the dependency too ?

02:07 <Drup> (expose just qubes_ipv4_stack and use it independently)

02:13 <yomimono> I did testing by removing the dhcp branches in generic_stackv4 and had no difficulty

02:13 <yomimono> which isn't quite what you're asking, but might answer your question anyway

02:13 <yomimono> ?

02:18 <Drup> yeah

02:18 <Drup> I'll see tomorrow ! :p

10:25 <miragebot> mirage/master 13f6357 Hannes Mehnert: Merge pull request #665 from hannesm/console...

10:25 <miragebot> mirage/master 108ede7 Hannes Mehnert: adjust to new mirage-console-* package layout

10:25 <miragebot> [mirage] hannesm pushed 2 new commits to master: https://git.io/vXKV9