add some basic tracing using the new deparser

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

diff --git a/lib/DX/Step/ConsiderProposition.pm b/lib/DX/Step/ConsiderProposition.pm
index 59d55ab..0b60a82 100644 (file)
--- a/lib/DX/Step/ConsiderProposition.pm
+++ b/lib/DX/Step/ConsiderProposition.pm
@@ -9,6 +9,12 @@ has proposition => (is => 'ro', isa => Proposition, required => 1);
 sub apply_to {
   my ($self, $ss) = @_;
   my $hyp = $ss->current_hypothesis;
+  trace consider => [
+    statement => [
+      [ symbol => 'consider' ],
+      @{$self->proposition->for_deparse->[1]},
+    ],
+  ];
   if (my $step = $self->proposition->resolve_for($hyp->scope)) {
     return $ss->but(next_step => $step);
   }