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" <[email protected]> wrote:
> Hi. > > On Oct 23, 2015 01:15, "Manuel M T Chakravarty" <[email protected]> > wrote: > > > > I think, this is a good point. Maybe you should make a ticket for it. > > #9479, I think. > > Cheers, > Andres > > >> David Feuer <[email protected]>: > >> > >> 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 > >> [email protected] > >> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs > > > > > > > > _______________________________________________ > > ghc-devs mailing list > > [email protected] > > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs > > >
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
