<div dir="ltr"><div><div class="gmail_extra">IMO, it&#39;s reasonable to allow this, but there&#39;s one minor sticky bit.</div><div class="gmail_extra"><br></div><div class="gmail_extra">async&#39;s only dependency is stm, and it&#39;s also part of the platform, so I expect it will be relatively stable. In this case, perhaps we should just add &#39;async&#39; to the set of &#39;extra&#39; libraries for ./sync-all, which can be built with the compiler. Then, it should be easy to add tests for nofib (and even testsuite, if people find bugs.) stm is already one of the &#39;extra&#39; libraries, and there are a few smp benchmarks that use it too, so this doesn&#39;t really change anything in that regard.<br>
<br>The main thing is that async isn&#39;t under our normal package structure, so we&#39;ll either need to A) mirror it, or B) we need to add support for ./sync-all to sync with an arbitrary HTTP url or something, and point it to Simon&#39;s repository as an extra package.</div>
<div class="gmail_extra"><br></div><div class="gmail_extra">I&#39;m in favor of 2 since then we don&#39;t have to maintain an unnecessary mirror, and also, because it might be useful later for similar things.</div><div class="gmail_extra">
<br></div><div class="gmail_extra">Thoughts?<br><br><div class="gmail_quote">On Fri, Aug 16, 2013 at 6:58 AM, Simon Peyton-Jones <span dir="ltr">&lt;<a href="mailto:simonpj@microsoft.com" target="_blank">simonpj@microsoft.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 lang="EN-GB" link="blue" vlink="purple">
<div>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1f497d">(devs: this thread is about adding useful new benchmarks to nofib.)<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1f497d"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1f497d">Oh bother. I’d forgotten about dependencies. I don’t want to make building nofib depend on libraries other those in GHC anyway (bytestring,
 unix ok, asynch perhaps not).  If that makes it tricky, maybe we should give up on the idea.<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1f497d"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1f497d">S<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1f497d"><u></u> <u></u></span></p>
<div style="border:none;border-left:solid blue 1.5pt;padding:0cm 0cm 0cm 4.0pt">
<div>
<div style="border:none;border-top:solid #e1e1e1 1.0pt;padding:3.0pt 0cm 0cm 0cm">
<p class="MsoNormal"><b><span lang="EN-US" style="font-size:11.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;">From:</span></b><span lang="EN-US" style="font-size:11.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;"> José Pedro Magalhães [mailto:<a href="mailto:jose.pedro.magalhaes@cs.ox.ac.uk" target="_blank">jose.pedro.magalhaes@cs.ox.ac.uk</a>]
<br>
<b>Sent:</b> 05 August 2013 08:41<br>
<b>To:</b> Simon Peyton-Jones<br>
<b>Subject:</b> Re: lambda mining<u></u><u></u></span></p>
</div>
</div>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
I&#39;m not entirely sure how to do that, though. Do I just add it to the &quot;real&quot; subset?<br>
How about dependencies (e.g. bytestring &gt;= 0.9, unix &gt;= 2.5.0, async &gt;= 2.0.0.0, ...)<br>
<br>
<br>
Cheers,<br>
Pedro<u></u><u></u></p>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6.0pt;margin-left:0cm">
On Fri, Aug 2, 2013 at 9:02 AM, Simon Peyton-Jones &lt;<a href="mailto:simonpj@microsoft.com" target="_blank">simonpj@microsoft.com</a>&gt; wrote:<u></u><u></u></p>
<blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm">
<div>
<div>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:&quot;Verdana&quot;,&quot;sans-serif&quot;;color:#1f497d">great!  Just add it :-)</span><u></u><u></u></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:&quot;Verdana&quot;,&quot;sans-serif&quot;;color:#1f497d"><br>
simon</span><u></u><u></u></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:&quot;Verdana&quot;,&quot;sans-serif&quot;;color:#1f497d"> </span><u></u><u></u></p>
<div style="border:none;border-left:solid blue 1.5pt;padding:0cm 0cm 0cm 4.0pt">
<div>
<div style="border:none;border-top:solid #b5c4df 1.0pt;padding:3.0pt 0cm 0cm 0cm">
<p class="MsoNormal"><b><span lang="EN-US" style="font-size:10.0pt;font-family:&quot;Tahoma&quot;,&quot;sans-serif&quot;">From:</span></b><span lang="EN-US" style="font-size:10.0pt;font-family:&quot;Tahoma&quot;,&quot;sans-serif&quot;"> José
 Pedro Magalhães [mailto:<a href="mailto:jpm@cs.ox.ac.uk" target="_blank">jpm@cs.ox.ac.uk</a>]
<br>
<b>Sent:</b> 30 July 2013 07:48<br>
<b>To:</b> Simon Peyton-Jones<br>
<b>Cc:</b> Nicolas Wu; Wouter Swierstra; Jeroen Bransen<br>
<b>Subject:</b> Re: lambda mining</span><u></u><u></u></p>
</div>
</div>
<div>
<div>
<p class="MsoNormal"> <u></u><u></u></p>
<p class="MsoNormal" style="margin-bottom:12.0pt">Hi Simon,<br>
<br>
(CC-ing co-authors)<br>
<br>
Yes, I think it might work fine. Its running time can also be adjusted easily, depending on the maps<br>
given as input and some internal parameters. How would we go about adding it to nofib?<br>
<br>
<br>
Thanks,<br>
Pedro<u></u><u></u></p>
<div>
<p class="MsoNormal">On Tue, Jul 30, 2013 at 7:04 AM, Simon Peyton-Jones &lt;<a href="mailto:simonpj@microsoft.com" target="_blank">simonpj@microsoft.com</a>&gt; wrote:<u></u><u></u></p>
<div>
<div>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:&quot;Verdana&quot;,&quot;sans-serif&quot;">Pedro</span><u></u><u></u></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:&quot;Verdana&quot;,&quot;sans-serif&quot;"> </span><u></u><u></u></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:&quot;Verdana&quot;,&quot;sans-serif&quot;">Wandering past your home page I took a look at your “lambda mining” paper.  Would it be suitable as a nofib benchmark?
 Moderate size, authentic code...  Would you be interested?</span><u></u><u></u></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:&quot;Verdana&quot;,&quot;sans-serif&quot;;color:#888888"> </span><u></u><u></u></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:&quot;Verdana&quot;,&quot;sans-serif&quot;;color:#888888">Simon</span><u></u><u></u></p>
</div>
</div>
</div>
<p class="MsoNormal"> <u></u><u></u></p>
</div>
</div>
</div>
</div>
</div>
</blockquote>
</div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
</div>
</div>

<br>_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/ghc-devs" target="_blank">http://www.haskell.org/mailman/listinfo/ghc-devs</a><br>
<br></blockquote></div><br><br clear="all"><div><br></div>-- <br><div dir="ltr">Regards,<br>Austin - PGP: 4096R/0x91384671</div>
</div></div></div>