diff options
author | 2013-06-17 21:12:09 -0400 | |
---|---|---|
committer | 2013-06-17 21:12:09 -0400 | |
commit | a61df2dd0467435857af76c9f5c371419f25a75c (patch) | |
tree | b6a3ec5fe878b4d07c3676be32e79f9aecb99c4f /CmdLine.hs | |
parent | 83e33ab6c16ff377e56abda7bba1b364bec5e1f7 (diff) |
avoid lazy read of file contents
On Windows, that means the file could still be open when later code wants
to delete it, which fails. Since we're only reading 8k anyway, just read
it, strictly. However, avoid reading the whole file strictly, so no
getContentsStrict here.
Diffstat (limited to 'CmdLine.hs')
0 files changed, 0 insertions, 0 deletions