[Haskell-cafe] Generating Haskell with associated types (and kind annotations)

[Neil Mitchell]

Hi

> I guess I should write the "skeleton" of the code I want to generate,
> get HSE to parse it, and then replace the parts I want to change of
> the AST with what I need? Is there a nicer way (TH-like?) to get the
> modified AST into GHC than prettyprinting the AST again and asking GHC
> to compile the output file?

This package seems to do some of the bits you want. I've added it to
my list of packages to look at in the future:

http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haskell-src-meta

Thanks

Neil