From: Matt S Trout <mst@shadowcat.co.uk>
Date: Sun, 3 Apr 2016 19:56:40 +0000 (+0000)
Subject: eliminate outstanding_propositions attribute
X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=commitdiff_plain;h=9b7e03236f6fd945b2fd0e4be31872f75f5b6e56;p=scpubgit%2FDX.git

eliminate outstanding_propositions attribute
---

diff --git a/lib/DX/Hypothesis.pm b/lib/DX/Hypothesis.pm
index ff04996..3eaf7cd 100644
--- a/lib/DX/Hypothesis.pm
+++ b/lib/DX/Hypothesis.pm
@@ -11,10 +11,6 @@ has resolved_propositions => (
   is => 'ro', isa => ResolvedPropositionSet, required => 1
 );
 
-has outstanding_propositions => (
-  is => 'ro', isa => ArrayRef[Proposition], required => 1
-);
-
 has actions => (
   is => 'ro', isa => ArrayRef[Action], required => 1
 );
@@ -55,7 +51,6 @@ sub but_recheck_for {
   my $hyp = ref($self)->new(
     scope => $self->scope,
     resolved_propositions => DX::ResolvedPropositionSet->new_empty,
-    outstanding_propositions => \@recheck,
     actions => [],
     action_applications => [],
     action_policy => $ap,
@@ -93,14 +88,12 @@ sub but_recheck_for {
 
 sub with_resolution {
   my ($self, $prop, $depends) = @_;
-  my ($first, @rest) = @{$self->outstanding_propositions};
   $self->but(
     resolved_propositions => $self->resolved_propositions
                                   ->with_resolution_for(
                                       $prop,
                                       $depends,
                                     ),
-    outstanding_propositions => \@rest,
   );
 }
 
diff --git a/lib/DX/QueryState.pm b/lib/DX/QueryState.pm
index e4438d7..a873991 100644
--- a/lib/DX/QueryState.pm
+++ b/lib/DX/QueryState.pm
@@ -50,7 +50,6 @@ 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,