Thanks, it contained the hint I needed! The CoreUtils module contains the exprType :: CoreExpr -> Type function, which is exactly what I was looking for. On 21 Mar 2014, at 12:15, Adam Bergmark <adam@bergmark.nl> wrote:
This might be useful: https://github.com/faylang/fay/issues/269
On Fri, Mar 21, 2014 at 11:16 AM, J. Stutterheim <j.stutterheim@me.com> wrote: Hi all,
I'm trying to familiarise myself with writing GHC compiler plugins, but the GHC API is rather overwhelming, hence my question here.
During compilation, I'm trying to determine whether a top-level function in my program has a certain type. Initially, if this is the case, I just want to print the function name. For me to do this check, I have to obtain the type for each top-level function. How can I achieve this? I already have a plugin with which I can print the name for a Bind, so I'm mainly interested in knowing how to obtain its type.
Cheers,
Jurriën _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe