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