Automatically search parent directories for the ipkg

This commit is contained in:
Nathan McCarty 2025-02-14 23:01:44 -05:00
parent 1f4b8b3c03
commit dd1579607a
2 changed files with 21 additions and 12 deletions

View file

@ -79,7 +79,8 @@ sub idris-run(*@cmd) is export {
my $err = $proc.err.slurp(:close);
if !$proc || $out.contains("Error:") {
IdrisError.new(
out => $out, err => $err,
out => $out,
err => $err,
exit-code => $proc.exitcode, command => @cmd.Str)
.throw;
}
@ -110,12 +111,13 @@ sub idris-exec($expr, $file, $output-type? = Unit) is export {
}
}
# Run the expression
my $proc = run 'build/exec/iutils_out', :out, :err;
my $out = $proc.out.slurp(:close);
my $err = $proc.err.slurp(:close);
my $proc = run 'build/exec/iutils_out', :out, :!err;
my $out = $proc.out.slurp();
# my $err = $proc.err.slurp();
unless $proc {
ExpressionError.new(
out => $out, err => $err,
out => $out,
# err => $err,
exit-code => $proc.exitcode, expr => $expr
).throw;
}