diff --git a/src/System/UV/Error.idr b/src/System/UV/Error.idr index ef3c4b0..4f31476 100644 --- 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 index 2560454..a488a9c 100644 --- 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 index bff3290..6e27296 100644 --- 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 index 6f971a9..de610ee 100644 --- 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();