diff options
author | Joey Hess <joeyh@joeyh.name> | 2015-11-16 14:37:31 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2015-11-16 14:37:31 -0400 |
commit | e316eac6c816111c11280aab79e9a058f86d902b (patch) | |
tree | eea4b7657458ab2957f67cb03bbc25585fa27b3a /Utility | |
parent | 8055c761751e5c6a913f76293281389e29378545 (diff) |
fix use of hifalutin terminology
Diffstat (limited to 'Utility')
-rw-r--r-- | Utility/Format.hs | 6 | ||||
-rw-r--r-- | Utility/SafeCommand.hs | 8 |
2 files changed, 7 insertions, 7 deletions
diff --git a/Utility/Format.hs b/Utility/Format.hs index 0a6f6ce7d..784496310 100644 --- a/Utility/Format.hs +++ b/Utility/Format.hs @@ -11,7 +11,7 @@ module Utility.Format ( format, decode_c, encode_c, - prop_idempotent_deencode + prop_isomorphic_deencode ) where import Text.Printf (printf) @@ -174,5 +174,5 @@ encode_c' p = concatMap echar showoctal i = '\\' : printf "%03o" i {- for quickcheck -} -prop_idempotent_deencode :: String -> Bool -prop_idempotent_deencode s = s == decode_c (encode_c s) +prop_isomorphic_deencode :: String -> Bool +prop_isomorphic_deencode s = s == decode_c (encode_c s) diff --git a/Utility/SafeCommand.hs b/Utility/SafeCommand.hs index 9102b7267..40d41c7a2 100644 --- a/Utility/SafeCommand.hs +++ b/Utility/SafeCommand.hs @@ -105,10 +105,10 @@ shellUnEscape s = word : shellUnEscape rest | otherwise = inquote q (w++[c]) cs -- | For quickcheck. -prop_idempotent_shellEscape :: String -> Bool -prop_idempotent_shellEscape s = [s] == (shellUnEscape . shellEscape) s -prop_idempotent_shellEscape_multiword :: [String] -> Bool -prop_idempotent_shellEscape_multiword s = s == (shellUnEscape . unwords . map shellEscape) s +prop_isomorphic_shellEscape :: String -> Bool +prop_isomorphic_shellEscape s = [s] == (shellUnEscape . shellEscape) s +prop_isomorphic_shellEscape_multiword :: [String] -> Bool +prop_isomorphic_shellEscape_multiword s = s == (shellUnEscape . unwords . map shellEscape) s -- | Segments a list of filenames into groups that are all below the maximum -- command-line length limit. |