Fix improper handling of expression name
This commit is contained in:
parent
cab0cb5ce1
commit
6971949a53
2 changed files with 15 additions and 4 deletions
|
@ -43,9 +43,9 @@ multi MAIN(
|
|||
for $module.tests -> $test {
|
||||
try {
|
||||
# FIXME this doesn't actually capture the exit code
|
||||
idris-exec $test, $module.source.relative;
|
||||
idris-exec $test.expr, $module.source.relative;
|
||||
}
|
||||
my $testf = colored $test, 'underline';
|
||||
my $testf = colored $test.name, 'underline';
|
||||
if $! {
|
||||
# TODO: Don't show stdout if its empty
|
||||
$module-failures += 1;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue