Compare commits

...

2 commits

Author SHA1 Message Date
197dd79b34 Early functioning comment detection 2024-12-31 02:36:15 +00:00
ef58bb4810 Some utility methods 2024-12-30 14:38:52 +00:00
4 changed files with 75 additions and 15 deletions

View file

@ -8,7 +8,8 @@
],
"provides": {
"IUtils": "lib/IUtils.rakumod",
"IUtils::IDEMode": "lib/IUtils/IDEMode.rakumod"
"IUtils::IDEMode": "lib/IUtils/IDEMode.rakumod",
"IUtils::Comments": "lib/IUtils/Comments.rakumod"
},
"bin": {
"iutils": "bin/iutils"

View file

@ -1,19 +1,14 @@
#!/usr/bin/env raku
use v6.d;
use IUtils;
use IUtils::Comments;
my $ide = IUtils::IDEMode.new();
# my @res = $ide.browse-namespace: 'Data.List';
# say @res;
my $contents = "/home/nathan/Projects/Idris/structures/test/src/Main.idr".IO.slurp;
my @res = $ide.version;
say @res[0][1][1][1][0];
@res = $ide.load-file: '.tmp/test.nope';
say @res.raku;
@res = $ide.interpret: ':exec works >>= print';
say @res.raku;
@res = $ide.interpret: ':exec fails';
say @res.raku;
say "\nTesting full flagged-expression:";
say $contents ~~ &flagged-expression;
when $contents ~~ &flagged-expression {
say $<test-name>;
say $<expression-name>;
say $<flag><type>;
}

View file

@ -2,3 +2,53 @@
unit module IUtils;
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
}

View 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
}