simonpj at microsoft.com
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 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
| > 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 :-)
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users at haskell.org
More information about the Glasgow-haskell-users