ps: I should add I already know how to get from source to CoreExpr e.g. by:<div><br></div><div>       mod_guts &lt;- coreModule `fmap` (desugarModuleWithLoc =&lt;&lt; typecheckModule =&lt;&lt; parseModule modSummary)</div>
<div><br></div><div>Its the simplification, in particular, inlining steps that I&#39;m after. Thanks! Ranjit.</div><div><br><div class="gmail_quote">On Fri, Jul 27, 2012 at 10:04 PM, Ranjit Jhala <span dir="ltr">&lt;<a href="mailto:jhala@cs.ucsd.edu" target="_blank">jhala@cs.ucsd.edu</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi all,<div><br></div><div>can anyone point me to the GHC API functions that I can use to trigger the </div><div>various inlining simplifications? (i.e. to get the inlined CoreExprs that one </div>
<div>gets with the -ddump-simpl flag?)</div>
<div><br></div><div>Many thanks in advance!,</div><div><br></div><div>Ranjit Jhala.</div><div><br></div>
</blockquote></div><br></div>