<br><br>On Friday, November 8, 2013, Matthew Flatt  wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">At Fri, 8 Nov 2013 19:18:10 -0600, Robby Findler wrote:<br>

> On Fri, Nov 8, 2013 at 7:13 PM, Matthew Flatt <<a href="javascript:;" onclick="_e(event, 'cvml', 'mflatt@cs.utah.edu')">mflatt@cs.utah.edu</a>> wrote:<br>
><br>
> > Yes. Even if (as in the future) the current ring-0 packages weren't all<br>
> > the same git repository, I'd certainly at least try building them with<br>
> > this change.<br>
> ><br>
> > I think that running all the tests in the same way that DrDr does is<br>
> > not yet easy, but I hope we're moving in the direction of making that<br>
> > easier, and then my process can improve.<br>
> ><br>
> ><br>
> Well, if you've built them, then can't just you just run "raco test -xp<br>
> <put package names here>" and come back in a bit?<br>
<br>
I encounter two problems with that strategy:<br>
<br>
 * figuring out which of the 200+ package names to write; and<br>
<br>
 * many things fail immediately and most things are skipped, because<br>
   `raco test` doesn't use the test customizations in "props" the way<br>
   DrDr does.<br>
<br>
I would like to say `raco test -p main-distribution` to get essentially<br>
DrDr's results on my machine.<br>
<br></blockquote><div><br></div><div>That sounds nice. </div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
> > For now: I build, run some tests, and then push --- hoping that I can<br>
> > fix or revert quickly when DrDr uncovers problems.<br>
> ><br>
> ><br>
> Perhaps we should be thinking about generalizing the ring-0-based DrDr so<br>
> we can ask to try out changes?<br>
<br>
Yes, it would be great if you work on that. I think the way forward is<br>
to split out "props" information into "info.rkt" files, but I haven't<br>
had time to pursue that direction myself.<br>
<br></blockquote><div><br></div><div>That sounds like a better approach. It also seems likely to mesh better with the snapshot infrastructure you've built. </div><div><br></div><div>I would like to try that but I don't think I will get to it for several weeks,<span></span> so if someone else wanted to give it a try that'd be fantastic. </div>
<div><br></div><div>Robby</div>