The difficulty is that renamer and type-checker are mutually recursive because of Template Haskell. I've been looking into this a while ago and I have a basic idea how a better API could look like, but I haven't sorted out the details. One very hacky workaround -- and I'm not sure whether it can actually work -- is to copy the file TcRnDriver from the GHC sources and modify it to do what you need. It wouldn't be an easy task, though. On 12 May 2010 14:35, Phyx <lonetiger@gmail.com> wrote:
Hi all,
I was wondering if it’s possible to get to the renamed source before actually typechecking,
I currently have
parsed <- parse modName
checked <- typecheckModule parsed
let renamed = tm_renamed_source checked
value = tm_typechecked_source checked
but if typechecking failes, I get no information at all (an error), while I should be able to still get the renamed source.
Any suggestions?
Cheers,
Phyx
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
-- Push the envelope. Watch it bend.