From 72c94a0c89a557cbdfd8ee3734b1fd86c73042ed Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Niklas=20Hamb=C3=BCchen?= <mail@nh2.me>
Date: Mon, 16 Dec 2013 15:36:20 +0000
Subject: [PATCH] CopyFile: Add copyFileChanged and comments

---
 Cabal/Distribution/Compat/CopyFile.hs | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/Cabal/Distribution/Compat/CopyFile.hs b/Cabal/Distribution/Compat/CopyFile.hs
index 8bc4d08b798..7edfa181b93 100644
--- a/Cabal/Distribution/Compat/CopyFile.hs
+++ b/Cabal/Distribution/Compat/CopyFile.hs
@@ -2,6 +2,7 @@
 {-# OPTIONS_HADDOCK hide #-}
 module Distribution.Compat.CopyFile (
   copyFile,
+  copyFileChanged,
   filesEqual,
   copyOrdinaryFile,
   copyExecutableFile,
@@ -12,7 +13,7 @@ module Distribution.Compat.CopyFile (
 
 
 import Control.Monad
-         ( when )
+         ( when, unless )
 import Control.Exception
          ( bracket, bracketOnError, throwIO )
 import qualified Data.ByteString.Lazy as BSL
@@ -62,6 +63,8 @@ setFileExecutable _ = return ()
 -- This happens to be true on Unix and currently on Windows too:
 setDirOrdinary = setFileExecutable
 
+-- | Copies a file to a new destination.
+-- Often you should use `copyFileChanged` instead.
 copyFile :: FilePath -> FilePath -> IO ()
 copyFile fromFPath toFPath =
   copy
@@ -83,6 +86,14 @@ copyFile fromFPath toFPath =
                           hPutBuf hTo buffer count
                           copyContents hFrom hTo buffer
 
+-- | Like `copyFileAlways`, but does not touch the target if source and destination
+-- are already byte-identical. This is recommended as it is useful for
+-- time-stamp based recompilation avoidance.
+copyFileChanged :: FilePath -> FilePath -> IO ()
+copyFileChanged src dest = do
+  equal <- filesEqual src dest
+  unless equal $ copyFile src dest
+
 -- | Checks if two files are byte-identical.
 -- Returns False if either of the files do not exist.
 filesEqual :: FilePath -> FilePath -> IO Bool