Hi,<br><br>I do some pre-processing on a normal Haskell code ( -F ). The pre-processor needs to know the type of each expression. <div>What are the possibilities to do so?<br>Can I use GHC API to employ GHC type checker? If yes, any good tutorial?</div>
<div>Is it too naive to think of a function, f :: String -&gt; AnnotatedAST , that takes Haskell code and returns its corresponding abstract syntax tree annotated with types?</div><div>  <br>Thanks,<br> /shayan  </div>