Holes in GHC

Brandon Allbery allbery.b at gmail.com
Thu Jan 26 21:08:34 CET 2012


On Thu, Jan 26, 2012 at 14:36, Simon Peyton-Jones <simonpj at microsoft.com>wrote:

> |  > Let me try to describe the goal better. The intended users are people
> |  > new to Haskell or people working with existing code they are not
> |  > familiar with.
> |
> |  Also me. I want this feature.
>
> My question remains: what is the feature?   Agda has a sophisticated IDE;
> is that a key part of "the feature".  I expect so.
>

As I understand it, the feature is IDE *support*; they're trying to provide
information for use by an IDE (or by hand, but I don't think that's key)
that GHC currently makes somewhat difficult to get, from past discussions
about how to pull various things out of the typechecker via ghc-api.

-- 
brandon s allbery                                      allbery.b at gmail.com
wandering unix systems administrator (available)     (412) 475-9364 vm/sms
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20120126/d85901d5/attachment.htm>


More information about the Glasgow-haskell-users mailing list