Context for typed holes
david.feuer at gmail.com
Fri Oct 23 05:48:49 UTC 2015
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" <andres.loeh at gmail.com> wrote:
> On Oct 23, 2015 01:15, "Manuel M T Chakravarty" <chak at justtesting.org>
> > I think, this is a good point. Maybe you should make a ticket for it.
> #9479, I think.
> >> David Feuer <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
> >> _______________________________________________
> >> ghc-devs mailing list
> >> ghc-devs at haskell.org
> >> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
> > _______________________________________________
> > ghc-devs mailing list
> > ghc-devs at haskell.org
> > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs