<div dir="ltr"><div>Having a deprecation path for instances would be hugely useful.  It'd also be extremely useful to be able to do other refactors with typeclasses, such as splitting or merging them, perhaps using constraint synonyms.<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Nov 25, 2019 at 11:28 AM Andreas Abel <<a href="mailto:andreas.abel@ifi.lmu.de">andreas.abel@ifi.lmu.de</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">Derailing...<br>
Incidently, I recently asked for a "instance warning" feature in GHC:<br>
<br>
   <a href="https://gitlab.haskell.org/ghc/ghc/issues/17485" rel="noreferrer" target="_blank">https://gitlab.haskell.org/ghc/ghc/issues/17485</a><br>
<br>
(In my case I could go with a TypeError constraint instead.)<br>
<br>
Maybe instance warnings could be a useful feature.  It could be <br>
implemented along the TypeError mechanism.<br>
<br>
On 2019-11-24 18:35, Henning Thielemann wrote:<br>
> <br>
> On Sun, 24 Nov 2019, Dan Burton wrote:<br>
> <br>
>> We're talking about an instance in `base`, so if there's no other way, <br>
>> it could at least be a flag akin to<br>
>> -Wmissing-monadfail-instances that gets included in -Wcompat.<br>
>> But relatedly: should there be a way to deprecate instances? I would <br>
>> say yes.<br>
> <br>
> Sounds like another application of instance warnings that we already <br>
> talked about:<br>
>     <a href="https://gitlab.haskell.org/ghc/ghc/issues/11796" rel="noreferrer" target="_blank">https://gitlab.haskell.org/ghc/ghc/issues/11796</a><br>
> _______________________________________________<br>
> Libraries mailing list<br>
> <a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div>