Re: Overlapping and incoherent instances

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" mailto:allbery.b@gmail.com> napisał(a):

On Tue, Jul 29, 2014 at 8:33 AM, Andreas Abel mailto:andreas.abel@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@gmail.com mailto:allbery.b@gmail.com ballbery@sinenomine.net mailto:ballbery@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net

_______________________________________________ Libraries mailing list Libraries@haskell.org mailto:Libraries@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@gu.se http://www2.tcs.ifi.lmu.de/~abel/