@@ -68,7 +68,7 @@ rename' env expr =
68extend :: (String -> String) -> String -> GuidCounter (String, String -> String)
68extend :: (String -> String) -> String -> GuidCounter (String, String -> String)
69extend env x = do
69extend env x = do
71− let rx = x ++ "_" ++ show n
71+ let rx = map (\c -> if c == '\'' then '_' else c) $ x ++ "_" ++ show n
72 return (rx, \y -> if y == x then rx else env y)
72 return (rx, \y -> if y == x then rx else env y)
74patternExtend :: Pattern -> (String -> String) -> GuidCounter (Pattern, String -> String)
74patternExtend :: Pattern -> (String -> String) -> GuidCounter (Pattern, String -> String)