5

Can we use GHC API or something else to load not text source modules, but AST expressions, similar to haskell-src-exts Exp type? This way we could save time for code generation and parsing.

modular
  • 1,099
  • 9
  • 22

1 Answers1

3

I don't think the GHC API exposes an AST interface (could be wrong though), but Template Haskell does. If you build expressions using the Language.Haskell.TH Exp structure, you can create functions/declarations and make use of them by the $(someTHFunction) syntax.

A fairly major caveat is that TH only runs at compile time, so you would need to pre-generate everything. If you want to use TH at run-time, I think you'd need to pretty-print the template haskell AST, then use the GHC API on the resulting string.

John L
  • 27,937
  • 4
  • 73
  • 88
  • 1
    Also I can generate Template Haskell source code. This can be considered as compromise between generating AST expressions and generating Haskell text source. – modular Jan 17 '12 at 19:07