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 <[email protected]> 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" <[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
