Overlapping and incoherent instances

Krzysztof Skrzętnicki gtener at gmail.com
Tue Jul 29 15:56:02 UTC 2014


How about CAN_OVERLAP?

--
Krzysztof
 29-07-2014 15:40, "Brandon Allbery" <allbery.b at gmail.com> napisał(a):

> On Tue, Jul 29, 2014 at 8:33 AM, Andreas Abel <andreas.abel at ifi.lmu.de>
> wrote:
>
>> +1. I like Niklas' syntax better.  Also OVERLAPPABLE is a horrible word,
>> OVERLAPPING sound less formidable (even though it might be slightly less
>> accurrate).
>
>
> We already get "overlap ok" in instance-related type errors, so OVERLAP_OK
> wouldn't be particularly alien even if it doesn't quite fit in with
> existing pragmas.
>
> --
> brandon s allbery kf8nh                               sine nomine
> associates
> allbery.b at gmail.com
> ballbery at sinenomine.net
> unix, openafs, kerberos, infrastructure, xmonad
> http://sinenomine.net
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://www.haskell.org/mailman/listinfo/libraries
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20140729/8d18d8e9/attachment.html>


More information about the Libraries mailing list