Test System.system

tests/Main.idr

@@ -288,6 +288,7 @@ baseLibraryTests : TestPool
 baseLibraryTests = MkTestPool "Base library" [Chez, Node] Nothing
   [ "system_file001"
   , "system_info_os001"
+  , "system_system"
   , "data_bits001"
   , "system_info001"
   , "system_signal001", "system_signal002", "system_signal003", "system_signal004"

tests/base/system_system/Test.idr

@@ -0,0 +1,11 @@
+import System
+
+main : IO ()
+main = do
+  0 <- system "bash zero.sh"
+    | r => do putStrLn ("expecting zero, got " ++ (show r))
+              exitFailure
+  -- `system` returns result of `waitpid` which is not trivial to decode
+  let True = !(system "bash seventeen.sh") /= 0
+    | False => putStrLn "expecting 17, got zero"
+  pure ()

tests/base/system_system/expected

@@ -0,0 +1,5 @@
+1/1: Building Test (Test.idr)
+Main> ZERO
+SEVENTEEN
+Main> 
+Bye for now!

tests/base/system_system/input

@@ -0,0 +1 @@
+:exec main

tests/base/system_system/run

@@ -0,0 +1,3 @@
+$1 --no-color --console-width 0 --no-banner Test.idr < input
+
+rm -rf build

tests/base/system_system/seventeen.sh

@@ -0,0 +1,4 @@
+#!/bin/sh -e
+
+echo "SEVENTEEN"
+exit 17

tests/base/system_system/zero.sh

@@ -0,0 +1,4 @@
+#!/bin/sh -e
+
+echo "ZERO"
+exit 0