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