<div dir="ltr">Ok, thanks Gracjan!<div><br></div><div>Ben, could I ask you to pull from:</div><div><a href="https://github.com/michalt/nofib/tree/fibon">https://github.com/michalt/nofib/tree/fibon</a></div><div>(<a href="mailto:https://github.com/michalt/nofib.git">https://github.com/michalt/nofib.git</a> branch `fibon`)</div><div>Or if you prefer Phab, let me know if there's some magic incantation</div><div>to make it work with this patch (`arc` currently crashes for me)<br></div><div><br></div><div>Thanks,</div><div>Michal</div><br><div class="gmail_quote"><div dir="ltr">On Tue, Mar 14, 2017 at 9:32 PM Gracjan Polak <<a href="mailto:gracjanpolak@gmail.com">gracjanpolak@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr" class="gmail_msg">I'm not working on it and do not plan to start again.<div class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg">Looks like fibon never worked and wasn't used for anything, so it should be removed. Still it would make sense to replace this code with something used as part of normal nofib test cases.</div></div><div class="gmail_extra gmail_msg"><br class="gmail_msg"><div class="gmail_quote gmail_msg"></div></div><div class="gmail_extra gmail_msg"><div class="gmail_quote gmail_msg">2017-03-14 19:59 GMT+01:00 Michal Terepeta <span dir="ltr" class="gmail_msg"><<a href="mailto:michal.terepeta@gmail.com" class="gmail_msg" target="_blank">michal.terepeta@gmail.com</a>></span>:<br class="gmail_msg"></div></div><div class="gmail_extra gmail_msg"><div class="gmail_quote gmail_msg"><blockquote class="gmail_quote gmail_msg" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr" class="gmail_msg"><div class="gmail_msg"><div class="gmail_msg"><div class="gmail_msg">Hi all,</div><div class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg">I wanted to remove `fibon` (from `nofib`) - it's broken, abandoned</div><div class="gmail_msg">upstream (no commits in 5 years) and I'm not aware of anyone using it</div><div class="gmail_msg">or working on it. At this point I don't think it makes sense to try to</div><div class="gmail_msg">revive it - I'd prefer putting the time/effort into getting a few new</div><div class="gmail_msg">benchmarks.</div><div class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg">There were already discussions about removing it in</div><div class="gmail_msg"><a href="https://ghc.haskell.org/trac/ghc/ticket/11501" class="gmail_msg" target="_blank">https://ghc.haskell.org/trac/ghc/ticket/11501</a></div><div class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg">If someone is actually working on getting it to work again, please</div><div class="gmail_msg">shout!</div><div class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg">Thanks,</div><div class="gmail_msg">Michal</div><div class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg">PS. I've tried uploading the patch to Phab, but I think it's just too</div><div class="gmail_msg">large (arc is crashing). So I've uploaded it to github:</div><div class="gmail_msg"><a href="https://github.com/michalt/nofib/tree/fibon" class="gmail_msg" target="_blank">https://github.com/michalt/nofib/tree/fibon</a></div></div></div><div class="gmail_msg"><br class="gmail_msg"></div></div>
<br class="gmail_msg"></blockquote></div></div><div class="gmail_extra gmail_msg"><div class="gmail_quote gmail_msg"><blockquote class="gmail_quote gmail_msg" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">_______________________________________________<br class="gmail_msg">
ghc-devs mailing list<br class="gmail_msg">
<a href="mailto:ghc-devs@haskell.org" class="gmail_msg" target="_blank">ghc-devs@haskell.org</a><br class="gmail_msg">
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" class="gmail_msg" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br class="gmail_msg">
<br class="gmail_msg"></blockquote></div><br class="gmail_msg"></div>
</blockquote></div></div>