types and deparsing and recalculation part working

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

diff --git a/t/01basics.t b/t/01basics.t
index 2c6c307..fa69c59 100644 (file)
--- a/t/01basics.t
+++ b/t/01basics.t
@@ -9,7 +9,7 @@ my $ab = use_module('DX::ActionBuilder::UnsetValue')->new(
 
 my $scope = use_module('DX::Scope')->new(
   predicates => {
-    '=' => use_module('DX::Predicate::Equals')->new,
+    'eq' => use_module('DX::Predicate::Equals')->new,
     member_at => use_module('DX::Predicate::MemberAt')->new,
     is_dict => use_module('DX::Predicate::IsDict')->new,
   },
@@ -30,9 +30,11 @@ my $hyp = use_module('DX::Hypothesis')->new(
   outstanding_propositions => [
     proposition(is_dict => 'X'),
     proposition(member_at => 'X', string('a'), string('b')),
-    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(
@@ -41,4 +43,6 @@ my $ss = use_module('DX::SearchState')->new(
 );
 
 #::Dwarn($ss->with_one_step->with_one_step);
-warn deparse($ss->with_one_step->with_one_step->with_one_step);
+warn deparse(my $f = $ss->with_one_step->with_one_step->with_one_step);
+
+::Dwarn($f->current_hypothesis->resolved_propositions->dependency_map);