On Fri, 16 Nov 2012, Brent Yorgey <[email protected]> wrote:
On Fri, Nov 16, 2012 at 03:25:35PM -0500, Jay Sulzberger wrote:
On Fri, 16 Nov 2012, Carter Schonwald <[email protected]> wrote:
how would ghc-core enable targetting core for Agda?
On Wed, Nov 14, 2012 at 6:32 PM, Andreas Abel <[email protected]>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
Thanks, Brent!
My post was based on ignorance.
OK, I would like to suggest a talk at NYHUG on the GHC pipeline.
Else I might look at it without the support of NYHUGgers and
drink.
oo--JS.
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
