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
• Duplicate Code Elimination?

Data structure ¶

• Introduce record
• Upgrade module interface