Overlapping and incoherent instances

[Andreas Abel]

Or just OVERLAP
(applying the razor).

On 29.07.2014 17:56, Krzysztof Skrzętnicki wrote:
> How about CAN_OVERLAP?
>
> --
> Krzysztof
>
> 29-07-2014 15:40, "Brandon Allbery" <allbery.b at gmail.com
> <mailto:allbery.b at gmail.com>> napisał(a):
>
>     On Tue, Jul 29, 2014 at 8:33 AM, Andreas Abel
>     <andreas.abel at ifi.lmu.de <mailto: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 <mailto:allbery.b at gmail.com>
>     ballbery at sinenomine.net <mailto:ballbery at sinenomine.net>
>     unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net
>
>     _______________________________________________
>     Libraries mailing list
>     Libraries at haskell.org <mailto:Libraries at haskell.org>
>     http://www.haskell.org/mailman/listinfo/libraries
>


-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/