atomb at soe.ucsc.edu
Wed Apr 18 11:26:20 EDT 2007
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.
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.
> | -----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
> | 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 haskell.org
> | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
More information about the Glasgow-haskell-users