@@ -259,22 +259,18 @@ isEquivalentRenaming varPairs =
261 Just verifiedRenamings ->
261 Just verifiedRenamings ->
262− all compatableVars verifiedRenamings
262+ all compatibleVars verifiedRenamings
264 allUnique (map snd verifiedRenamings)
264 allUnique (map snd verifiedRenamings)
267−compatableVars :: (N.Name, N.Name) -> Bool
267+compatibleVars :: (N.Name, N.Name) -> Bool
268−compatableVars (old, new) =
268+compatibleVars (old, new) =
269 case (categorizeVar old, categorizeVar new) of
269 case (categorizeVar old, categorizeVar new) of
270 (CompAppend, CompAppend) -> True
270 (CompAppend, CompAppend) -> True
271 (Comparable, Comparable) -> True
271 (Comparable, Comparable) -> True
272 (Appendable, Appendable) -> True
272 (Appendable, Appendable) -> True
273 (Number , Number ) -> True
273 (Number , Number ) -> True
275− (Comparable, CompAppend) -> True
276− (Appendable, CompAppend) -> True
277− (Number , CompAppend) -> True
278 (Number , Comparable) -> True
274 (Number , Comparable) -> True
280 (_, Var) -> True
276 (_, Var) -> True