Context for typed holes

[David Feuer]

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
> >
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20151023/74e0715b/attachment.html>