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

Basic IDE mode interface

Browse source
This commit is contained in:
Nathan McCarty 2024-12-30 13:32:52 +00:00
parent c34c38fc03
commit 72393480e3
3 changed files with 163 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

17
bin/iutils
View file

@ -1,3 +1,20 @@
#!/usr/bin/env raku
use v6.d;
use IUtils::IDEMode;
my $ide = IUtils::IDEMode::IDEMode.new();
# my @res = $ide.browse-namespace: 'Data.List';
# say @res;
my @res = $ide.version;
say @res[0][1][1][1][0];
@res = $ide.load-file: '.tmp/test.idr';
say @res.raku;
@res = $ide.interpret: ':exec works >>= print';
say @res.raku;
say $ide.read-sexp();
@res = $ide.interpret: ':exec fails';
say @res.raku;