@@ -134,7 +134,7 @@ rename env lexpr@(L s expr) =
135 Lambda pattern e ->
135 Lambda pattern e ->
136 let env' = extend env pattern in
136 let env' = extend env pattern in
137− Lambda pattern `liftM` rename env' e
137+ Lambda `liftM` format (renamePattern env' pattern) `ap` rename env' e
139 App e1 e2 -> App `liftM` rnm e1 `ap` rnm e2
139 App e1 e2 -> App `liftM` rnm e1 `ap` rnm e2