Commit d43b6f32 authored by simonmar's avatar simonmar
Browse files

[project @ 2001-06-29 13:40:50 by simonmar]

Test that readFile doesn't leave the file locked after its output has
been forced completely.
parent 04700e18
-- !!! readFile test
import IO
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. But GHC currently has a
-- bug in that the openFile truncates the file before checking
-- whether it was locked or not.
-- r <- try (openFile filename WriteMode)
-- print r
putStrLn s
-- should be able to open it for writing now, because we've forced the
-- whole file.
h <- openFile filename WriteMode
print h
-- !!! readFile test
import IO
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. But GHC currently has a
-- bug in that the openFile truncates the file before checking
-- whether it was locked or not.
-- r <- try (openFile filename WriteMode)
-- print r
putStrLn s
-- should be able to open it for writing now, because we've forced the
-- whole file.
h <- openFile filename WriteMode
print h
{loc=readFile001.out,type=writable,binary=False,buffering=block (8192)}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment