On 2/19/08, Simon Peyton-Jones <[EMAIL PROTECTED]> wrote: > > > > > It relates to strictness info etc. I strongly suggest you do not try to > parse this stuff -- it was never intended for that. Why do you think > ext-core is harder? It's designed to be easier! >
While I agree that there doesn't seem to be any reason to think parsing the -ddump-simpl output is *easier*, I also think there's no way anybody can be expected to *use* the -fext-core output right now, despite all the effort that went into designing it carefully. This is because (thanks to Aaron's hard work) the changes that have gone into GHC since 2001 are now reflected in External Core, but, unfortunately, those changes aren't documented yet. And moreover, the ext-core tools haven't been updated to reflect those changes. Working on the documentation and external tools (with help from Andrew Tolmach) is my priority right now, as I need it for my own work. Thus *generating* External Core (and parsing it back in with an external tool) should be possible for mere mortals again soon. (Using GHC to read it back in is probably never going to happen. I'd be happy to elaborate on why.) Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt "It's never too early to start drilling holes in your car." -- Tom Magliozzi _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
