From 87c4b73aaac6ce77c73ead84b9fb0be03c6b54ab Mon Sep 17 00:00:00 2001
From: Bodigrim <andrew.lelechenko@gmail.com>
Date: Sat, 16 Sep 2023 00:38:19 +0100
Subject: [PATCH] Test withFilePath

---
 tests/Test.hs | 20 ++++++++++++++++++++
 unix.cabal    |  2 +-
 2 files changed, 21 insertions(+), 1 deletion(-)

diff --git a/tests/Test.hs b/tests/Test.hs
index be08e5e..4c41b2e 100644
--- a/tests/Test.hs
+++ b/tests/Test.hs
@@ -10,13 +10,19 @@ import Control.Applicative
 import Control.Concurrent
 import qualified Control.Exception as E
 import Control.Monad
+import qualified Data.ByteString as B
+import qualified Data.ByteString.Short as Sh
 import Data.List (sort)
 import System.Exit
 import System.IO
+import System.OsString.Internal.Types
 import System.Posix
 import qualified System.Posix.Env.ByteString as ByteString
+import qualified System.Posix.ByteString.FilePath as BSFP
+import qualified System.Posix.PosixPath.FilePath as PPFP
 import Test.Tasty
 import Test.Tasty.HUnit
+import Test.Tasty.QuickCheck
 
 import qualified FileStatus
 import qualified FileStatusByteString
@@ -49,6 +55,7 @@ main = defaultMain $ testGroup "All"
     , posix010                     -- JS: missing "sysconf"
     ]
 #endif
+  , testWithFilePath
   ]
 
 executeFile001 :: TestTree
@@ -245,6 +252,19 @@ posix010 = testCase "posix010" $ do
 
   homeDirectory root @?= homeDirectory root'
 
+testWithFilePath :: TestTree
+testWithFilePath =
+  testGroup "withFilePath"
+    [ testProperty "ByteString" $
+      \xs -> let ys = B.pack $ filter (/= 0) xs in
+        ioProperty $ BSFP.withFilePath ys
+          (\ptr -> (=== ys) <$> B.packCString ptr)
+    , testProperty "PosixPath" $
+      \xs -> let ys = Sh.pack $ filter (/= 0) xs in
+        ioProperty $ PPFP.withFilePath (PosixString ys)
+          (\ptr -> (=== ys) <$> Sh.packCString ptr)
+    ]
+
 -------------------------------------------------------------------------------
 -- Utils
 
diff --git a/unix.cabal b/unix.cabal
index 8facf86..0b6642d 100644
--- a/unix.cabal
+++ b/unix.cabal
@@ -171,7 +171,7 @@ test-suite unix-tests
         Signals001
     type: exitcode-stdio-1.0
     default-language: Haskell2010
-    build-depends: base, tasty, tasty-hunit, unix
+    build-depends: base, bytestring, filepath, tasty, tasty-hunit, tasty-quickcheck, unix
     ghc-options: -Wall -with-rtsopts=-V0
 
 test-suite FdReadBuf001