<div dir="ltr">(looks like I&#39;m misunderstanding this option. Forget about it.)<br></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Jun 26, 2013 at 10:30 AM, Laurent <span dir="ltr">&lt;<a href="mailto:laurent.orseau@gmail.com" target="_blank">laurent.orseau@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 dir="ltr"><div>Much better indeed, but maybe there is still some redundancy left with the `<span>setup-collects&#39; option?<br>

<a href="http://docs.racket-lang.org/pkg/metadata.html" target="_blank">http://docs.racket-lang.org/pkg/metadata.html</a><span class="HOEnZb"><font color="#888888"><br>
<br></font></span></span></div><span class="HOEnZb"><font color="#888888"><div><span></span></div><span>Laurent<br></span></font></span></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><br><div class="gmail_quote">

On Tue, Jun 25, 2013 at 11:08 PM, Matthias Felleisen <span dir="ltr">&lt;<a href="mailto:matthias@ccs.neu.edu" target="_blank">matthias@ccs.neu.edu</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
+1<br>
<div><div><br>
On Jun 25, 2013, at 4:27 PM, Sam Tobin-Hochstadt wrote:<br>
<br>
&gt; On Tue, Jun 25, 2013 at 4:24 PM, Matthew Flatt &lt;<a href="mailto:mflatt@cs.utah.edu" target="_blank">mflatt@cs.utah.edu</a>&gt; wrote:<br>
&gt;&gt;<br>
&gt;&gt; So, I think it&#39;s better to define `collection&#39;:<br>
&gt;<br>
&gt; [snip]<br>
&gt;<br>
&gt; I think this is a definite improvement.<br>
&gt;<br>
&gt; Sam<br>
&gt; _________________________<br>
&gt;  Racket Developers list:<br>
&gt;  <a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/dev</a><br>
<br>
_________________________<br>
  Racket Developers list:<br>
  <a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/dev</a><br>
</div></div></blockquote></div><br></div>
</div></div></blockquote></div><br></div>