[darcs-devel] Use System.Directory.copyFile for file copying

[Kevin Quick]

Presumably it's faster to let the System.Directory.copyFile perform
the file copying than working through the PackedString and the IO monad.
My testing didn't show any real timing difference, but it may have less
effect on memory/GC issues and just seems like the right thing to do...

-Kevin


Tue Jul 17 23:36:04 MST 2007  Kevin Quick <quick at sparq.org>
  * Use cloneFile to copy files instead of readFilePS >>= writeFilePS

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/x-darcs-patch
Size: 54621 bytes
Desc: A darcs patch for your repository!
Url : http://lists.osuosl.org/pipermail/darcs-devel/attachments/20070718/ae11ee44/attachment-0001.bin