<div dir="ltr">We could make all of hackage be part of the ghc build, and it would turn up bugs. But we don't do that either. Why is dph special?<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Jan 22, 2016 at 3:17 PM, Geoffrey Mainland <span dir="ltr"><<a href="mailto:mainland@apeiron.net" target="_blank">mainland@apeiron.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5">On 1/22/16 8:05 AM, Ben Gamari wrote:<br>
> Manuel M T Chakravarty <<a href="mailto:chak@cse.unsw.edu.au">chak@cse.unsw.edu.au</a>> writes: > >> The way I see it, the main cost of keeping DPH around is to handle<br>
>> breakages such as that with vector. I can’t promise to address those<br>
>> in a timely manner, which is why I agreed to disable/remove DPH. >><br>
>> However, as Geoff stepped forward, this issue is solved. As for the<br>
>> overhead in compile time etc, I don’t think, it is that much of a >><br>
deal. During development, most compiles runs are incremental anyway. >><br>
> Judging by the VCS history it seems that nothing happened in response<br>
to > this thread. Geoff, do you see yourself having time to pick this up<br>
in > the near future? > > If not, perhaps we should pick up this matter<br>
again and seriously > consider parking this code in a branch until<br>
someone is able to pick it > up again. > > Cheers, > > - Ben<br>
<br>
</div></div>Yes, I am willing to do the work to get DPH back into the build in the<br>
near future. However, that only makes sense if we are willing to build<br>
DPH regularly. Also, I can't be solely responsible for all breakage<br>
resulting from DPH; DPH has regularly exposed bugs in the past, which is<br>
one reason to get it back into the regular build, but I can't promise to<br>
fix all problems that might be exposed by DPH in the future :)<br>
<br>
If I put a patch on Phab that updates DPH, are we willing to make DPH<br>
part of the regular validation script again?<br>
<br>
Cheers,<br>
<span class="">Geoff<br>
<br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
</span><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div><br></div>