1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
{-# LANGUAGE CPP #-}
module CopyFile001 where
#include "util.inl"
import System.Directory
import Data.List (sort)
import System.FilePath ((</>))
main :: TestEnv -> IO ()
main _t = do
createDirectory dir
writeFile (dir </> from) contents
T(expectEq) () [from] . sort =<< listDirectory dir
copyFile (dir </> from) (dir </> to)
T(expectEq) () [from, to] . sort =<< listDirectory dir
T(expectEq) () contents =<< readFile (dir </> to)
where
contents = "This is the data\n"
from = "source"
to = "target"
dir = "dir"
|
