Context for typed holes

Andres Löh andres.loeh at
Fri Oct 23 05:28:46 UTC 2015


On Oct 23, 2015 01:15, "Manuel M T Chakravarty" <chak at>
> I think, this is a good point. Maybe you should make a ticket for it.

#9479, I think.


>> David Feuer <david.feuer at>:
>> 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 at
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list