summaryrefslogtreecommitdiff
path: root/Utility
diff options
context:
space:
mode:
authorGravatar Joey Hess <joeyh@joeyh.name>2015-04-14 15:15:29 -0400
committerGravatar Joey Hess <joeyh@joeyh.name>2015-04-14 15:15:29 -0400
commitad5c75a29ab51b0f45437406d89df35267d36066 (patch)
tree24d10a8414fe31b052613d095d07fb6932515f6d /Utility
parent9ec008678905f47c2a6a0e1f4000151041a1a85e (diff)
don't test with null paths
Diffstat (limited to 'Utility')
-rw-r--r--Utility/Path.hs1
1 files changed, 1 insertions, 0 deletions
diff --git a/Utility/Path.hs b/Utility/Path.hs
index 72d43784f..9f0737fe8 100644
--- a/Utility/Path.hs
+++ b/Utility/Path.hs
@@ -159,6 +159,7 @@ relPathDirToFileAbs from to
prop_relPathDirToFile_basics :: FilePath -> FilePath -> Bool
prop_relPathDirToFile_basics from to
+ | null from || null to = True
| from == to = null r
| otherwise = not (null r)
where