Working idris2 error detection

Idris 2 doesn't have a failing exit code in this context when it fails
to compile an expr given at the command line, we need to check for an
error message in the output

examples/testy/.gitignore

@@ -0,0 +1,2 @@
+build/
+*.*~

examples/testy/pack.toml

@@ -0,0 +1,10 @@
+[custom.all.testy]
+type = "local"
+path = "."
+ipkg = "testy.ipkg"
+test = "test/test.ipkg"
+
+[custom.all.testy-test]
+type = "local"
+path = "test"
+ipkg = "test.ipkg"

examples/testy/src/Testy.idr

@@ -0,0 +1,11 @@
+module Testy
+
+import System
+import Data.String
+
+-- @@test Hello World non-null
+helloNonNull : IO ()
+helloNonNull =
+  if null "Hello World"
+    then exitFailure
+    else exitSuccess

examples/testy/test/src/Main.idr

@@ -0,0 +1,19 @@
+module Main
+
+import System
+
+-- @@test Main Test
+main : IO ()
+main = putStrLn "Test successful!"
+
+-- @@test Failing integration with error message
+ohNo : IO ()
+ohNo = do
+  putStrLn "Something horrible has happened"
+  exitFailure
+
+-- @@test Passing integration with output
+ohYes : IO ()
+ohYes = do
+  putStrLn "Something amazing has happened"
+  exitSuccess

examples/testy/test/src/TestModule/Booleans.idr

@@ -0,0 +1,11 @@
+module TestModule.Booleans
+
+import System
+
+-- @@test Boolean Integration passes
+doesWork : IO Bool
+doesWork = pure True
+
+-- @@test Boolean Integration fails
+dontWork : IO Bool
+dontWork = pure False

examples/testy/test/test.ipkg

@@ -0,0 +1,48 @@
+package testytest
+version = 0.1.0
+authors = "Nathan McCarty"
+-- maintainers =
+-- license =
+-- brief =
+-- readme =
+-- homepage =
+-- sourceloc =
+-- bugtracker =
+
+-- the Idris2 version required (e.g. langversion >= 0.5.1)
+-- langversion
+
+-- packages to add to search path
+depends = testy
+
+-- modules to install
+modules = Main
+        , TestModule.Booleans
+
+-- main file (i.e. file to load at REPL)
+main = Main
+
+-- name of executable
+executable = "testy-test"
+-- opts =
+sourcedir = "src"
+-- builddir =
+-- outputdir =
+
+-- script to run before building
+-- prebuild =
+
+-- script to run after building
+-- postbuild =
+
+-- script to run after building, before installing
+-- preinstall =
+
+-- script to run after installing
+-- postinstall =
+
+-- script to run before cleaning
+-- preclean =
+
+-- script to run after cleaning
+-- postclean =

examples/testy/testy.ipkg

@@ -0,0 +1,47 @@
+package testy
+version = 0.1.0
+authors = "Nathan McCarty"
+-- maintainers =
+-- license =
+-- brief =
+-- readme =
+-- homepage =
+-- sourceloc =
+-- bugtracker =
+
+-- the Idris2 version required (e.g. langversion >= 0.5.1)
+-- langversion
+
+-- packages to add to search path
+-- depends =
+
+-- modules to install
+modules = Testy
+
+-- main file (i.e. file to load at REPL)
+-- main =
+
+-- name of executable
+-- executable =
+-- opts =
+sourcedir = "src"
+-- builddir =
+-- outputdir =
+
+-- script to run before building
+-- prebuild =
+
+-- script to run after building
+-- postbuild =
+
+-- script to run after building, before installing
+-- preinstall =
+
+-- script to run after installing
+-- postinstall =
+
+-- script to run before cleaning
+-- preclean =
+
+-- script to run after cleaning
+-- postclean =

lib/IUtils/Compiler.rakumod

@@ -51,6 +51,8 @@ class IdrisError is Exception {
         qq:to/END/;
         Error running idris command: $.command
         Command exited with $.exit-code
+        StdOut:
+        {$.out.lines.map(*.indent: 2).join("\n")}
         END
     }
 }
@@ -75,7 +77,7 @@ sub idris-run(*@cmd) is export {
     my $proc = run "idris2",  @cmd, :out, :err;
     my $out = $proc.out.slurp(:close);
     my $err = $proc.err.slurp(:close);
-    unless $proc {
+    if !$proc || $out.contains("Error:") {
         IdrisError.new(
             out => $out, err => $err,
             exit-code => $proc.exitcode, command => @cmd.Str)
@@ -117,5 +119,7 @@ sub idris-exec($expr, $file, $output-type? = Unit) is export {
             exit-code => $proc.exitcode, expr => $expr
         ).throw;
     }
+    # Remove the output file
+    'build/exec/iutils_out'.IO.unlink;
     return $out;
 }