Tool support for refactoring provides guarantees for the preservation of the program
semantics during program transformation. This paper explains how RefactorErl, a refactoring
tool for the Erlang language helps the programmer raise the quality of Erlang code
or make the code suitable for further changes and improvements. Many examples illustrate
the seven transformations currently implemented in RefactorErl. The paper also discusses
the problems the refactor tool has to face.