Re: Context for typed holes

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