This module defines the recursive application $ren_\rho$ of a renaming $\rho$ to an expression. This is related to substitutions, but substitutes expressions surrounded by angle brackets by other expressions instead of substituting variables. Note that function calls are not directly renamed since they are expected to be annotated by angle brackets by the unfolding operation.
Version: December 2018
renameExpr
:: Options -> [(Expr,((String,String),[Int]))] -> Expr -> Expr
Rename an expression according to the independent renaming rho. |
|
Rename an expression according to the independent renaming rho. The renaming only takes place for (partial) function calls and expressions surrounded by square brackets. It should mimic the behaviour of the current abstraction operator. |