diff --git a/libs/base/System/Errno.idr b/libs/base/System/Errno.idr index c79864dc11..469ba4f0ce 100644 --- a/libs/base/System/Errno.idr +++ b/libs/base/System/Errno.idr @@ -4,7 +4,7 @@ module System.Errno %default total %foreign "C:idris2_getErrno, libidris2_support, idris_support.h" - "node:support:fileErrno,support_system_file" + "node:support:getErrno,support_system" prim__getErrno : PrimIO Int %foreign "C:idris2_strerror, libidris2_support, idris_support.h" diff --git a/support/js/support_system.js b/support/js/support_system.js index b9d64692f1..067fd7870e 100644 --- a/support/js/support_system.js +++ b/support/js/support_system.js @@ -20,3 +20,6 @@ function support_system_unsetEnv(name) { return 0 } +function support_system_getErrno() { + return process.__lasterr===undefined?0:process.__lasterr.errno || 0 +}