Compare commits
2 commits
525b9c68cd
...
197dd79b34
Author | SHA1 | Date | |
---|---|---|---|
197dd79b34 | |||
ef58bb4810 |
4 changed files with 75 additions and 15 deletions
|
@ -8,7 +8,8 @@
|
||||||
],
|
],
|
||||||
"provides": {
|
"provides": {
|
||||||
"IUtils": "lib/IUtils.rakumod",
|
"IUtils": "lib/IUtils.rakumod",
|
||||||
"IUtils::IDEMode": "lib/IUtils/IDEMode.rakumod"
|
"IUtils::IDEMode": "lib/IUtils/IDEMode.rakumod",
|
||||||
|
"IUtils::Comments": "lib/IUtils/Comments.rakumod"
|
||||||
},
|
},
|
||||||
"bin": {
|
"bin": {
|
||||||
"iutils": "bin/iutils"
|
"iutils": "bin/iutils"
|
||||||
|
|
23
bin/iutils
23
bin/iutils
|
@ -1,19 +1,14 @@
|
||||||
#!/usr/bin/env raku
|
#!/usr/bin/env raku
|
||||||
use v6.d;
|
use v6.d;
|
||||||
use IUtils;
|
use IUtils;
|
||||||
|
use IUtils::Comments;
|
||||||
|
|
||||||
my $ide = IUtils::IDEMode.new();
|
my $contents = "/home/nathan/Projects/Idris/structures/test/src/Main.idr".IO.slurp;
|
||||||
# my @res = $ide.browse-namespace: 'Data.List';
|
|
||||||
# say @res;
|
|
||||||
|
|
||||||
my @res = $ide.version;
|
say "\nTesting full flagged-expression:";
|
||||||
say @res[0][1][1][1][0];
|
say $contents ~~ &flagged-expression;
|
||||||
|
when $contents ~~ &flagged-expression {
|
||||||
@res = $ide.load-file: '.tmp/test.nope';
|
say $<test-name>;
|
||||||
say @res.raku;
|
say $<expression-name>;
|
||||||
|
say $<flag><type>;
|
||||||
@res = $ide.interpret: ':exec works >>= print';
|
}
|
||||||
say @res.raku;
|
|
||||||
|
|
||||||
@res = $ide.interpret: ':exec fails';
|
|
||||||
say @res.raku;
|
|
||||||
|
|
|
@ -2,3 +2,53 @@
|
||||||
unit module IUtils;
|
unit module IUtils;
|
||||||
|
|
||||||
need IUtils::IDEMode;
|
need IUtils::IDEMode;
|
||||||
|
|
||||||
|
# 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;
|
||||||
|
}
|
||||||
|
|
||||||
|
#| 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 {
|
||||||
|
($out, $err)
|
||||||
|
}
|
||||||
|
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
|
||||||
|
}
|
||||||
|
|
14
lib/IUtils/Comments.rakumod
Normal file
14
lib/IUtils/Comments.rakumod
Normal file
|
@ -0,0 +1,14 @@
|
||||||
|
unit module IUtils::Comments;
|
||||||
|
|
||||||
|
my token comment-start { \- \- }
|
||||||
|
my token type {
|
||||||
|
'test' | 'bench'
|
||||||
|
}
|
||||||
|
my token flag { \@ \@ <type> }
|
||||||
|
my token name { <[\w \-]>+ }
|
||||||
|
|
||||||
|
my regex flagged-expression is export {
|
||||||
|
<&comment-start> \h* <flag> \h* <test-name=&name> \V* \v
|
||||||
|
[<&comment-start> \V* \v]*
|
||||||
|
$<expression-name>=<expression-name=&name> \h+ \: \V* \v
|
||||||
|
}
|
Loading…
Add table
Reference in a new issue