[ compat ] adjust to upstream changes

pack.toml

@@ -19,8 +19,14 @@ type = "local"
 path = "docs"
 ipkg = "uv-docs.ipkg"
 
+[custom.all.array]
+type   = "git"
+url    = "https://github.com/stefan-hoeck/idris2-array"
+commit = "latest:buffer"
+ipkg   = "array.ipkg"
+
 [custom.all.bytestring]
 type   = "git"
 url    = "https://github.com/stefan-hoeck/idris2-bytestring"
-commit = "latest:main"
+commit = "latest:buffer"
 ipkg   = "bytestring.ipkg"

src/System/UV/Pointer.idr

@@ -1,6 +1,7 @@
 module System.UV.Pointer
 
 import IO.Async
+import Data.Buffer
 import Data.Buffer.Indexed
 import Data.ByteString
 import System.FFI
@@ -45,7 +46,7 @@ toString p s = toString <$> toByteString p s
 export
 fromByteString : HasIO io => ByteString -> io (Ptr Bits8)
 fromByteString (BS s (BV b o _)) =
-  copyFromBuffer (unsafeToBuffer b) (cast s) (cast o)
+  copyFromBuffer (unsafeGetBuffer b) (cast s) (cast o)
 
 ||| Allocates a byte array to hold the data in the given bytestring.
 export %inline