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

Refactor compiler interaction

Browse source
This commit is contained in:
Nathan McCarty 2024-12-31 16:30:53 +00:00
parent 1bfe73f77a
commit 49c118eef4
3 changed files with 74 additions and 72 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
META6.json
View file

@ -12,7 +12,8 @@
"provides": {
"IUtils": "lib/IUtils.rakumod",
"IUtils::IDEMode": "lib/IUtils/IDEMode.rakumod",
"IUtils::Regexs": "lib/IUtils/Regexes.rakumod"
"IUtils::Regexs": "lib/IUtils/Regexes.rakumod",
"IUtils::Compiler": "lib/IUtils/Compiler.rakumod"
},
"bin": {
"iutils": "bin/iutils"

71
lib/IUtils.rakumod
View file

@ -37,74 +37,3 @@ sub scan-packages(--> Array[PackageInfo:D]) is export {
paths(:file(*.ends-with(".ipkg"))).map(*.IO.&scan-ipkg);
return @ipkgs;
}
# Utility functions for pack
#| Invoke a pack command
sub pack-run(*@cmd) is export {
my $proc = run "pack", @cmd, :out, :err;
my $out = $proc.out.slurp(:close);
my $err = $proc.err.slurp(:close);
unless $proc {
die qq:to/END/;
Pack Failure!
Captured Output:
$out
Captured StdErr:
$err
END
}
}
#| Build a package with pack
sub pack-build($pkg) is export {
pack-run 'build', $pkg
}
#| Test a package with pack
sub pack-test($pkg) is export {
pack-run 'build', $pkg
}
#| Clean a package with pack
sub pack-clean($pkg) is export {
pack-run 'clean', $pkg
}
# Utility functions for idris
#| An error coming from the idris compiler
class IdrisError is Exception {
has Str $.out;
has Str $.err;
has Int $.exit-code;
has Str $.command;
method message {
qq:to/END/;
Error running idris command: $.command
Command exited with $.exit-code
END
}
}
#| Invoke an idris command
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 {
IdrisError.new(
out => $out, err => $err,
exit-code => $proc.exitcode, command => @cmd.Str)
.throw;
}
return $out;
}
#| Exec the expression with the given name in the given file
sub idris-exec($expr, $file) is export {
idris-run '--find-ipkg', '--exec', $expr, $file
}

72
lib/IUtils/Compiler.rakumod Normal file
View file

@ -0,0 +1,72 @@
#| Utilities for interacting with the idris compiler and package manager
unit module IUtils::Compiler;
# Utility functions for pack
#| Invoke a pack command
sub pack-run(*@cmd) is export {
my $proc = run "pack", @cmd, :out, :err;
my $out = $proc.out.slurp(:close);
my $err = $proc.err.slurp(:close);
unless $proc {
die qq:to/END/;
Pack Failure!
Captured Output:
$out
Captured StdErr:
$err
END
}
}
#| Build a package with pack
sub pack-build($pkg) is export {
pack-run 'build', $pkg
}
#| Test a package with pack
sub pack-test($pkg) is export {
pack-run 'build', $pkg
}
#| Clean a package with pack
sub pack-clean($pkg) is export {
pack-run 'clean', $pkg
}
# Utility functions for idris
#| An error coming from the idris compiler
class IdrisError is Exception {
has Str $.out;
has Str $.err;
has Int $.exit-code;
has Str $.command;
method message {
qq:to/END/;
Error running idris command: $.command
Command exited with $.exit-code
END
}
}
#| Invoke an idris command
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 {
IdrisError.new(
out => $out, err => $err,
exit-code => $proc.exitcode, command => @cmd.Str)
.throw;
}
return $out;
}
#| Exec the expression with the given name in the given file
sub idris-exec($expr, $file) is export {
idris-run '--find-ipkg', '--exec', $expr, $file
}