<p dir="ltr">Hi. </p>
<p dir="ltr">On Oct 23, 2015 01:15, "Manuel M T Chakravarty" <<a href="mailto:chak@justtesting.org">chak@justtesting.org</a>> wrote:<br>
><br>
> I think, this is a good point. Maybe you should make a ticket for it.</p>
<p dir="ltr">#9479, I think. </p>
<p dir="ltr">Cheers,<br>
Andres </p>
<p dir="ltr">>> 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 typed holes messages are missing some really important information: instance information for types in scope. When I am trying to fill in a hole, I look to the "relevant bindings" to show me what pieces I have available to use. Those pieces don't include contexts! Is there something fundamentally hard about adding this information? I'd only want instance information for type variables--providing it for concrete types would make too much noise. I'd 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">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">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
><br>
</p>