11 my $solver = DX::Solver->new(observation_policy => sub { 1 });
13 DX::Lib::FS->new->load_into($solver);
16 # [ $solver->query([ 'D' ], [ directory_at => 'D' => \'t' ])->results ]
17 # ->[0]->value_for('D')
24 my $split = $tcl->curry::weak::SplitList;
29 @res = $solver->query(@last_q)->results;
31 my @act = $_->actions;
32 ((@act ? \@act : ()), $_->all_values);
37 my ($vars, $body) = @_;
38 my @varnames = $split->($vars);
39 return (\@varnames, expand_body($body));
44 local our @Body_Parts;
49 $tcl->CreateCommand(query => sub {
50 my (undef, undef, undef, $body) = @_;
51 @last_q = expand_body($body);
56 $tcl->CreateCommand(run => sub {
57 foreach my $ind ($res[0]->independent_actions) {
59 warn +(split('::', $cl))[-1]."\n";
60 $solver->run_action($ind);
66 $tcl->CreateCommand(dump => sub {
67 my (undef, undef, undef, $to_dump) = @_;
68 my $filter = quote_sub($to_dump);
69 Dwarn(map $filter->($_), @res);
74 map { $_ =~ /^'(.*)'$/ ? \do { my $x = $1 } : $_ } @args;
78 my (undef, undef, $name, @args) = @_;
79 push our @Body_Parts, [ $name => mangle_args(@args) ];
83 $tcl->CreateCommand(rule => sub {
84 my (undef, undef, undef, $rule, $vars, $body) = @_;
85 $solver->add_rule($rule => expand_def($vars, $body));
86 $tcl->CreateCommand($rule => $rule_sub);
90 foreach my $rule (keys %{$solver->rule_set->rules}) {
92 $tcl->CreateCommand($rule => $rule_sub);
95 $tcl->CreateCommand(foreach => sub {
96 my (undef, undef, undef, $var, $body, $each_body) = @_;
97 push our @Body_Parts, [
98 foreach => $var => map [ expand_body($_) ], $body, $each_body
103 #$tcl->Eval(q{query D {directory_at D 't'; mode D '0755'; }});
106 $tcl->EvalFile($ARGV[0]);
109 my $rl = Term::ReadLine->new;
113 while (defined(my $line = $rl->readline(length($cmd)?'> ':'$ '))) {
115 if ($tcl->call(info => complete => $cmd)) {
116 unless (eval { $tcl->Eval($cmd); 1 }) {