[ lint ] add cpp rule

stefan-hoeck · Jan 11, 2024 · 904e765 · 904e765
1 parent 97fbe9f
commit 904e765
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/src/System/UV/Stream.idr b/src/System/UV/Stream.idr
@@ -23,9 +23,9 @@ import System.UV.Raw.Stream
 --     Left (Here err) => pure (Err err)
 --     Right n         => Data <$> toByteString buf (cast n)
 --
--- export
--- Resource (Ptr Stream) where
---   release h = uv_close h freePtr
+export
+(cc : CloseCB) => Resource (Ptr Stream) where
+  release h = uv_close h cc
 --
 -- parameters {auto l : UVLoop}
 --            {auto has : Has UVError es}

diff --git a/support/idris2-uv.c b/support/idris2-uv.c
@@ -58,7 +58,7 @@ int uv_get_ai_protocol(struct addrinfo *info) { return info->ai_protocol; }
 
 int uv_get_ai_flags(struct addrinfo *info) { return info->ai_flags; }
 
-struct sockaddr *uv_get_ai_addr(struct addrinfo *i) { return i->ai_addr; }
+struct sockaddr *uv_get_ai_addr(struct addrinfo *i) {return i->ai_addr;}
 
 uint64_t uv_get_st_dev(uv_stat_t *stat) { return stat->st_dev; }