Context for typed holes

[Andres Löh]

Actually, #9091 was the one I was really looking for ... reported by
me. See also the discussion about "given" vs. "wanted" constraints.

Cheers,
  Andres

On Fri, Oct 23, 2015 at 7:48 AM, David Feuer <david.feuer at gmail.com> wrote:
> I opened https://ghc.haskell.org/trac/ghc/ticket/10954 for this. #9479, by
> Dominique Devriese, is complementary--she wants instance information for a
> *hole* with an ambiguous type.
>
> On Oct 23, 2015 1:28 AM, "Andres Löh" <andres.loeh at gmail.com> wrote:
>>
>> Hi.
>>
>> On Oct 23, 2015 01:15, "Manuel M T Chakravarty" <chak at justtesting.org>
>> wrote:
>> >
>> > I think, this is a good point. Maybe you should make a ticket for it.
>>
>> #9479, I think.
>>
>> Cheers,
>> Andres
>>
>> >> David Feuer <david.feuer at gmail.com>:
>> >>
>> >> 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.
>> >>
>> >> _______________________________________________
>> >> ghc-devs mailing list
>> >> ghc-devs at haskell.org
>> >> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>> >
>> >
>> >
>> > _______________________________________________
>> > ghc-devs mailing list
>> > ghc-devs at haskell.org
>> > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>> >