[Haskell-cafe] How to obtain an expression type in a GHC compiler plugin?

Adam Bergmark adam at bergmark.nl
Fri Mar 21 11:15:54 UTC 2014

This might be useful: https://github.com/faylang/fay/issues/269

On Fri, Mar 21, 2014 at 11:16 AM, J. Stutterheim <j.stutterheim at 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140321/24e3f4d1/attachment.html>

More information about the Haskell-Cafe mailing list