[Haskell-cafe] Taking over ghc-core

[Shachaf Ben-Kiki]

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

[Johan Tibell]

On Saturday, November 10, 2012, 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.

Yay! 

[Ben Gamari]

Shachaf Ben-Kiki <sha...@gmail.com> writes:

> 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.
>

Thanks! I was needing ghc-core a few weeks ago. It'll be nice to see
this project maintained again.

Cheers,

- Ben

[Bas van Dijk]

Great!

[Andreas Abel]

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 <sha...@gmail.com> 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
> Haskel...@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

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

[Carter Schonwald]

how would ghc-core enable targetting core for Agda? 

[Jay Sulzberger]

On Fri, 16 Nov 2012, Carter Schonwald <carter.s...@gmail.com> wrote:

> how would ghc-core enable targetting core for Agda?
>
>
> On Wed, Nov 14, 2012 at 6:32 PM, Andreas Abel <andrea...@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 <sha...@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
>>> Haskel...@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
>>
>> andrea...@ifi.lmu.de

>> http://www2.tcs.ifi.lmu.de/~**abel/ <http://www2.tcs.ifi.lmu.de/~abel/>
>>
>>
>> ______________________________**_________________
>> Haskell-Cafe mailing list
>> Haskel...@haskell.org
>> http://www.haskell.org/**mailman/listinfo/haskell-cafe<http://www.haskell.org/mailman/listinfo/haskell-cafe>

[Brent Yorgey]

On Fri, Nov 16, 2012 at 03:25:35PM -0500, Jay Sulzberger wrote:
>
>
> On Fri, 16 Nov 2012, Carter Schonwald <carter.s...@gmail.com> wrote:
>
> >how would ghc-core enable targetting core for Agda?
> >
> >
> >On Wed, Nov 14, 2012 at 6:32 PM, Andreas Abel <andrea...@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

[Jay Sulzberger]

On Fri, 16 Nov 2012, Brent Yorgey <byo...@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.s...@gmail.com> wrote:
>>
>>> how would ghc-core enable targetting core for Agda?
>>>
>>>
>>> On Wed, Nov 14, 2012 at 6:32 PM, Andreas Abel <andrea...@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.