Re: [Haskell-cafe] Taking over ghc-core

2012-11-16 Thread Jay Sulzberger 



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




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

Re: [Haskell-cafe] Taking over ghc-core

2012-11-16 Thread Brent Yorgey 
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

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

Re: [Haskell-cafe] Taking over ghc-core

2012-11-16 Thread Jay Sulzberger 



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
(>),
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.a...@ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~**abel/ 


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





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

Re: [Haskell-cafe] Taking over ghc-core

2012-11-16 Thread Carter Schonwald 
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
>
>
> 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
>>> (>),
>>> 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.a...@ifi.lmu.de
> http://www2.tcs.ifi.lmu.de/~**abel/ 
>
>
> __**_
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/**mailman/listinfo/haskell-cafe
>
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Taking over ghc-core

2012-11-14 Thread 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  wrote:

With Don Stewart's blessing
(), 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.a...@ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/

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

Re: [Haskell-cafe] Taking over ghc-core

2012-11-11 Thread Bas van Dijk 
Great!

On 10 November 2012 16:17, Shachaf Ben-Kiki  wrote:
> With Don Stewart's blessing
> (), 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

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

Re: [Haskell-cafe] Taking over ghc-core

2012-11-10 Thread Ben Gamari 
Shachaf Ben-Kiki  writes:

> With Don Stewart's blessing
> (), 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


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

Re: [Haskell-cafe] Taking over ghc-core

2012-11-10 Thread Johan Tibell 
On Saturday, November 10, 2012, Shachaf Ben-Kiki wrote:

> With Don Stewart's blessing
> (), 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!
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Taking over ghc-core

2012-11-10 Thread Shachaf Ben-Kiki 
With Don Stewart's blessing
(), 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