On Fri, Nov 16, 2012 at 03:25:35PM -0500, Jay Sulzberger wrote: > > > On Fri, 16 Nov 2012, Carter Schonwald <carter.schonw...@gmail.com> wrote: > > >how would ghc-core enable targetting core for Agda? > > > > > >On Wed, Nov 14, 2012 at 6:32 PM, Andreas Abel <andreas.a...@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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe