[Haskell-cafe] ghc api renamed source

[Thomas Schilling]

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 at 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>



-- 
Push the envelope.  Watch it bend.