I just closed mine as a duplicate of yours. On Oct 23, 2015 1:55 AM, "Andres Löh" <[email protected]> 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 <[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
