Release plans

Simon Peyton-Jones simonpj at
Wed Apr 18 02:51:40 EDT 2007

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.


| -----Original Message-----
| From: glasgow-haskell-users-bounces at [mailto:glasgow-haskell-users-bounces at] 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

More information about the Glasgow-haskell-users mailing list