Overlapping and incoherent instances

Brandon Allbery allbery.b at gmail.com
Tue Jul 29 13:40:08 UTC 2014


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20140729/f6781bb3/attachment.html>


More information about the Libraries mailing list