<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Sep 17, 2013 at 7:41 AM, Matthew Flatt <span dir="ltr"><<a href="mailto:mflatt@cs.utah.edu" target="_blank">mflatt@cs.utah.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">At Tue, 17 Sep 2013 08:31:26 -0400, Sam Tobin-Hochstadt wrote:<br>
> On Tue, Sep 17, 2013 at 8:15 AM, Matthew Flatt <<a href="mailto:mflatt@cs.utah.edu">mflatt@cs.utah.edu</a>> wrote:<br>
> ><br>
> > In this particular case, if `raco setup` hadn't reported failure, the<br>
> > builds might have hobbled along; I'm not sure. The snapshot build<br>
> > generally relies on dependencies being accurate, and I don't think it's<br>
> > worth thinking hard about which inaccuracies might be survivable for a<br>
> > distribution build.<br>
><br>
> Can you say more about how the dependency info is used in the snapshot<br>
> build process? In this case, I would think that the minimal build<br>
> doesn't include either package involved in this, and the regular build<br>
> includes both. Would that mean that the dependency error wouldn't<br>
> break things?<br>
<br>
</div>I think you're correct, but..<br>
<div class="im"><br>
> Or are there other uses of the dependency info in the<br>
> snapshot process?<br>
<br>
</div>... I wouldn't bet against that.<br>
<br>
I think the snapshot system is solid, but my experience over many small<br>
changes to the package system is that any invariant is used in more<br>
places than I remember; when we change or remove some assumption, then<br>
I end up fixing more places than I expect.<br>
<br>
It might be, for example, that installers would get created<br>
successfully, but installation would somehow trip over the assumption<br>
that `raco setup` won't report any errors in an initial install. Or<br>
maybe the install works, but as soon as you try to install a package,<br>
it runs into the same problem. I don't see either of those things<br>
happening in this case, but those are examples of where I may have<br>
overlooked something.<br>
<br>
</blockquote></div><br></div><div class="gmail_extra">This reminds me a lot of how Jacob would talk while he was working on planet. :)</div><div class="gmail_extra"><br>Robby</div></div>