<div dir="ltr">I'm fully on board with just moving ahead with this simple change for now. It'd be nice to have a better defaulting story, but I'm not sure there _is_ a perfect solution in the wings.<div><br></div><div>-Edward</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Aug 12, 2015 at 12:14 PM, Dan Doel <span dir="ltr"><<a href="mailto:dan.doel@gmail.com" target="_blank">dan.doel@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">So, I rather lost track of this. It has been (significantly) more than<br>
the specified amount of time, though.<br>
<br>
No one has stepped up to specify/implement the new extended defaulting<br>
to my knowledge. I'm not sure how much time is left before 7.12, but I<br>
would guess it'd be tight for someone to start on this now. Perhaps<br>
I'm wrong.<br>
<br>
Anyhow, I think we should modify the instance at this point. I think<br>
it's even cool to say we can roll it back if someone decides to beef<br>
up defaulting, in which case rolling it back should cause no<br>
regressions. But it doesn't seem like defaulting is going to happen.<br>
<span class="HOEnZb"><font color="#888888"><br>
-- Dan<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
On Sun, May 17, 2015 at 8:08 PM, Dan Doel <<a href="mailto:dan.doel@gmail.com">dan.doel@gmail.com</a>> wrote:<br>
> Greetings,<br>
><br>
> Today, someone came into #haskell and asked why they couldn't type the<br>
> equivalent of:<br>
><br>
>     > "hi" ++ "bye"<br>
><br>
> into GHCi with OverloadedStrings enabled. The answer is that it's ambiguous,<br>
> because (++) only determines the strings to be [a], and not [Char].<br>
><br>
> I noticed that this could actually be solved by making the instance:<br>
><br>
>     instance (a ~ Char) => IsString [a] where ...<br>
><br>
> Which causes [Char] to be inferred as soon as [a] is. I then searched my<br>
> libraries mail and noticed that we'd discussed this two years ago. The<br>
> proposal for this instance change was rejected based on ExtendedDefaultRules<br>
> being beefed up to solve this case. But then no one actually implemented the<br>
> better defaulting.<br>
><br>
> So, I'm proposing that the issue be fixed for real. I'm not terribly<br>
> concerned with how it gets fixed, but there's not a great reason for this to<br>
> not behave better than it currently does. If someone steps up and makes<br>
> defaulting better, than that's great. But if not, then the libraries<br>
> committee can fix this very easily for GHC 7.12, and I think it's better to<br>
> do so than to wait if there are no signs that the alternative is going to<br>
> happen.<br>
><br>
> I don't think we need to nail down which of the two solutions we're going to<br>
> choose right now, but it'd be good to resolve that we're going to fix it,<br>
> one way or another, by some well defined date.<br>
><br>
> Here's a link to the previous discussion:<br>
><br>
>   <a href="http://comments.gmane.org/gmane.comp.lang.haskell.libraries/20088" rel="noreferrer" target="_blank">http://comments.gmane.org/gmane.comp.lang.haskell.libraries/20088</a><br>
><br>
> Discussion period: 2 weeks<br>
><br>
> -- Dan<br>
</div></div><div class="HOEnZb"><div class="h5">_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</div></div></blockquote></div><br></div>