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
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