rename Equals to Eq

[scpubgit/DX.git] / t / 01basics.t

use strictures 2;
use Test::More;
use Module::Runtime qw(use_module);
use DX::Utils qw(:builders deparse);

my $ab = use_module('DX::ActionBuilder::UnsetValue')->new(
  target_path => [ 0, 'X' ]
);

my $scope = use_module('DX::Scope')->new(
  predicates => {
    'eq' => use_module('DX::Predicate::Eq')->new,
    member_at => use_module('DX::Predicate::MemberAt')->new,
    is_dict => use_module('DX::Predicate::IsDict')->new,
  },
  globals => dict(),
  locals => [
    dict(
      X => use_module('DX::Value::Unset')->new(
             identity_path => [ 0, 'X' ],
             action_builder => $ab,
           ),
    ),
  ],
);

my $hyp = use_module('DX::Hypothesis')->new(
  scope => $scope,
  resolved_propositions => use_module('DX::ResolvedPropositionSet')->new_empty,
  outstanding_propositions => [
    proposition(is_dict => 'X'),
    proposition(member_at => 'X', string('a'), string('b')),
    #proposition(member_at => 'X', string('a'), string('c')),
    proposition(eq => 'X', dict(a => string('b'), c => string('d'))),
  ],
  actions => [],
  action_policy => use_module('DX::ActionPolicy::Allow')->new
);

my $ss = use_module('DX::SearchState')->new(
  current_hypothesis => $hyp,
  alternatives => [],
);

#::Dwarn($ss->with_one_step->with_one_step);
warn deparse(my $f = $ss->with_one_step->with_one_step);
warn deparse($f->with_one_step);

#::Dwarn($f->current_hypothesis->resolved_propositions->dependency_map);