separate getErrno for node

idris-lang · Feb 23, 2025 · 0cfcd5d · 0cfcd5d
1 parent 69705be
commit 0cfcd5d
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git 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
@@ -20,3 +20,6 @@ function support_system_unsetEnv(name) {
   return 0
 }
 
+function support_system_getErrno() {
+  return process.__lasterr===undefined?0:process.__lasterr.errno || 0
+}