<p dir="ltr">I just closed mine as a duplicate of yours.</p>
<div class="gmail_quote">On Oct 23, 2015 1:55 AM, "Andres Löh" <<a href="mailto:andres.loeh@gmail.com">andres.loeh@gmail.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Actually, #9091 was the one I was really looking for ... reported by<br>
me. See also the discussion about "given" vs. "wanted" constraints.<br>
<br>
Cheers,<br>
  Andres<br>
<br>
On Fri, Oct 23, 2015 at 7:48 AM, David Feuer <<a href="mailto:david.feuer@gmail.com">david.feuer@gmail.com</a>> wrote:<br>
> I opened <a href="https://ghc.haskell.org/trac/ghc/ticket/10954" rel="noreferrer" target="_blank">https://ghc.haskell.org/trac/ghc/ticket/10954</a> for this. #9479, by<br>
> Dominique Devriese, is complementary--she wants instance information for a<br>
> *hole* with an ambiguous type.<br>
><br>
> On Oct 23, 2015 1:28 AM, "Andres Löh" <<a href="mailto:andres.loeh@gmail.com">andres.loeh@gmail.com</a>> wrote:<br>
>><br>
>> Hi.<br>
>><br>
>> On Oct 23, 2015 01:15, "Manuel M T Chakravarty" <<a href="mailto:chak@justtesting.org">chak@justtesting.org</a>><br>
>> wrote:<br>
>> ><br>
>> > I think, this is a good point. Maybe you should make a ticket for it.<br>
>><br>
>> #9479, I think.<br>
>><br>
>> Cheers,<br>
>> Andres<br>
>><br>
>> >> David Feuer <<a href="mailto:david.feuer@gmail.com">david.feuer@gmail.com</a>>:<br>
>> >><br>
>> >> Unless something has changed really recently that I've missed, the<br>
>> >> typed holes messages are missing some really important information: instance<br>
>> >> information for types in scope. When I am trying to fill in a hole, I look<br>
>> >> to the "relevant bindings" to show me what pieces I have available to use.<br>
>> >> Those pieces don't include contexts! Is there something fundamentally hard<br>
>> >> about adding this information? I'd only want instance information for type<br>
>> >> variables--providing it for concrete types would make too much noise. I'd<br>
>> >> also want information on equality constraints, of course.<br>
>> >><br>
>> >> _______________________________________________<br>
>> >> ghc-devs mailing list<br>
>> >> <a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
>> >> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
>> ><br>
>> ><br>
>> ><br>
>> > _______________________________________________<br>
>> > ghc-devs mailing list<br>
>> > <a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
>> > <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
>> ><br>
</blockquote></div>