Context for typed holes

David Feuer david.feuer at gmail.com
Fri Oct 23 05:59:56 UTC 2015


I just closed mine as a duplicate of yours.
On Oct 23, 2015 1:55 AM, "Andres Löh" <andres.loeh at gmail.com> wrote:

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


More information about the ghc-devs mailing list