Release plans

[Simon Peyton-Jones]

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