Hi Pedro,
> If it seems like this avoids the problem, I'd be happy to release a
> new version of SYB containing these type-guided traversals.
Do you think it would be a good idea to make the interfaces of
Data.Generics.GPS and Data.Generics more similar? One thing I have
noted is, that Data.Gene
> In any case, maybe Simon Hengel can try using this.
I just tried Data.Generics.GPS with the simple example from my previous
post, and it did not hit any error thunks.
I may try to do something more useful with it, and let you know how that
worked out.
Cheers,
Simon
___
Yep, I've been thinking about that. It could work, but I don't know
how type functions interact with SYB.
It doesn't solve the issue of having traversals with different
semantics, though. I.e., sometimes you want to look inside
SyntaxExpr, sometimes you don't. ATM, you have to customise the
tra
On 26 August 2011 09:22, Simon Peyton-Jones wrote:
> The underlying issue is that before type checking GHC (obviously) doesn't
> know the types of things, while afterwards it does. The whole HsSyn tree is
> parameterised over the types of identifiers:
>
> Parsed: HsExpr RdrNames
> Renam
haskell.org] On Behalf Of Ranjit Jhala
> | Sent: 25 August 2011 22:47
> | To: Thomas Schilling
> | Cc: glasgow-haskell-users@haskell.org
> | Subject: Re: Panic when using syb with GHC API
> |
> | Hi,
> |
> | I ran into a similar issue earlier -- you might also look at this
| -Original Message-
| From: glasgow-haskell-users-boun...@haskell.org [mailto:glasgow-haskell-users-
| boun...@haskell.org] On Behalf Of Ranjit Jhala
| Sent: 25 August 2011 22:47
| To: Thomas Schilling
| Cc: glasgow-haskell-users@haskell.org
| Subject: Re: Panic when using syb with GHC API
Hi,
I ran into a similar issue earlier -- you might also look at this
http://mistuke.wordpress.com/category/vsx/
(also linked from http://haskell.org/haskellwiki/GHC/As_a_library#Links)
Hope to elaborate the text there one of these days...
Ranjit.
On Aug 25, 2011, at 2:22 AM, Thoma
GHC's parse tree contains lots of placeholders. You are not supposed
to look at them until a specific phase has been run. For example,
anything of type "SyntaxExpr" is an error thunk until the renamer has
been run. Unfortunately, SyntaxExpr is just a type synonym, so
there's no way to distinguis
Hello,
I'm trying to query a type-checked module with syb, this works for a
plain binding. But as soon as I add a type signature for that binding,
I get an "panic!"
I experienced similar problems with a renamed module.
Are those data structures meant to be used with syb? And if yes, what
did I