[Haskell-cafe] Taking over ghc-core

[Brent Yorgey]

On Fri, Nov 16, 2012 at 03:25:35PM -0500, Jay Sulzberger wrote:
> 
> 
> On Fri, 16 Nov 2012, Carter Schonwald <carter.schonwald at gmail.com> wrote:
> 
> >how would ghc-core enable targetting core for Agda?
> >
> >
> >On Wed, Nov 14, 2012 at 6:32 PM, Andreas Abel <andreas.abel at ifi.lmu.de>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