On Fri, 16 Nov 2012, Carter Schonwald <[email protected]> wrote:
how would ghc-core enable targetting core for Agda?
On Wed, Nov 14, 2012 at 6:32 PM, Andreas Abel <[email protected]>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 <[email protected]> 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
[email protected]
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
[email protected]
http://www2.tcs.ifi.lmu.de/~**abel/ <http://www2.tcs.ifi.lmu.de/~abel/>
______________________________**_________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/**mailman/listinfo/haskell-cafe<http://www.haskell.org/mailman/listinfo/haskell-cafe>
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
