--- /dev/null
+import System.Directory\r
+\r
+tmp1 = "renameFile001.tmp1"\r
+tmp2 = "renameFile001.tmp2"\r
+\r
+main = do\r
+ writeFile tmp1 "test"\r
+ renameFile tmp1 tmp2\r
+ readFile tmp2 >>= print\r
+ writeFile tmp1 "test2"\r
+ renameFile tmp2 tmp1 \r
+ readFile tmp1 >>= print\r
+ \r