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
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
: 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
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
On 26 August 2011 09:22, Simon Peyton-Jones simo...@microsoft.com 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
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
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 distinguish
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,
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