add some basic tracing using the new deparser

[scpubgit/DX.git] / lib / DX / Step / CompleteRecheck.pm

diff --git a/lib/DX/Step/CompleteRecheck.pm b/lib/DX/Step/CompleteRecheck.pm
index f52c194..f74f90c 100644 (file)
--- a/lib/DX/Step/CompleteRecheck.pm
+++ b/lib/DX/Step/CompleteRecheck.pm
@@ -4,19 +4,21 @@ use DX::Class;
 
 with 'DX::Role::Step';
 
-has was_recheck_for => (is => 'ro', required => 1);
+has was_recheck_for => (is => 'ro', isa => Proposition, required => 1);
 
-has original_search_state => (is => 'ro', required => 1);
+has resume_search_state => (is => 'ro', isa => SearchState, required => 1);
 
 sub apply_to {
   my ($self, $ss) = @_;
 
+  trace recheck => [ statement => [ [ symbol => 'complete_recheck' ] ] ];
+
   my $prop = $self->was_recheck_for;
-  my $re_ss = $self->original_search_state;
+  my $re_ss = $self->resume_search_state;
   my $re_hyp = $re_ss->current_hypothesis;
-  my $re_rsp = $re_hyp->resolved_propositions;
+  my $re_rps = $re_hyp->resolved_propositions;
 
-  my $rsp = $re_rsp->with_updated_dependencies_for(
+  my $rps = $re_rps->with_updated_dependencies_for(
     $prop,
     $ss->current_hypothesis
        ->resolved_propositions
@@ -25,9 +27,8 @@ sub apply_to {
 
   return $re_ss->but(
     current_hypothesis => $re_hyp->but(
-      resolved_propositions => $rsp
+      resolved_propositions => $rps
     ),
-    is_solution_state => 1
   );
 }