Interpreter tests (#3747)

* Test I/O and file operations.

test/TestData.hs

@@ -162,6 +162,9 @@ testFamiliesData = [
 --       (  5, ANY  ),
       (  6, ANY  ),
       (  7, ANY  )]),
+  ("interpret",      "Interpret",
+    [ (  1, ANY  ),
+      (  2, ANY  )]),
   ("io",              "IO monad",
     [ (  1, C_CG ),
       (  2, ANY  ),

test/interpret001/double-echo.idr

@@ -0,0 +1,6 @@
+module Main
+
+main : IO ()
+main = do l <- getLine
+          let ll = l ++ l
+          putStrLn ll

test/interpret001/expected

@@ -0,0 +1,2 @@
+testtest
+MkIO (\w => prim_io_pure ()) : IO' (MkFFI C_Types String String) ()

test/interpret001/input

@@ -0,0 +1,2 @@
+:x main
+test

test/interpret001/run

@@ -0,0 +1,3 @@
+#!/usr/bin/env bash
+${IDRIS:-idris} $@ --quiet --port none --nocolour double-echo.idr < input
+rm -f *.ibc

test/interpret002/expected

@@ -0,0 +1,4 @@
+File Not Found
+MkIO (\w => prim_io_pure ()) : IO' (MkFFI C_Types String String) ()
+"readable"
+MkIO (\w => prim_io_pure ()) : IO' (MkFFI C_Types String String) ()

test/interpret002/file-error.idr

@@ -0,0 +1,6 @@
+module Main
+
+echo : String -> IO ()
+echo name = do Right contents <- readFile name
+                   | Left error => printLn error
+               printLn contents

test/interpret002/input

@@ -0,0 +1,2 @@
+:x echo "not a file"
+:x echo "readable.txt"

test/interpret002/readable.txt

@@ -0,0 +1 @@
+readable

test/interpret002/run

@@ -0,0 +1,3 @@
+#!/usr/bin/env bash
+${IDRIS:-idris} $@ --quiet --port none --nocolour file-error.idr < input
+rm -f *.ibc