
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@haskell.org [mailto:glasgow- haskell-users-bounces@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@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