Excellent! With ghc-core being maintained again, we can start thinking about compiling Agda to core instead of hs. Andreas On 11.11.12 11:41 AM, Bas van Dijk wrote:

Great!

On 10 November 2012 16:17, Shachaf Ben-Kiki wrote:

...

With Don Stewart's blessing (https://twitter.com/donsbot/status/267060717843279872), I'll be taking over maintainership of ghc-core, which hasn't been updated since 2010. I'll release a version with support for GHC 7.6 later today.

Shachaf

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

-- Andreas Abel <>< Du bist der geliebte Mensch. Theoretical Computer Science, University of Munich Oettingenstr. 67, D-80538 Munich, GERMANY andreas.abel@ifi.lmu.de http://www2.tcs.ifi.lmu.de/~abel/

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.

...

On 11.11.12 11:41 AM, Bas van Dijk wrote:

...

Great!

On 10 November 2012 16:17, Shachaf Ben-Kiki wrote:

...

With Don Stewart's blessing (<https://twitter.com/donsbot/**status/267060717843279872https://twitter.com/donsbot/status/267060717843279872>), I'll be taking over maintainership of ghc-core, which hasn't been updated since 2010. I'll release a version with support for GHC 7.6 later today.

Shachaf

______________________________**_________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/**mailman/listinfo/haskell-cafehttp://www.haskell.org/mailman/listinfo/haskell-cafe

-- Andreas Abel <>< Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich Oettingenstr. 67, D-80538 Munich, GERMANY

andreas.abel@ifi.lmu.de http://www2.tcs.ifi.lmu.de/~**abel/ http://www2.tcs.ifi.lmu.de/~abel/

______________________________**_________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/**mailman/listinfo/haskell-cafehttp://www.haskell.org/mailman/listinfo/haskell-cafe

On Fri, 16 Nov 2012, Brent Yorgey wrote:

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

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 Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe