Currently: Your only option is to use GHC API if you want type checking. I
can't help you with that, sorry.
Envisioned: The function you ask for can definitely be written for
haskell-src-exts, which I know you are currently using. I just need to
complete my type checker for haskell-src-exts first. Which is not a small
task, but one that has been started. I doubt it will be done in time for
your project though, sorry.
Best regards,
/Niklas
On Tue, Dec 13, 2011 at 6:16 PM, Sh NJP
Hi,
I do some pre-processing on a normal Haskell code ( -F ). The pre-processor needs to know the type of each expression. What are the possibilities to do so? Can I use GHC API to employ GHC type checker? If yes, any good tutorial? Is it too naive to think of a function, f :: String -> AnnotatedAST , that takes Haskell code and returns its corresponding abstract syntax tree annotated with types?
Thanks, /shayan
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe