<div dir="ltr">Hello,<div><br></div><div>I have no strong feelings about what words we use, but I wanted to point out that while we are thinking of names, we may want to consider 3 (and not just 2).  Currently we have:</div>
<div>  * OVERLAPPING:   This instances may overlap existing instances</div><div>  * OVERLAPPABLE: This instance may be overlapped by existing instances</div><div>  * OVERLAPS:  This instance is both OVERLAPPING and OVERLAPPABLE</div>
<div><br></div><div>Of course, the 3rd one (OVERLAPS) could be replaced by a comma separated list of the first two, but I could not see how to make this work easily with GHC's pragmas.  It would not be hard to simply allow 2 pragmas after the `instance` keyword, but both of those seem rather long.</div>
<div><br></div><div>Either way, I'll keep an eye on the discussion, and would be happy to change the names if a consesus is reached.</div><div><br></div><div>-Iavor</div><div><br></div><div><br></div><div><br></div><div>
<br></div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Jul 29, 2014 at 9:57 AM, David Thomas <span dir="ltr"><<a href="mailto:davidleothomas@gmail.com" target="_blank">davidleothomas@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Honestly, I think "OVERLAPS" and "OVERLAPPED" are perfectly clear.<br>
<div class="HOEnZb"><div class="h5"><br>
On Tue, Jul 29, 2014 at 9:52 AM, David Feuer <<a href="mailto:david.feuer@gmail.com">david.feuer@gmail.com</a>> wrote:<br>
> CAN-OVERLAP and CAN-BE-OVERLAPPED are nice and clear. A little long, perhaps.<br>
><br>
> On Tue, Jul 29, 2014 at 12:29 PM, Simon Peyton Jones<br>
> <<a href="mailto:simonpj@microsoft.com">simonpj@microsoft.com</a>> wrote:<br>
>> CAN_OVERLAP and CAN_BE_OVERLAPPED?<br>
>><br>
>><br>
>><br>
>> (instead of OVERLAPPING and OVERLAPPABLE)<br>
>><br>
>><br>
>><br>
>> Or CAN-OVERLAP, CAN-BE-OVERLAPPED<br>
>><br>
>><br>
>><br>
>> That’s ok with me if that’s what you all want!<br>
>><br>
>><br>
>><br>
>> Simon<br>
>><br>
>><br>
>><br>
>> From: Glasgow-haskell-users<br>
>> [mailto:<a href="mailto:glasgow-haskell-users-bounces@haskell.org">glasgow-haskell-users-bounces@haskell.org</a>] On Behalf Of Krzysztof<br>
>> Skrzetnicki<br>
>> Sent: 29 July 2014 16:56<br>
>> To: Brandon Allbery<br>
>> Cc: Simon Peyton Jones; Andreas Abel; GHC users; Haskell Libraries<br>
>> (<a href="mailto:libraries@haskell.org">libraries@haskell.org</a>); ghc-devs<br>
>><br>
>><br>
>> Subject: Re: Overlapping and incoherent instances<br>
>><br>
>><br>
>><br>
>> How about CAN_OVERLAP?<br>
>><br>
>> --<br>
>> Krzysztof<br>
>><br>
>> 29-07-2014 15:40, "Brandon Allbery" <<a href="mailto:allbery.b@gmail.com">allbery.b@gmail.com</a>> napisał(a):<br>
>><br>
>> On Tue, Jul 29, 2014 at 8:33 AM, Andreas Abel <<a href="mailto:andreas.abel@ifi.lmu.de">andreas.abel@ifi.lmu.de</a>><br>
>> wrote:<br>
>><br>
>> +1. I like Niklas' syntax better.  Also OVERLAPPABLE is a horrible word,<br>
>> OVERLAPPING sound less formidable (even though it might be slightly less<br>
>> accurrate).<br>
>><br>
>><br>
>><br>
>> We already get "overlap ok" in instance-related type errors, so OVERLAP_OK<br>
>> wouldn't be particularly alien even if it doesn't quite fit in with existing<br>
>> pragmas.<br>
>><br>
>><br>
>><br>
>> --<br>
>><br>
>> brandon s allbery kf8nh                               sine nomine associates<br>
>><br>
>> <a href="mailto:allbery.b@gmail.com">allbery.b@gmail.com</a>                                  <a href="mailto:ballbery@sinenomine.net">ballbery@sinenomine.net</a><br>
>><br>
>> unix, openafs, kerberos, infrastructure, xmonad        <a href="http://sinenomine.net" target="_blank">http://sinenomine.net</a><br>
>><br>
>><br>
>> _______________________________________________<br>
>> Libraries mailing list<br>
>> <a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
>> <a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/mailman/listinfo/libraries</a><br>
>><br>
>><br>
>> _______________________________________________<br>
>> Libraries mailing list<br>
>> <a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
>> <a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/mailman/listinfo/libraries</a><br>
>><br>
> _______________________________________________<br>
> Libraries mailing list<br>
> <a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
> <a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/mailman/listinfo/libraries</a><br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/mailman/listinfo/libraries</a><br>
</div></div></blockquote></div><br></div>