pervasive type constraints

[scpubgit/DX.git] / lib / DX / QueryState.pm

diff --git a/lib/DX/QueryState.pm b/lib/DX/QueryState.pm
index f7c030a..b378783 100644 (file)
--- a/lib/DX/QueryState.pm
+++ b/lib/DX/QueryState.pm
@@ -1,9 +1,8 @@
 package DX::QueryState;
 
-use Types::Standard qw(HashRef);
 use DX::Scope;
 use DX::Hypothesis;
-use DX::SearchState;
+use DX::SearchProcess;
 use DX::ResolvedPropositionSet;
 use DX::Value::Unset;
 use DX::ActionBuilder::UnsetValue;
@@ -35,7 +34,6 @@ sub new_search_state_for {
     locals => [
       dict(
         map +($_ => DX::Value::Unset->new(
-                      identity_path => [ 0, $_ ],
                       action_builder => DX::ActionBuilder::UnsetValue->new(
                         target_path => [ 0, $_ ],
                       )
@@ -50,12 +48,11 @@ sub new_search_state_for {
   my $hyp = DX::Hypothesis->new(
     scope => $scope,
     resolved_propositions => DX::ResolvedPropositionSet->new_empty,
-    outstanding_propositions => $prop_seq->members,
     actions => [],
     action_applications => [],
     action_policy => DX::ActionPolicy::Allow->new,
   );
-  return DX::SearchState->new_for($hyp);
+  return DX::SearchProcess->new_for($hyp, $prop_seq);
 }
 
 sub with_additional_proposition {