Re: [Haskell-cafe] Taking over ghc-core

On Fri, Nov 16, 2012 at 03:25:35PM -0500, Jay Sulzberger wrote:

On Fri, 16 Nov 2012, Carter Schonwald wrote:

...

how would ghc-core enable targetting core for Agda?

On Wed, Nov 14, 2012 at 6:32 PM, Andreas Abel wrote:

...

Excellent!

With ghc-core being maintained again, we can start thinking about compiling Agda to core instead of hs.

Andreas

I would like to be able to take the textual version of Core output by GHC and use that text as input to the next stage of compilation.

oo--JS.

Note that the ghc-core package only does pretty-printing of GHC core. Whether GHC can parse a textual representation of GHC core (like Jay and, presumably, Andreas want) is unrelated to the ghc-core package. -Brent