diff options
| author | Paolo Capriotti <p.capriotti@gmail.com> | 2012-05-08 14:07:11 +0100 |
|---|---|---|
| committer | Paolo Capriotti <p.capriotti@gmail.com> | 2012-05-08 14:08:58 +0100 |
| commit | 9cb3d363abf3d3ecedbad0c9f9643a3480b26e40 (patch) | |
| tree | a2ed9bd053bd09f120e78daa0018abde26326e3e /libraries/base/tests/IO | |
| parent | c031aecaee64e8df450ade287e0ddf44ff04b600 (diff) | |
| download | haskell-9cb3d363abf3d3ecedbad0c9f9643a3480b26e40.tar.gz | |
Use in-process file locking on Windows (#4363)
Diffstat (limited to 'libraries/base/tests/IO')
4 files changed, 0 insertions, 45 deletions
diff --git a/libraries/base/tests/IO/countReaders001.stdout-mingw32 b/libraries/base/tests/IO/countReaders001.stdout-mingw32 deleted file mode 100644 index bf80d9dc12..0000000000 --- a/libraries/base/tests/IO/countReaders001.stdout-mingw32 +++ /dev/null @@ -1 +0,0 @@ -Left countReaders001.txt: openFile: permission denied (Permission denied) diff --git a/libraries/base/tests/IO/openFile005.stdout-mingw32 b/libraries/base/tests/IO/openFile005.stdout-mingw32 deleted file mode 100644 index bf227989a9..0000000000 --- a/libraries/base/tests/IO/openFile005.stdout-mingw32 +++ /dev/null @@ -1,12 +0,0 @@ -two writes (should fail) -Left openFile005.out1: openFile: permission denied (Permission denied) -write and an append (should fail) -Left openFile005.out1: openFile: permission denied (Permission denied) -read/write and a write (should fail) -Left openFile005.out1: openFile: permission denied (Permission denied) -read and a read/write (should fail) -Left openFile005.out1: openFile: permission denied (Permission denied) -write and a read (should fail) -Left openFile005.out1: openFile: permission denied (Permission denied) -two writes, different files (silly, but should succeed) -two reads, should succeed diff --git a/libraries/base/tests/IO/openFile007.stdout-mingw32 b/libraries/base/tests/IO/openFile007.stdout-mingw32 deleted file mode 100644 index 26f0afe2b2..0000000000 --- a/libraries/base/tests/IO/openFile007.stdout-mingw32 +++ /dev/null @@ -1,2 +0,0 @@ -Left openFile007.out: openFile: permission denied (Permission denied) -hello, world diff --git a/libraries/base/tests/IO/readFile001.stdout-mingw32 b/libraries/base/tests/IO/readFile001.stdout-mingw32 deleted file mode 100644 index d086f3a209..0000000000 --- a/libraries/base/tests/IO/readFile001.stdout-mingw32 +++ /dev/null @@ -1,30 +0,0 @@ -Left readFile001.out: openFile: permission denied (Permission denied) --- !!! readFile test - -import System.IO -import System.IO.Error - -source = "readFile001.hs" -filename = "readFile001.out" - -main = do - s <- readFile source - h <- openFile filename WriteMode - hPutStrLn h s - hClose h - s <- readFile filename - - -- This open should fail, because the readFile hasn't been forced - -- and the file is therefore still locked. - tryIOError (openFile filename WriteMode) >>= print - - putStrLn s - - -- should be able to open it for writing now, because we've forced the - -- whole file. - h <- openFile filename WriteMode - - print h - - -{handle: readFile001.out} |