Context for typed holes

[Christopher Allen]

It's not just you. That's why I didn't mention holes in the book as people
suggested. It's not just confusing for new people - it drives me nuts every
time I use a hole in non-trivial code at work.

On Thu, Oct 8, 2015 at 6:25 PM, David Feuer <david.feuer at gmail.com> wrote:

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


-- 
Chris Allen
Currently working on http://haskellbook.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20151023/c09f863c/attachment-0001.html>