Re: Context for typed holes

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" wrote:

Hi.

On Oct 23, 2015 01:15, "Manuel M T Chakravarty" wrote:

...

I think, this is a good point. Maybe you should make a ticket for it.

#9479, I think.

Cheers, Andres

...

...

David Feuer :

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@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs