Commit | Line | Data |
86dbedb6 |
1 | package DX::Step::ConsiderProposition; |
e647e417 |
2 | |
3 | use DX::Class; |
4 | |
5 | with 'DX::Role::Step'; |
6 | |
f9dfc310 |
7 | has proposition => (is => 'ro', isa => Proposition, required => 1); |
ccf0d4fe |
8 | |
e647e417 |
9 | sub apply_to { |
110fd002 |
10 | my ($self, $ss) = @_; |
11 | my $hyp = $ss->current_hypothesis; |
5b6cab1b |
12 | trace consider => [ |
13 | statement => [ |
14 | [ symbol => 'consider' ], |
15 | @{$self->proposition->for_deparse->[1]}, |
16 | ], |
17 | ]; |
d69f4df4 |
18 | return $ss->but(next_step => $self->proposition->resolve_for($hyp->scope)); |
e647e417 |
19 | } |
20 | |
21 | 1; |