<div dir="ltr">+1 from me too.  Needing to add Show constraints when using trace seems like it might be a problem, but in practice (at least for me) it never has been. <div><br></div><div>If it's only a debugging feature, it doesn't help with Eval, either.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On 13 March 2017 at 00:50, Manuel M T Chakravarty <span dir="ltr"><<a href="mailto:chak@justtesting.org" target="_blank">chak@justtesting.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">+1<br>
<div class="HOEnZb"><div class="h5"><br>
> Am 13.03.2017 um 02:52 schrieb Roman Leshchinskiy <<a href="mailto:rleshchinskiy@gmail.com">rleshchinskiy@gmail.com</a>>:<br>
><br>
> Hi,<br>
><br>
> I propose we reject this.<br>
><br>
> Reasons:<br>
><br>
> 1. The motivation is quite weak. In the case of tracing this seems<br>
> like a rather large hammer for such a small nail. The other examples<br>
> in the document aren't convincing to me at all. As Simon PJ points<br>
> out, a wildcard context would handle most of the cases in question.<br>
><br>
> 2. The extension is dangerous, as the proposal itself acknowledges. It<br>
> explicitly requires that "Hackage should refuse to accept any package<br>
> upload" with this pragma. To me, this seems like far too much<br>
> machinery for this (and a lot of people don't use Hackage). A compiler<br>
> flag might be more reasonable but even then, I don't see the benefits<br>
> as being worth it.<br>
><br>
> 3. The extension is underspecified. It's not clear to me what the<br>
> exact semantics are and what an implementation would look like.<br>
><br>
> Thanks,<br>
><br>
> Roman<br>
> ______________________________<wbr>_________________<br>
> ghc-steering-committee mailing list<br>
> <a href="mailto:ghc-steering-committee@haskell.org">ghc-steering-committee@<wbr>haskell.org</a><br>
> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/ghc-<wbr>steering-committee</a><br>
<br>
______________________________<wbr>_________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org">ghc-steering-committee@<wbr>haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/ghc-<wbr>steering-committee</a><br>
</div></div></blockquote></div><br></div>