Merge pull request #33 from stefan-hoeck/compat

[ compat ] adjust file paths to upstream changes

pack.toml

@@ -14,3 +14,9 @@ type   = "git"
 url    = "https://github.com/stefan-hoeck/idris2-quantifiers-extra"
 commit = "latest:main"
 ipkg   = "quantifiers-extra.ipkg"
+
+[custom.all.filepath]
+type   = "git"
+url    = "https://github.com/stefan-hoeck/idris2-filepath"
+commit = "latest:main"
+ipkg   = "filepath.ipkg"

src/Control/RIO/Mock/File.idr

@@ -81,7 +81,7 @@ selfOrParent fp = maybe fp fst $ split fp
 
 export
 mkdirFocus : MockDir -> Path Abs -> Maybe Focus
-mkdirFocus (MkMD ps) (PAbs sx) = go [<] ps (sx <>> [])
+mkdirFocus (MkMD ps) (PAbs u sx) = go [<] ps (sx <>> [])
 
   where
     go :
@@ -101,7 +101,7 @@ mkdirFocus (MkMD ps) (PAbs sx) = go [<] ps (sx <>> [])
 
 export
 dirFocus : MockDir -> Path Abs -> Maybe Focus
-dirFocus (MkMD ps) (PAbs sx) = go [<] ps (sx <>> [])
+dirFocus (MkMD ps) (PAbs u sx) = go [<] ps (sx <>> [])
 
   where
     go :
@@ -137,8 +137,8 @@ record MockFS where
   curDir : Path Abs
 
 absPath : MockFS -> Path t -> Path Abs
-absPath fs (PAbs sx) = PAbs sx
-absPath fs (PRel sx) = fs.curDir </> PRel sx
+absPath fs (PAbs u sx) = PAbs u sx
+absPath fs (PRel sx)   = fs.curDir </> PRel sx
 
 export
 fsFocus : MockFS -> Path t -> Maybe Focus

test/src/FSProps.idr

@@ -53,9 +53,16 @@ export
 relDir : Gen (Path Rel)
 relDir = PRel . (Lin <><) <$> list (linear 0 6) body
 
+export
+absType : Gen AbsType
+absType = choice [pure Unix, map Disk upper, [| UNC body' body' |]]
+
 export
 absDir : Gen (Path Abs)
-absDir = PAbs . (Lin <><) <$> list (linear 0 6) body
+absDir = [| PAbs absType pth |]
+  where
+    pth : Gen (SnocList Body)
+    pth =  (Lin <><) <$> list (linear 0 6) body
 
 export
 dir : Gen FilePath