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

Remove debugging says

Browse source
This commit is contained in:
Nathan McCarty 2024-12-21 20:18:14 +00:00
parent 35ba371711
commit 266025101e
1 changed files with 0 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
src/upload.raku
View file

@ -43,9 +43,6 @@ sub render-idris-file($idr, $katla-config) {
my $katla = run <katla html --config>, $katla-config,
$source-file, $ttm-file, :out;
my $contents = $katla.out.slurp :close;
say $source-file;
say $ttm-file;
say $katla-config;
if $katla.exitcode != 0 {
say "Katla Error:";
say $contents;
@ -80,11 +77,6 @@ my method render-index(%index:) {
# TODO sort these properly
my @elements = [];
for %index.keys -> $key {
say "";
say $key;
say %index{$key} ~~ Str;
say %index{$key};
say "";
given %index{$key} {
when Str {
my $x = $_;