From 1841d7451c096f16cca17d6c772fc2f8dc53e2a2 Mon Sep 17 00:00:00 2001 From: Michael Sloan Date: Thu, 8 Oct 2015 02:58:17 -0700 Subject: [PATCH] Improve a few property definitions The properties for stripDir and parent used the name 'parent' as a variable. The properties for filename and dirname seemed to be wrong and also used 'parent' as a variable. --- src/Path.hs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/Path.hs b/src/Path.hs index 2efd900..2cdf467 100644 --- a/src/Path.hs +++ b/src/Path.hs @@ -236,7 +236,7 @@ toFilePath (Path l) = l -- -- The following properties hold: -- --- @stripDir parent (parent \<\/> child) = child@ +-- @stripDir x (x \<\/> y) = y@ -- -- Cases which are proven not possible: -- @@ -266,7 +266,7 @@ isParentOf p l = -- -- The following properties hold: -- --- @parent (parent \<\/> child) == parent@ +-- @parent (x \<\/> y) == x@ -- -- On the root, getting the parent is idempotent: -- @@ -280,7 +280,7 @@ parent (Path fp) = -- -- The following properties hold: -- --- @filename (parent \<\/> filename a) == a@ +-- @filename (p \<\/> a) == filename a@ -- filename :: Path b File -> Path Rel File filename (Path l) = @@ -290,7 +290,7 @@ filename (Path l) = -- -- The following properties hold: -- --- @dirname (parent \<\/> dirname a) == a@ +-- @dirname (p \<\/> a) == dirname a@ -- dirname :: Path b Dir -> Path Rel Dir dirname (Path l) =