Re: Simplifying Core using GHC API

2012-07-30 Thread Simon Marlow
You can use compileToCoreSimplified to get the optimised Core for the module, although that includes the other steps. We ought to have a separate API to go from ModGuts to CoreModule, but currently that doesn't exist (it's built into compileToCoreSimplified). Cheers, Simon On

Simplifying Core using GHC API

2012-07-27 Thread Ranjit Jhala
Hi all, can anyone point me to the GHC API functions that I can use to trigger the various inlining simplifications? (i.e. to get the inlined CoreExprs that one gets with the -ddump-simpl flag?) Many thanks in advance!, Ranjit Jhala. ___

Re: Simplifying Core using GHC API

2012-07-27 Thread Ranjit Jhala
ps: I should add I already know how to get from source to CoreExpr e.g. by: mod_guts - coreModule `fmap` (desugarModuleWithLoc = typecheckModule = parseModule modSummary) Its the simplification, in particular, inlining steps that I'm after. Thanks! Ranjit. On Fri, Jul 27, 2012 at 10:04