
<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><br><div><div>On Apr 16, 2014, at 10:33 AM, Richard Smith <<a href="mailto:richard@metafoo.co.uk">richard@metafoo.co.uk</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div dir="ltr">I think this would benefit from further refinement.<div><br></div><div>1) If a submodule's header is missing, and that submodule would have been unavailable anyway (because, say, it requires some feature that's not present for the current build), we shouldn't make the parent module unavailable.</div></div></blockquote><div><br></div><div>Right, makes sense.</div><br><blockquote type="cite"><div dir="ltr">

<div><br></div><div>2) If we mark a module unavailable, we should mark all of its submodules unavailable too. (The existing approach also had this problem, but it's rare for a module to contain both headers and submodules, so I guess it seldom happens in practice.)</div></div></blockquote><div><br></div><div>Yep.</div><div><br></div><div>Updated patch attached.</div><div><br></div><div>Ben</div><div><br></div><div></div></div></body></html>