Change return types of bfilename, pbasename and pextension to match t…

…he signatures in System.FilePath
uvm-plaid · Mar 9, 2023 · f7dba88 · f7dba88
1 parent a0ac0d7
commit f7dba88
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/src/UVMHS/Core/FilePath.hs b/src/UVMHS/Core/FilePath.hs
@@ -20,14 +20,14 @@ pnull = ℙ ""
 pappend ∷ ℙ → ℙ → ℙ
 pappend x y = ℙ $ string $ tohsChars (unℙ x) FP.</> tohsChars (unℙ y)
 
-pfilename ∷ ℙ → ℙ
-pfilename = ℙ ∘ string ∘ FP.takeFileName ∘ tohsChars ∘ unℙ
+pfilename ∷ ℙ → 𝕊
+pfilename = string ∘ FP.takeFileName ∘ tohsChars ∘ unℙ
 
-pbasename ∷ ℙ → ℙ
-pbasename = ℙ ∘ string ∘ FP.takeBaseName ∘ tohsChars ∘ unℙ
+pbasename ∷ ℙ → 𝕊
+pbasename = string ∘ FP.takeBaseName ∘ tohsChars ∘ unℙ
 
 pdirectory ∷ ℙ → ℙ
 pdirectory = ℙ ∘ string ∘ FP.takeDirectory ∘ tohsChars ∘ unℙ
 
-pextension ∷ ℙ → ℙ
-pextension = ℙ ∘ string ∘ FP.takeExtension ∘ tohsChars ∘ unℙ
+pextension ∷ ℙ → 𝕊
+pextension = string ∘ FP.takeExtension ∘ tohsChars ∘ unℙ