By definition HaRe can only change code that already compiles.
If a refactoring is attempted and the compilation fails while loading a module, report this appropriately, so an IDE can report it as an underlying source error rather than an error in the refactoring being attempted, or in HaRe
By definition HaRe can only change code that already compiles.
If a refactoring is attempted and the compilation fails while loading a module, report this appropriately, so an IDE can report it as an underlying source error rather than an error in the refactoring being attempted, or in HaRe