<div dir="ltr">Interesting!<br></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, May 2, 2013 at 4:20 PM, Jay McCarthy <span dir="ltr">&lt;<a href="mailto:jay.mccarthy@gmail.com" target="_blank">jay.mccarthy@gmail.com</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Thu, May 2, 2013 at 8:18 AM, Laurent &lt;<a href="mailto:laurent.orseau@gmail.com">laurent.orseau@gmail.com</a>&gt; wrote:<br>


&gt; Does this mean that if I include a test suite in my package and register it<br>
&gt; on PLaneT, the tests will be automatically run from your servers?<br>
<br>
</div>If you put a test suite in your package and register it on our<br>
catalog, and your package is ring 0, then it will be run.<br>
<div class="im"><br>
&gt; And if some test fails, the package will not be updated for those who run<br>
&gt; `raco pkg update` ?<br>
<br>
</div>No, you will be dropped to ring 1 or 2 and your package will have a<br>
warning on it. I hope to modify our update routine to notify you when<br>
such a thing happens so that users can decide not to upgrade/install<br>
your package.<br>
<span class="HOEnZb"><font color="#888888"><br>
Jay<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
&gt;<br>
&gt;<br>
&gt;<br>
&gt; On Thu, May 2, 2013 at 4:11 PM, Robby Findler &lt;<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>&gt;<br>
&gt; wrote:<br>
&gt;&gt;<br>
&gt;&gt; One thing perhaps worth mentioning, tho, is that there will be a curated<br>
&gt;&gt; package source where we will make significant efforts to avoid &quot;accidental&quot;<br>
&gt;&gt; bugs like this, by automatically running test suites, etc. Something much<br>
&gt;&gt; like the process that we use for Racket&#39;s git (except that in the case of<br>
&gt;&gt; Racket&#39;s git, the commits go in and *then* the tests run, not the other way<br>
&gt;&gt; around).<br>
&gt;&gt;<br>
&gt;&gt; Robby<br>
&gt;&gt;<br>
&gt;&gt;<br>
&gt;&gt; On Thu, May 2, 2013 at 9:01 AM, Jay McCarthy &lt;<a href="mailto:jay.mccarthy@gmail.com">jay.mccarthy@gmail.com</a>&gt;<br>
&gt;&gt; wrote:<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt; On Thu, May 2, 2013 at 7:29 AM, Matthew Flatt &lt;<a href="mailto:mflatt@cs.utah.edu">mflatt@cs.utah.edu</a>&gt; wrote:<br>
&gt;&gt;&gt; &gt; [Jay will have to correct me if I have any part of this wrong...]<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt; Nope, it was beautiful.<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt; &gt; At Thu, 2 May 2013 11:31:09 +0200, Laurent wrote:<br>
&gt;&gt;&gt; &gt; As an aside, the `raco pkg update&#39; action is not restricted to packages<br>
&gt;&gt;&gt; &gt; installed by package name; it also works with GutHub sources. If you<br>
&gt;&gt;&gt; &gt; install via<br>
&gt;&gt;&gt; &gt;<br>
&gt;&gt;&gt; &gt;  raco pkg install github://<a href="http://github.com/U/X/master" target="_blank">github.com/U/X/master</a><br>
&gt;&gt;&gt; &gt;<br>
&gt;&gt;&gt; &gt; then `raco pkg update&#39; fetches the HEAD commit from GitHub. Again, that<br>
&gt;&gt;&gt; &gt; install or update doesn&#39;t interact with the catalog. But it doesn&#39;t<br>
&gt;&gt;&gt; &gt; also<br>
&gt;&gt;&gt; &gt; help if the repository&#39;s HEAD commit is buggy.<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt; One little note, the part of this URL &#39;master&#39; can refer to any branch<br>
&gt;&gt;&gt; or tag. You could ask the developers to create a tag/branch for the<br>
&gt;&gt;&gt; correct commit. Or you could fork their repository and then revert the<br>
&gt;&gt;&gt; offending commit yourself (or create a tag, etc.) That&#39;s yet another<br>
&gt;&gt;&gt; solution to the problem.<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt; Jay<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt; --<br>
&gt;&gt;&gt; Jay McCarthy &lt;<a href="mailto:jay@cs.byu.edu">jay@cs.byu.edu</a>&gt;<br>
&gt;&gt;&gt; Assistant Professor / Brigham Young University<br>
&gt;&gt;&gt; <a href="http://faculty.cs.byu.edu/~jay" target="_blank">http://faculty.cs.byu.edu/~jay</a><br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt; &quot;The glory of God is Intelligence&quot; - D&amp;C 93<br>
&gt;&gt;&gt; ____________________<br>
&gt;&gt;&gt;   Racket Users list:<br>
&gt;&gt;&gt;   <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
&gt;&gt;<br>
&gt;&gt;<br>
&gt;&gt;<br>
&gt;&gt; ____________________<br>
&gt;&gt;   Racket Users list:<br>
&gt;&gt;   <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
&gt;&gt;<br>
&gt;<br>
<br>
<br>
<br>
--<br>
Jay McCarthy &lt;<a href="mailto:jay@cs.byu.edu">jay@cs.byu.edu</a>&gt;<br>
Assistant Professor / Brigham Young University<br>
<a href="http://faculty.cs.byu.edu/~jay" target="_blank">http://faculty.cs.byu.edu/~jay</a><br>
<br>
&quot;The glory of God is Intelligence&quot; - D&amp;C 93<br>
</div></div></blockquote></div><br></div>