[ test ] Add tests for file errors

libs/base/System/Errno.idr

@@ -12,6 +12,7 @@ prim__getErrno : PrimIO Int
 prim__strerror : Int -> PrimIO String
 
 ||| Fetch libc `errno` global variable.
+||| This sometimes returns 0 on windows.
 export
 getErrno : HasIO io => io Int
 getErrno = primIO prim__getErrno

support/js/support_system_file.js

@@ -8,7 +8,7 @@ function support_system_file_fileErrno(){
     switch(n) {
       // these are documented in include/uv/errno.h of libuv
       case -4058: return 2
-      case -4092: return 3
+      case -4048: return 3
       case -4075: return 4
       default: return -n + 5
     }
@@ -136,7 +136,7 @@ function support_system_file_popen (cmd, m) {
     case "r":
       io_setting = ['ignore', write_fd, 2]
       break
-    case "w": 
+    case "w":
     case "a":
       io_setting = [write_fd, 'ignore', 2]
       break

tests/base/system_directory/ReadDir.idr

@@ -6,7 +6,10 @@ panic s = do putStrLn s
              exitFailure
 
 main : IO ()
-main = do Right ["a"] <- listDir "dir"
+main = do -- Verify that errorno does not cause subsequent listDir to fail
+          Left _ <- listDir "doesNotExist"
+            | Right _ => panic "Read of \"doesNotExist\" succeeded"
+          Right ["a"] <- listDir "dir"
             | Left e => panic (show e)
             | Right x => panic ("wrong entries: " ++ (show x))
           pure ()

tests/base/system_directory/run

@@ -1,3 +1,4 @@
 . ../../testutils.sh
 
-run ReadDir.idr
+run --cg chez ReadDir.idr
+run --cg node ReadDir.idr

tests/base/system_fileError/FileErrors.idr

@@ -0,0 +1,18 @@
+import System.File
+import System.Directory
+
+main : IO ()
+main = do
+  Left FileNotFound <- openFile "doesNotExist" Read
+    | Right _ => putStrLn "expected FileNotFound error"
+    | Left err => putStrLn "expected FileNotFound, got \{show err}"
+
+  Left PermissionDenied <- openFile "read_only.txt" ReadWrite
+    | Right _ => putStrLn "expected PermissionDenied error"
+    | Left err => putStrLn "expected PermissionDenied, got \{show err}"
+
+  Left FileExists <- createDir "build"
+    | Right _ => putStrLn "expected FileExists error"
+    | Left err => putStrLn "expected FileExists, got \{show err}"
+
+  putStrLn "done"

tests/base/system_fileError/expected

@@ -0,0 +1,2 @@
+done
+done

tests/base/system_fileError/read_only.txt

@@ -0,0 +1 @@
+This file should be read only.

tests/base/system_fileError/run

@@ -0,0 +1,5 @@
+. ../../testutils.sh
+
+chmod 444 read_only.txt
+run --cg chez FileErrors.idr
+run --cg node FileErrors.idr