Using refactorings

Note that in the current output of the tool, the layout of the code parts changed by the refactorings are pretty printed.This does not affect the layout of those code parts that are left untouched.

Rename refactorings

• Variable?
• Function
• Record?
• Record field?
• Macro
• Header file?
• Module file?

Function interface

• Generalize function?
• Reorder paremeters?
• Tuple funpar?
• Generate function specification?
• Introduce import?

Move definition

• Macro?
• Record?
• Function?

Expression structure

• Eliminate variable?
• Merge expressions?
• Inline function?
• Extract function?
• Inline macro?
• Expand fun expression?
• List comprehensions?

Data structure

• Introduce record?
• Upgrade module interface?