<div dir="ltr"><div>I realise that I hadn't opined here.</div><div><br></div><div>I'm in favour.<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Jan 13, 2022 at 11:51 PM Richard Eisenberg <<a href="mailto:lists@richarde.dev">lists@richarde.dev</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">That's a really good point. Do you want to raise it on the PR?<br>
<br>
Richard<br>
<br>
> On Jan 13, 2022, at 4:56 PM, Vladislav Zavialov (int-index) <<a href="mailto:vlad.z.4096@gmail.com" target="_blank">vlad.z.4096@gmail.com</a>> wrote:<br>
> <br>
> Can we guarantee erasure? Is `Warning flag msg => t` the same operationally as just `t`?<br>
> <br>
> The proposal does not say that. And it’s not what I would’ve expected from a constraint. Yet it’s something I expect from a warning.<br>
> <br>
> I am not comfortable with a design where adding a custom warning, the purpose of which is to improve developer experience, comes at a cost of potential performance regression.<br>
> <br>
> This isn’t a trade off that users of GHC should be facing.<br>
> <br>
> - Vlad<br>
> <br>
>> On 14 Jan 2022, at 00:47, Richard Eisenberg <<a href="mailto:lists@richarde.dev" target="_blank">lists@richarde.dev</a>> wrote:<br>
>> <br>
>> I vote to accept.<br>
>> <br>
>> Thanks,<br>
>> Richard<br>
>> <br>
>>> On Jan 13, 2022, at 11:19 AM, Tom Harding <<a href="mailto:i.am.tom.harding@gmail.com" target="_blank">i.am.tom.harding@gmail.com</a>> wrote:<br>
>>> <br>
>>> Hi all,<br>
>>> <br>
>>> As Joachim noted, #454 is extracted from Adam’s previous efforts with the Unsatisfiable constraint proposal (which has since been accepted). In short, it covers an interface for custom warnings, and I can already think of plenty of ways I’d use it. I’d therefore like to recommend acceptance, and discuss any issues or changes.<br>
>>> <br>
>>> Thanks,<br>
>>> Tom<br>
>>> _______________________________________________<br>
>>> ghc-steering-committee mailing list<br>
>>> <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@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-bin/mailman/listinfo/ghc-steering-committee</a><br>
>> <br>
>> _______________________________________________<br>
>> ghc-steering-committee mailing list<br>
>> <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@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-bin/mailman/listinfo/ghc-steering-committee</a><br>
> <br>
<br>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@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-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div>