Hi > How did you define the Data instances for the abstract types > (break the abstraction or define the instances abstractly), and how do your > instances compare to the ones at > http://hackage.haskell.org/trac/ghc/wiki/GhcApiAstTraversals > ?
The Uniplate one's can't transform the type, and neither can the SYB ones easily, so your ones are more powerful. Uniplate instances can be defined abstractly without too much hassle, since they are less detailed than Data instances. Thanks Neil _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
