On Thu, Jan 26, 2012 at 14:36, Simon Peyton-Jones
| > 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@gmail.com wandering unix systems administrator (available) (412) 475-9364 vm/sms