Context for typed holes

[Simon Peyton Jones]

Indeed.  Please also do give concrete examples, so that we all talk about the same proposal.

Simon

From: ghc-devs [mailto:ghc-devs-bounces at haskell.org] On Behalf Of Manuel M T Chakravarty
Sent: 23 October 2015 00:16
To: David Feuer
Cc: ghc-devs
Subject: Re: Context for typed holes

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

Manuel

David Feuer <david.feuer at gmail.com<mailto:david.feuer at gmail.com>>:

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20151023/3cfbf684/attachment-0001.html>