1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
{-# LANGUAGE CPP #-}
module CopyFile002 where
#include "util.inl"
import System.Directory
import Data.List (sort)
main :: TestEnv -> IO ()
main _t = do
-- Similar to CopyFile001 but moves a file in the current directory
-- (Bug #1652 on GHC Trac)
writeFile from contents
T(expectEq) () [from] . sort =<< listDirectory "."
copyFile from to
T(expectEq) () [from, to] . sort =<< listDirectory "."
T(expectEq) () contents =<< readFile to
where
contents = "This is the data\n"
from = "source"
to = "target"
|
