[ fix ] remove most recent error

stefan-hoeck · Nov 30, 2023 · bd6e284 · bd6e284
1 parent 2c0495f
commit bd6e284
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 7 deletions.
diff --git a/src/System/UV/Error.idr b/src/System/UV/Error.idr
@@ -99,7 +99,6 @@ data UVError : Type where
   UV_EFTYPE          : UVError
   UV_EILSEQ          : UVError
   UV_ESOCKTNOSUPPORT : UVError
-  UV_EUNATCH         : UVError
 
 %runElab derive "UVError" [Show,Eq,Finite]
 
@@ -185,7 +184,6 @@ toCode UV_ENOTTY          = uv_enotty
 toCode UV_EFTYPE          = uv_eftype
 toCode UV_EILSEQ          = uv_eilseq
 toCode UV_ESOCKTNOSUPPORT = uv_esocktnosupport
-toCode UV_EUNATCH         = uv_eunatch
 
 export
 Interpolation UVError where

diff --git a/src/System/UV/Raw/Error.idr b/src/System/UV/Raw/Error.idr
@@ -245,9 +245,6 @@ uv_eilseq : Int32
 export %foreign (idris_uv "uv_esocktnosupport")
 uv_esocktnosupport : Int32
 
-export %foreign (idris_uv "uv_eunatch")
-uv_eunatch : Int32
-
 %foreign (idris_uv "uv_strerror")
 prim__uv_strerror : Int32 -> Ptr Char
 

diff --git a/support/idris2-uv.c b/support/idris2-uv.c
@@ -302,4 +302,3 @@ int uv_enotty(){ return UV_ENOTTY; }
 int uv_eftype(){ return UV_EFTYPE; }
 int uv_eilseq(){ return UV_EILSEQ; }
 int uv_esocktnosupport(){ return UV_ESOCKTNOSUPPORT; }
-int uv_eunatch(){ return UV_EUNATCH; }
diff --git a/support/idris2-uv.h b/support/idris2-uv.h
@@ -298,4 +298,3 @@ int uv_enotty();
 int uv_eftype();
 int uv_eilseq();
 int uv_esocktnosupport();
-int uv_eunatch();