Hi,<div><br></div><div>I don&#39;t know what you actually need, but if haskell-src-exts is an option, it is quite a bit easier to use (definitely easier to understand for me!). Especially when used together with Uniplate.</div>

<div><br></div><div>For example, for a given piece of AST one can get all the identifiers used like so:</div><div><br></div><div>[ x | Ident x &lt;- universeBi ast ]</div><div><br></div><div>Finding where they are bound shouldn&#39;t be very hard either.</div>

<div><br></div><div>Hope this helps,</div><div>Ozgur<br><br><div class="gmail_quote">On 23 January 2012 17:33, Christopher Brown <span dir="ltr">&lt;<a href="mailto:cmb21@st-andrews.ac.uk">cmb21@st-andrews.ac.uk</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
I was wondering if anyone could tell me if it&#39;s possible to get an AST from the ghc-api decorated with static-semantics?<br>
In particular, I am interested in use and bind locations for all names in the AST together with the module they are bound, etc.<br>
<br>
Looking through the online docs, there doesn&#39;t seem to be a way to do this.<br>
Even if I can tell from the AST where a variable is bound that would be enough,  if this is by making all names unique and qualified that would be better than nothing.<br>
<br>
Hope someone can help,<br>
Chris.<br></blockquote></div>
</div>