[Haskell-cafe] Taking over ghc-core

[Jay Sulzberger]

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.


>>
>>
>> On 11.11.12 11:41 AM, Bas van Dijk wrote:
>>
>>> Great!
>>>
>>> On 10 November 2012 16:17, Shachaf Ben-Kiki <shachaf at gmail.com> wrote:
>>>
>>>> With Don Stewart's blessing
>>>> (<https://twitter.com/donsbot/**status/267060717843279872<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 at haskell.org
>>> http://www.haskell.org/**mailman/listinfo/haskell-cafe<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 at ifi.lmu.de
>> http://www2.tcs.ifi.lmu.de/~**abel/ <http://www2.tcs.ifi.lmu.de/~abel/>
>>
>>
>> ______________________________**_________________
>> Haskell-Cafe mailing list
>> Haskell-Cafe at haskell.org
>> http://www.haskell.org/**mailman/listinfo/haskell-cafe<http://www.haskell.org/mailman/listinfo/haskell-cafe>
>>
>