[Haskell-cafe] Taking over ghc-core

[Jay Sulzberger]

On Fri, 16 Nov 2012, Brent Yorgey <byorgey at seas.upenn.edu> wrote:

> 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

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