Idris/iutils-raku
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Handle idris errors

Browse source
This commit is contained in:
Nathan McCarty 2024-12-30 14:14:19 +00:00
parent 2784a7d80a
commit 525b9c68cd
2 changed files with 6 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

2
bin/iutils
View file

@ -9,7 +9,7 @@ my $ide = IUtils::IDEMode.new();
my @res = $ide.version;
say @res[0][1][1][1][0];
@res = $ide.load-file: '.tmp/test.idr';
@res = $ide.load-file: '.tmp/test.nope';
say @res.raku;
@res = $ide.interpret: ':exec works >>= print';