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: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] 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@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
