Release plans

[Aaron Tomb]

Actually, GHC HEAD should spit out External Core already. Ian just  
applied my earlier patch that fixed the parser and pretty-printer.  
The bit I'm still working on is fitting the output of the parser into  
the typechecker. I don't plan on changing the concrete syntax unless  
I find that it's broken in some way.

Aaron

On Apr 17, 2007, at 11:51 PM, Simon Peyton-Jones wrote:

> Ext-core is not a library; spitting it out and sucking it in is an  
> integral part of GHC.
>
> That said, I think there may be a library for processing the ext- 
> core code itself (parsing, typechecking etc).  I don't think Aaron  
> is working on that.
>
> Also, what you need for your PhD is the spitting-out part, right?   
> You want GHC to generate ext-core for your verifier to read in?   
> That's the relatively easier part, and Aaron might have that  
> working sooner, especially if you ask him to prioritise it.
>
> Simon
>
> | -----Original Message-----
> | From: glasgow-haskell-users-bounces at haskell.org [mailto:glasgow- 
> haskell-users-bounces at haskell.org] On
> | Behalf Of Neil Mitchell
> | Sent: 17 April 2007 18:16
> | To: Simon Marlow
> | Cc: GHC Users Mailing List
> | Subject: Re: Release plans
> |
> | Hi
> |
> | > Release plans:
> | > - get external core working again
> |
> | Can't this happen entirely separate from any GHC releases? From what
> | I've heard people were thinking of wrapping this up in the next few
> | months. I personally need this to make my PhD work on more than just
> | Yhc :-)
> |
> | Thanks
> |
> | Neil
> | _______________________________________________
> | Glasgow-haskell-users mailing list
> | Glasgow-haskell-users at haskell.org
> | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users