From 4032629407b42719fbe748c1ae10e87cd31ec572 Mon Sep 17 00:00:00 2001 From: Julian Ospald Date: Tue, 24 May 2016 03:25:27 +0200 Subject: [PATCH] Add TODO --- src/HPath/IO/Errors.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/HPath/IO/Errors.hs b/src/HPath/IO/Errors.hs index 282d6da..a85c410 100644 --- a/src/HPath/IO/Errors.hs +++ b/src/HPath/IO/Errors.hs @@ -213,6 +213,7 @@ sameFile fp1 fp2 = else return False +-- TODO: make this more robust when destination does not exist -- |Checks whether the destination directory is contained -- within the source directory by comparing the device+file ID of the -- source directory with all device+file IDs of the parent directories